Commit 566a6b90 authored by Erwan Jahier's avatar Erwan Jahier

lurette 0.119 Thu, 19 Dec 2002 10:29:35 +0100 by jahier

Parent-Version:      0.118
Version-Log:

user-rules:
    Add the name of the host in the timing result files.

    Also runs the timing tests on ecrins.

Project-Description: Lurette
parent 3b134c21
......@@ -11,6 +11,7 @@
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(mlcuddidl/Makefile 7150 1034006019 d/9_Makefile 1.1)
(test/tram_simple.h 1746 1013519411 b/25_tram_simpl 1.1)
(test/time-ossau.res 6395 1040290175 b/49_time.res 1.27)
(mlcuddidl/session.ml 603 1034006019 c/37_session.ml 1.1)
(cuddaux/cuddauxGenCof.c 12011 1034006019 c/29_cuddauxGen 1.1)
(mlcuddidl/rdd.idl 14806 1034006019 c/42_rdd.idl 1.1)
......@@ -21,6 +22,7 @@
(test/heater_int.rif.exp 886 1034951022 b/28_heater_int 1.10)
(source/ne.ml 9371 1037625990 c/21_ne.ml 1.3)
(source/prevar.ml 981 1037192189 d/18_prevar.ml 1.1)
(test/time-ecrins.exp 6391 1040290175 d/21_time-ecrin 1.1)
(source/value.mli 1101 1033723811 c/24_value.mli 1.1)
(user-rules.skel 1167 1040226023 c/25_user-rules 1.2)
(source/Makefile.gen_stubs 212 1036048863 b/42_Makefile.g 1.5)
......@@ -40,20 +42,21 @@
(source/Makefile.show_luc 1026 1037192189 b/40_Makefile.s 1.8)
(source/env_state.mli 6791 1036675177 50_env_state. 1.25)
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(test/time-ossau.exp 6395 1040290175 b/48_time.exp 1.24)
(source/print.mli 1145 1033397911 46_print.mli 1.12)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 32 1035531408 c/0_Makefile 1.8)
(source/parse_env.ml 31309 1037192189 41_parse_env. 1.32)
(source/parse_env.ml 31420 1040290175 41_parse_env. 1.33)
(ihm/xlurette/xlurette_glade_main.ml 23620 1036675177 c/12_xlurette_g 1.15)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 30051 1037625990 39_solver.ml 1.36)
(source/solver.ml 30075 1040290175 39_solver.ml 1.37)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/gen_fake_lutin.ml 3449 1036048863 d/16_gen_fake_l 1.1)
(source/lurette.ml 14219 1036675177 12_lurette.ml 1.60)
(TODO 4962 1040290175 d/22_TODO 1.1)
(source/Makefile 1377 1036585364 c/20_Makefile 1.9)
(source/util.ml 20862 1037625990 35_util.ml 1.36)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(test/time.res 6395 1040226023 b/49_time.res 1.26)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/sim2chro.mli 1524 1037625990 b/23_sim2chro.m 1.6)
(source/command_line_luc_exe.mli 1055 1036675177 b/34_command_li 1.6)
......@@ -83,10 +86,10 @@
(source/env_state.ml 21336 1037625990 51_env_state. 1.33)
(mlcuddidl/manager_caml.c 39233 1034006019 c/45_manager_ca 1.1)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(source/env.mli 2027 1033738731 15_env.mli 1.16)
(source/env.mli 2026 1040290175 15_env.mli 1.17)
(mlcuddidl/rdd_caml.c 41613 1034006019 c/39_rdd_caml.c 1.1)
(Makefile.common.in 528 1034951022 d/12_Makefile.c 1.2)
(user-rules 14791 1040226023 c/14_myrules 1.20)
(user-rules 14961 1040290175 c/14_myrules 1.21)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(source/lurette.mli 448 1016027474 11_lurette.ml 1.12)
(source/gne.mli 1552 1033397911 b/36_gne.mli 1.4)
......@@ -141,8 +144,8 @@
(source/command_line_luc_exe.ml 2748 1040226023 b/33_command_li 1.9)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/value.ml 2355 1033723811 c/23_value.ml 1.1)
(test/time.exp 6395 1040226023 b/48_time.exp 1.23)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(test/time-ecrins.res 6391 1040290175 d/20_time-ecrin 1.1)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
*********** BUGS
*********** A faire maintenant
(1) Faire une version de solveur numérique à base de polyedres
* gen_fake_lutin devrait etre une commande lurettetop et non pas code
en dur dans xlurette...
idem pour la sauvegarde des options dans .lurette-rc.
* Il faudrait que le parseur ne rale pas quand il manque une entrée
optionnelle (par ex "types = ...")
* Mettre a jour le parseur wrt les modifs que j'ai faite a la syntax
(noeuds transiants/stationnaires)
(1) Portage pour scade et esterel windows ...
-> structure, tableau, types structures, etc.
(2) Faire une doc utilisateur pour lurette (moins urgent depuis qu'il y
a lurettetop et xlurette...)
* Inferer la croix, plutot que de verifier !!!
* Commencer par tirer sur les bords.
* rajouter une option qui dit si les formules doivent etre tronquees
dans show_luc
* Faire un gestionnaire de sessions comme le propose Pascal
* zipper et dezipper les .rif a la vollée (cf zlib)
* giro :
-> Il faudrait rajouter la possibilité de faire, par ex, des
tirages selon une loi normale pour les variables a générer.
-> En faire un plus realiste
* Rajouter les pragmas suivants :
-> #locals v* (pour pouvoir les mettre en vert)
-> #lucky_seed
-> #test_failure
* Demander à yann une option --hide * (ne pas les montrer la var v)
* Finir le fichier README. Faire un fichier INSTALL.
* remplacer l'epaisseur de formules par un taux de couverture
* utiliser Unix.create_process plutot que Sys.command partout !!
* autoconf :
-> tester si gtk est la
* inclure ocaml.opt et camlidl dans la distrib ???
* Chercher a detecter des egalites lors de l'ajout d'une inegalité.
* xlurette :
- bouton sim2chro ; mettre les locales en vert -> pragma dans sim2chro !!
* Trouver un controlleur non buggé pour pouvoir mettre un oracle
qui n'arrete pas le processus...
*********** Cosmétisme
* appeler lurette lurette_exe ???
* changer le nom du type formula en Formula.t (faire pareil partout)
ce qui devrait permettre d'enlever tout plein de <<open Formula>>
* Le type node n'a rien a faire dans le module formula ...
de meme pour arc_info. Les mettre dans un module type par exemple.
*********** Performances
* Pour le train, que je fais le produit de tous les environnements,
j'ai quand meme un pb de perf que je n'avais pas avant. Regarder
pourquoi (cf version 0.68). D'une maniere générale, Graph.t est elle
vraiment la bonne structure de donnees pour les sous-graphes ?
* Profiler, profiler, profiler, ...
o En particulier, verifier que ca ne se casse pas la gueule avec
un grand nombre de variables, ou bien avec de tres grosses
formules.
o Faire un passage sur le code pour voir si je n'aurais pas
du utiliser Map plutot que Hashtbl a un certain nombre
d'endroits...
o Utiliser une table de hash pour env_state.pre, ou bien
alors separer les entiers, les reels et les booleans. Parce
que, tel quel, la recherche des pre peut couter bien cher
avec beucoup de variables...
*********** A faire
* LURETTE_PATH n'est peut-etre pas le bon nom. LUCKY_PATH ?
* Ecrire une baterie de test plus sérieux !
* Ecrire un papier qui explique la transformation en automate.
* Gerer proprement les histoires d'évaluation numérique (en creant un
module numeric, qui, éventuellement, appelle du C) ??
* Réfléchir à une version d'un tireur sans bdd ou les choix seraient
effectués pendant le parcours de la formule (pas d'équité, mais bon) +
backtracking quand ca n'est pas satisfiable. Le gros pb a priori
est que les probas vont dépendre de la structure de la formule.
* Tirage équitable dans un polyèdre ; projeter dans un espace de
meme dimension que le polyhedre (quitte à faire un changement de
variable) puis tirer dans le cube enveloppant.
* Faire un passage pour rendre tail recursive les fonctions qui le méritent.
* dans gne.ml, rajouter partout assertion <<is_a_partition>>
*********** Moins urgent
* Tout passer sous noweb ?
* Tirer partis des numeros de lignes (ou de caracteres) associés
aux formules quand lutin saura les générer. Pour cela, il faut
que le try rende également la formule utilisé (au moins en mode
--step-by-step).
* Reconnaitre les extensions des arguments du sut pour
éventuellement appeler lustre (ou esterel...) si nécessaire
***********************************************************************
*** ??? LIST
* Rajouter un parametre q pour spécifier le nombre de tirage pour
chaque variable numérique ??
* Ajouter les options --use-big-int et --use-float (quoique ...)
* Ne pas lancer sim2chro avec un "... &" mais avec un fork et un exec.
* Faire un passage sur les champs de env_state
- remplacer le champ `var_names' par `in_var_names' `out_var_names' et
`loc_var_names'
- Enlever le champ `graph' qui n'est plus utilisé une fois les tables
construites.
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 118)
(Parent-Version lurette 0 117)
(Project-Version lurette 0 119)
(Parent-Version lurette 0 118)
(Version-Log "
source/command_line_luc_exe.ml:
Various minor fixes in printed messages.
user-rules:
Add the name of the host in the timing result files.
remark. The increasing of minor page faults is due to the fact that
ossau kernel has been upgraded ...
Also runs the timing tests on ecrins.
")
(New-Version-Log ""
)
(Checkin-Time "Wed, 18 Dec 2002 16:40:23 +0100")
(Checkin-Time "Thu, 19 Dec 2002 10:29:35 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -41,19 +39,19 @@ ossau kernel has been upgraded ...
(source/graph.mli (lurette/13_graph.mli 1.10 644))
(source/graph.ml (lurette/14_graph.ml 1.8 644))
(source/env.mli (lurette/15_env.mli 1.16 644))
(source/env.mli (lurette/15_env.mli 1.17 644))
(source/env.ml (lurette/16_env.ml 1.29 644))
(source/util.ml (lurette/35_util.ml 1.36 444))
(source/solver.mli (lurette/38_solver.mli 1.13 644))
(source/solver.ml (lurette/39_solver.ml 1.36 644))
(source/solver.ml (lurette/39_solver.ml 1.37 644))
(source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
(source/rnumsolver.ml (lurette/b/27_rnumsolver 1.16 644))
(source/parse_env.mli (lurette/40_parse_env. 1.11 644))
(source/parse_env.ml (lurette/41_parse_env. 1.32 644))
(source/parse_env.ml (lurette/41_parse_env. 1.33 644))
(source/show_env.mli (lurette/42_show_env.m 1.8 644))
(source/show_env.ml (lurette/43_show_env.m 1.16 644))
......@@ -108,7 +106,7 @@ ossau kernel has been upgraded ...
(Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
(OcamlMakefile (lurette/17_OcamlMakef 1.46 644))
(Makefile.lurette (lurette/b/38_Makefile.l 1.15 644))
(user-rules (lurette/c/14_myrules 1.20 644))
(user-rules (lurette/c/14_myrules 1.21 644))
(user-rules.skel (lurette/c/25_user-rules 1.2 644))
(Makefile (lurette/d/13_Makefile 1.1 644))
......@@ -135,8 +133,10 @@ ossau kernel has been upgraded ...
(lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
(TAGS (lurette/21_TAGS 1.6 644))
(test/time.exp (lurette/b/48_time.exp 1.23 644))
(test/time.res (lurette/b/49_time.res 1.26 644))
(test/time-ossau.exp (lurette/b/48_time.exp 1.24 644))
(test/time-ossau.res (lurette/b/49_time.res 1.27 644))
(test/time-ecrins.res (lurette/d/20_time-ecrin 1.1 644))
(test/time-ecrins.exp (lurette/d/21_time-ecrin 1.1 644))
;; Various files used for testing purposes
(test/usager.luc (lurette/b/14_usager.env 1.9 644))
......@@ -223,6 +223,9 @@ ossau kernel has been upgraded ...
(mlcuddidl/Changes (lurette/d/10_Changes 1.1 644))
(TODO (lurette/d/22_TODO 1.1 644))
)
(Merge-Parents)
(New-Merge-Parents)
......@@ -9,7 +9,7 @@
*)
(** Environment automata interpreter. Environment automata are
labelled by weighted formula. Automata are read from an [*.luc]
labelled by weighted formula. Automata are read from a [*.luc]
file that has been produced by a third party tool, e.g., a Lutin
or a Lustre program.
......
......@@ -283,6 +283,8 @@ let rec (parse_automata: in_channel -> aut_token -> read_automata) =
'Genlex.Kwd ",";
'Genlex.Ident "ctrl_expr"; 'Genlex.Kwd "="; llabel_ce = parse_list_label_ce ic ;
'Genlex.Kwd ",";
(* 'Genlex.Ident "formula"; 'Genlex.Kwd "="; fl = parse_list_formuladef ic ; *)
(* 'Genlex.Kwd "," ; *)
'Genlex.Ident "start_node"; 'Genlex.Kwd "="; 'Genlex.Int node_id ;
'Genlex.Kwd "," ;
'Genlex.Ident "arcs_nb"; 'Genlex.Kwd "="; 'Genlex.Int arcs_nb ;
......
......@@ -16,6 +16,7 @@ open Hashtbl
open Gne
open Value
open Rnumsolver
(* open Pnumsolver *)
(****************************************************************************)
......@@ -131,7 +132,7 @@ let rec (formula_to_bdd : env_in -> formula -> Bdd.t * bool) =
(Env_state.linear_constraint_to_index (Bv(vn)) false),
false)
)
| Eq(e1, e2) ->
let gne = expr_to_gne (Diff(e1, e2)) input in
(gne_to_bdd gne EqZero)
......
Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 3.46
System time (seconds): 0.21
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 18593
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 8.70
System time (seconds): 0.48
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.20
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 33566
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 19.77
System time (seconds): 0.76
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.56
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 53540
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 1.17
System time (seconds): 0.17
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.34
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 18586
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 2.71
System time (seconds): 0.43
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.15
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 23511
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 0.89
System time (seconds): 0.42
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.42
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 18585
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.25
System time (seconds): 0.34
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23914
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 3.46
System time (seconds): 0.21
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 18593
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 8.70
System time (seconds): 0.48
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.20
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 33566
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 19.77
System time (seconds): 0.76
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.56
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 53540
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 1.17
System time (seconds): 0.17
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.34
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 18586
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 2.71
System time (seconds): 0.43
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.15
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 23511
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 0.89
System time (seconds): 0.42
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.42
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 18585
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.25
System time (seconds): 0.34
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23914
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0
Linux ossau 2.4.18-bf2.4 #1 Son Apr 14 09:53:28 CEST 2002 i686 unknown
Command being timed: "/tmp/lurette6/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 12.33
System time (seconds): 0.60