Trace number 233174

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sugar 0.40SAT 44.1593 44.8466

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-105-7.xml
MD5SUM374810fca23912defb7b4a24b5ed2d7b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.635903
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1332
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/233174-1170106664/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/233174-1170106664/unknown.xml [Mon Jan 29 22:37:44 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/233174-1170106664/unknown.xml /tmp/evaluation/233174-1170106664/sugar24904.csp [Mon Jan 29 22:37:44 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233174-1170106664/sugar-v0-40.jar -convert /tmp/evaluation/233174-1170106664/unknown.xml /tmp/evaluation/233174-1170106664/sugar24904.csp
0.16	c BEGIN convert /tmp/evaluation/233174-1170106664/unknown.xml
1.07	c END convert (0.908955 seconds)
1.12	c # CONVERT_XML  END : /tmp/evaluation/233174-1170106664/sugar24904.csp 378504 bytes (1 seconds) [Mon Jan 29 22:37:45 2007]
1.12	c # CONVERT_XML  CPU : 1.02 = 0 + 0 + 0.95 + 0.07
1.12	
1.12	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233174-1170106664/sugar24904.bcnf [Mon Jan 29 22:37:45 2007]
1.12	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233174-1170106664/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233174-1170106664/sugar24904.map /tmp/evaluation/233174-1170106664/sugar24904.csp /tmp/evaluation/233174-1170106664/sugar24904.bcnf
1.24	c BEGIN parse /tmp/evaluation/233174-1170106664/sugar24904.csp
2.26	c END parse (1.021428 seconds)
2.26	c BEGIN simplify
2.33	c END simplify (0.071901 seconds)
2.33	c BEGIN encode /tmp/evaluation/233174-1170106664/sugar24904.bcnf
19.19	c END encode (16.858117 seconds)
19.37	c # GENERATE_SAT  END : 528039 variables 19279803 clauses 306275700 bytes (19 seconds) [Mon Jan 29 22:38:04 2007]
19.37	c # GENERATE_SAT  CPU : 17.9 = 0.12 + 0.02 + 16.55 + 1.21
19.37	
19.37	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233174-1170106664/sugar24904.bcnf [Mon Jan 29 22:38:04 2007]
19.37	c # CMD : /tmp/evaluation/233174-1170106664/minisat /tmp/evaluation/233174-1170106664/sugar24904.bcnf /tmp/evaluation/233174-1170106664/sugar24904.out
30.03	c ==================================[MINISAT]===================================
30.03	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
30.03	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
30.03	c ==============================================================================
30.03	c |         0 | 19279803 57288970 | 6426601       0        0     nan |  0.000 % |
34.92	c |       101 | 19279803 57288970 | 7069261     101     1045    10.3 |  0.000 % |
41.26	c |       251 | 19279803 57288970 | 7776187     251     2511    10.0 |  0.000 % |
43.58	c ==============================================================================
43.58	c restarts              : 3
43.58	c conflicts             : 291            (13 /sec)
43.58	c decisions             : 8716           (386 /sec)
43.58	c propagations          : 5834032        (258377 /sec)
43.58	c conflict literals     : 2856           (6.33 % deleted)
43.58	c Memory used           : 845.50 MB
43.58	c CPU time              : 22.5796 s
43.58	c 
43.58	c SATISFIABLE
43.95	c # SOLVE_SAT  END : SATISFIABLE (24 seconds) [Mon Jan 29 22:38:28 2007]
43.95	c # SOLVE_SAT  CPU : 24.32 = 0 + 0.01 + 22.81 + 1.5
43.95	
43.95	c # RESULT : SATISFIABLE
43.95	
43.95	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:38:28 2007]
44.07	c BEGIN read SAT output /tmp/evaluation/233174-1170106664/sugar24904.out
44.47	c END read SAT output (0.406261 seconds)
44.47	c BEGIN write solution /tmp/evaluation/233174-1170106664/sugar24904.sol
44.65	c END write solution (0.176088 seconds)
44.71	s SATISFIABLE
44.71	v 1110 995 1174 534 1 391 780 30 862 941 321 130 874 661 1252 31 1037 451 1320 542 943 6 808 1022 692 1164 1083 291 377 737 458 66 889 1313 89 643 418 193 562 101 326 185 1311 539 106 1154 90 800 357 283 1251 1038 1024 191 1205 720 445 1 581 221 747 352 460 540 1189 280 891 1265 813 787 193 1150 1044 98 990 433 594 1090 686 696 1303 164 1290 1253 443 589 101 601 20 45 3 342 376 331 1167 904 744 250 497 1054 803 10 1032 985 1065 410 1314 533 457 757 479 187 465 1223 1145 890 1241 646 42 583 397 920 1287 1069 1218 345 1141 970 814 210 835 87 1318 426 549 644 562 487 491 724 1295 1231 1247 887 1023 425 353 451 973 1162 561 658 773 217 1097 515 39 752 160 807 108 939 26 816 762 616 1029 1263 634 119 445 1151 717 422 555 1071 1231 203 1218 323 1036 167 805 377 872 185 962 643 536 820 1120 957 1002 750 321 695 407 1213 86 281 430 892 1130 989 538 1182 1185 791 1251 258 695 1052 771 353 8 21 190 616 656 122 601 1163 509 1168 307 423 1195 655 1082 903 819 993 728 181 328 122 1261 12 231 456 663 358 617 1179 520 170 279 396 665 224 421 1228 1113 1198 535 735 97 932 0 799 701 1172 71 339 978 100 604 1192 784 908 1053 1189 1127 812 418 179 1 1247 478 577 1188 1215 438 106 260 1070 414 776 942 318 847 1238 650 1265 479 369 1168 567 801 1097 659 631 391 524 897 135 1033 295 26 1297 212 966 1166 860 1200 748 478 590 1174 612 1021 211 267 1172 605 67 916 513 221 706 580 3 366 457 404 1129 34 349 129 1228 1053 1042 814 1150 971 2 89 837 365 892 743 257 655 1323 458 185 347 1212 1049 202 261 843 361 651 933 737 1228 339 1009 180 1264 811 1084 728 802 1281 699 184 1222 631 450 686 1273 36 1299 88 375 1072 563 1230 974 1109 951 74 1329 853 502 237 188 282
44.71	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:38:29 2007]
44.71	c # OUTPUT_SOL  CPU : 0.710000000000001 = 0.01 + 0 + 0.640000000000001 + 0.0600000000000001
44.71	
44.71	c # MAIN  END :  (45 seconds) [Mon Jan 29 22:38:29 2007]
44.71	c # MAIN  CPU : 43.95 = 0.13 + 0.03 + 40.95 + 2.84
44.71

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-233174-1170106664 -o ROOT/results/node71/solver-233174-1170106664 -C 1800 -M 900 /tmp/evaluation/233174-1170106664/solver /tmp/evaluation/233174-1170106664 /tmp/evaluation/233174-1170106664/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.02 2.10 2.33 4/81 24905
/proc/meminfo: memFree=1260096/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=18540 CPUtime=0
/proc/24904/stat : 24904 (runsolver) R 24902 24904 24767 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30624235 18984960 280 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24904/statm: 4635 280 244 17 0 2626 0

[startup+0.107369 s]
/proc/loadavg: 2.02 2.10 2.33 4/81 24905
/proc/meminfo: memFree=1260096/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=0.03
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30624235 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515425 s]
/proc/loadavg: 2.02 2.10 2.33 4/81 24905
/proc/meminfo: memFree=1260096/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=0.03
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30624235 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.3366 s]
/proc/loadavg: 2.02 2.10 2.33 3/82 24914
/proc/meminfo: memFree=1257528/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=1.05
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1190 11070 0 1 3 0 95 7 15 0 1 0 30624235 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 809 371 3 0 531 0
[pid=24914] ppid=24904 vsize=807064 CPUtime=0.2
/proc/24914/stat : 24914 (java) R 24904 24904 24767 0 -1 0 3218 0 1 0 18 2 0 0 23 0 8 0 30624347 826433536 2969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24914/statm: 201766 2969 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788

[startup+2.97996 s]
/proc/loadavg: 2.02 2.10 2.33 3/89 24921
/proc/meminfo: memFree=1228160/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=1.05
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1190 11070 0 1 3 0 95 7 16 0 1 0 30624235 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 809 371 3 0 531 0
[pid=24914] ppid=24904 vsize=807332 CPUtime=1.83
/proc/24914/stat : 24914 (java) R 24904 24904 24767 0 -1 0 9814 0 1 0 172 11 0 0 25 0 8 0 30624347 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24914/statm: 201833 9558 1510 14 0 189111 0
[pid=24914/tid=24915] ppid=24904 vsize=807332 CPUtime=0.19
/proc/24914/task/24915/stat : 24915 (java) S 24904 24904 24767 0 -1 64 3583 0 0 0 18 1 0 0 16 0 8 0 30624351 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24916] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24916/stat : 24916 (java) S 24904 24904 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30624351 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24904 24904 24767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30624351 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24904 24904 24767 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30624354 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24904 vsize=807332 CPUtime=0.14
/proc/24914/task/24919/stat : 24919 (java) S 24904 24904 24767 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 30624354 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24904 24904 24767 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30624354 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24904 24904 24767 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30624354 826707968 9558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821056

[startup+6.27867 s]
/proc/loadavg: 2.02 2.10 2.33 3/89 24921
/proc/meminfo: memFree=1165056/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=1.05
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1190 11070 0 1 3 0 95 7 16 0 1 0 30624235 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 809 371 3 0 531 0
[pid=24914] ppid=24904 vsize=807332 CPUtime=5.07
/proc/24914/stat : 24914 (java) R 24904 24904 24767 0 -1 0 9818 0 1 0 473 34 0 0 25 0 8 0 30624347 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24914/statm: 201833 9561 1510 14 0 189111 0
[pid=24914/tid=24915] ppid=24904 vsize=807332 CPUtime=0.19
/proc/24914/task/24915/stat : 24915 (java) S 24904 24904 24767 0 -1 64 3583 0 0 0 18 1 0 0 16 0 8 0 30624351 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24916] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24916/stat : 24916 (java) S 24904 24904 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30624351 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24904 24904 24767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30624351 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24904 24904 24767 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30624354 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24904 vsize=807332 CPUtime=0.15
/proc/24914/task/24919/stat : 24919 (java) S 24904 24904 24767 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 30624354 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24904 24904 24767 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30624354 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24904 24904 24767 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30624354 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 821056

[startup+12.7621 s]
/proc/loadavg: 2.02 2.09 2.33 3/89 24921
/proc/meminfo: memFree=1034176/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=13724 CPUtime=1.05
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 1190 11070 0 1 3 0 95 7 16 0 1 0 30624235 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 3431 809 371 3 0 531 0
[pid=24914] ppid=24904 vsize=807332 CPUtime=11.46
/proc/24914/stat : 24914 (java) R 24904 24904 24767 0 -1 0 11761 0 1 0 1070 76 0 0 25 0 8 0 30624347 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24914/statm: 201833 11503 1510 14 0 189111 0
[pid=24914/tid=24915] ppid=24904 vsize=807332 CPUtime=0.24
/proc/24914/task/24915/stat : 24915 (java) S 24904 24904 24767 0 -1 64 5525 0 0 0 22 2 0 0 16 0 8 0 30624351 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24916] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24916/stat : 24916 (java) S 24904 24904 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30624351 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24904 24904 24767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30624351 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24904 24904 24767 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30624354 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24904 vsize=807332 CPUtime=0.15
/proc/24914/task/24919/stat : 24919 (java) S 24904 24904 24767 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 30624354 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24904 24904 24767 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30624354 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24904 vsize=807332 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24904 24904 24767 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30624354 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 821056

[startup+25.6219 s]
/proc/loadavg: 2.09 2.10 2.33 3/82 24922
/proc/meminfo: memFree=553464/2055920 swapFree=4192812/4192956
[pid=24904] ppid=24902 vsize=22196 CPUtime=18.96
/proc/24904/stat : 24904 (sugar) S 24902 24904 24767 0 -1 4194304 3370 22850 0 2 15 3 1750 128 17 0 1 0 30624235 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24904/statm: 5549 2891 373 3 0 2649 0
[pid=24922] ppid=24904 vsize=458160 CPUtime=6.14
/proc/24922/stat : 24922 (minisat) R 24904 24904 24767 0 -1 0 110448 0 0 0 540 74 0 0 25 0 1 0 30626172 469155840 110243 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134654493 0 0 4096 0 0 0 0 17 0 0 0
/proc/24922/statm: 114540 110243 35 112 0 114424 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 480356

Child status: 0
Real time (s): 44.8466
CPU time (s): 44.1593
CPU user time (s): 41.1217
CPU system time (s): 3.03754
CPU usage (%): 98.4675
Max. virtual memory (cumulated for all children) (KiB): 887988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1217
system time used= 3.03754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244142
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2269
involuntary context switches= 3542

runsolver used 0.048992 s user time and 0.137979 s system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Jan 29 21:37:44 UTC 2007


IDJOB= 233174
IDBENCH= 6585
IDSOLVER= 86
FILE ID= node71/233174-1170106664

PBS_JOBID= 3689889

Free space on /tmp= 66560 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-105-7.xml
COMMAND LINE= /tmp/evaluation/233174-1170106664/solver /tmp/evaluation/233174-1170106664 /tmp/evaluation/233174-1170106664/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-233174-1170106664 -o ROOT/results/node71/solver-233174-1170106664 -C 1800 -M 900  /tmp/evaluation/233174-1170106664/solver /tmp/evaluation/233174-1170106664 /tmp/evaluation/233174-1170106664/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  374810fca23912defb7b4a24b5ed2d7b

RANDOM SEED= 494741240

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1260576 kB
Buffers:         52056 kB
Cached:          46748 kB
SwapCached:          0 kB
Active:         681996 kB
Inactive:        58104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1260576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1960 kB
Writeback:           0 kB
Mapped:         658116 kB
Slab:            39288 kB
Committed_AS:  1009344 kB
PageTables:       3112 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66405 MiB



End job on node71 on Mon Jan 29 21:38:29 UTC 2007