Trace number 233080

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 50.6613 51.246

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-100-1.xml
MD5SUM5a4c32da7b2151a1595ab2d1cc4dfcd9
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 benchmark1.08383
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/233080-1170106619/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/233080-1170106619/unknown.xml [Mon Jan 29 22:37:00 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/233080-1170106619/unknown.xml /tmp/evaluation/233080-1170106619/sugar19561.csp [Mon Jan 29 22:37:00 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233080-1170106619/sugar-v0-40.jar -convert /tmp/evaluation/233080-1170106619/unknown.xml /tmp/evaluation/233080-1170106619/sugar19561.csp
0.17	c BEGIN convert /tmp/evaluation/233080-1170106619/unknown.xml
1.15	c END convert (0.982166 seconds)
1.18	c # CONVERT_XML  END : /tmp/evaluation/233080-1170106619/sugar19561.csp 378238 bytes (1 seconds) [Mon Jan 29 22:37:01 2007]
1.18	c # CONVERT_XML  CPU : 1.09 = 0 + 0 + 1.02 + 0.07
1.18	
1.18	c # GENERATE_SAT  BEGIN : /tmp/evaluation/233080-1170106619/sugar19561.bcnf [Mon Jan 29 22:37:01 2007]
1.18	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233080-1170106619/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233080-1170106619/sugar19561.map /tmp/evaluation/233080-1170106619/sugar19561.csp /tmp/evaluation/233080-1170106619/sugar19561.bcnf
1.30	c BEGIN parse /tmp/evaluation/233080-1170106619/sugar19561.csp
2.40	c END parse (1.100077 seconds)
2.40	c BEGIN simplify
2.48	c END simplify (0.081488 seconds)
2.48	c BEGIN encode /tmp/evaluation/233080-1170106619/sugar19561.bcnf
20.76	c END encode (18.275062 seconds)
20.94	c # GENERATE_SAT  END : 527193 variables 19214661 clauses 305236804 bytes (20 seconds) [Mon Jan 29 22:37:21 2007]
20.94	c # GENERATE_SAT  CPU : 19.43 = 0.14 + 0.01 + 17.79 + 1.49
20.94	
20.94	c # SOLVE_SAT  BEGIN : /tmp/evaluation/233080-1170106619/sugar19561.bcnf [Mon Jan 29 22:37:21 2007]
20.94	c # CMD : /tmp/evaluation/233080-1170106619/minisat /tmp/evaluation/233080-1170106619/sugar19561.bcnf /tmp/evaluation/233080-1170106619/sugar19561.out
32.57	c ==================================[MINISAT]===================================
32.57	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
32.57	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
32.57	c ==============================================================================
32.57	c |         0 | 19214661 57094390 | 6404887       0        0     nan |  0.000 % |
36.63	c |       100 | 19214661 57094390 | 7045375     100     1588    15.9 |  0.000 % |
41.79	c |       250 | 19214661 57094390 | 7749913     250     6740    27.0 |  0.000 % |
46.15	c |       475 | 19214661 57094390 | 8524904     475    10085    21.2 |  0.000 % |
49.84	c ==============================================================================
49.84	c restarts              : 4
49.84	c conflicts             : 557            (20 /sec)
49.84	c decisions             : 8370           (308 /sec)
49.84	c propagations          : 6227162        (228949 /sec)
49.84	c conflict literals     : 10866          (7.77 % deleted)
49.84	c Memory used           : 847.00 MB
49.84	c CPU time              : 27.1989 s
49.84	c 
49.84	c SATISFIABLE
50.24	c # SOLVE_SAT  END : SATISFIABLE (29 seconds) [Mon Jan 29 22:37:50 2007]
50.24	c # SOLVE_SAT  CPU : 29.12 = 0 + 0 + 27.45 + 1.67
50.24	
50.24	c # RESULT : SATISFIABLE
50.24	
50.24	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:37:50 2007]
50.37	c BEGIN read SAT output /tmp/evaluation/233080-1170106619/sugar19561.out
50.83	c END read SAT output (0.456432 seconds)
50.83	c BEGIN write solution /tmp/evaluation/233080-1170106619/sugar19561.sol
51.03	c END write solution (0.197774 seconds)
51.07	s SATISFIABLE
51.07	v 1285 792 297 372 66 472 166 593 1043 1 726 859 352 677 118 505 979 882 1142 231 1236 780 1116 1018 235 909 951 483 552 658 683 837 27 138 454 6 298 357 77 650 1135 996 495 1091 1197 1241 416 147 343 820 153 629 236 694 528 50 1211 913 11 361 0 850 1140 1329 392 740 1064 183 306 945 929 543 93 631 1182 1207 1289 69 832 1032 1224 1193 834 233 469 250 719 517 555 94 210 386 1105 537 6 550 649 1 564 594 1147 289 360 1246 623 1050 464 519 925 42 524 136 695 756 513 1205 377 979 846 57 92 498 492 1052 672 906 402 595 8 126 1232 556 663 757 1298 306 1135 1202 1320 164 881 689 492 620 1167 635 1009 514 573 277 892 1277 1055 67 512 631 1230 216 420 788 432 1259 773 1198 49 640 922 700 562 544 457 1002 1021 7 1102 513 975 183 271 921 644 186 116 1248 239 1101 389 47 556 852 729 973 321 1239 73 368 503 997 806 451 1024 1146 465 277 0 591 1231 443 1123 860 48 449 786 825 174 1248 338 935 131 531 542 1162 209 156 913 491 831 1043 1217 315 751 1077 340 985 623 1289 274 692 395 18 1238 257 242 467 643 831 815 436 603 1052 746 1308 56 654 974 882 132 1114 564 792 1083 512 564 822 1167 633 290 1241 339 849 278 1018 203 920 838 348 727 231 436 109 377 289 1085 727 1260 840 1038 1253 220 628 1083 32 253 468 772 531 954 1176 943 871 410 169 178 489 574 533 473 782 283 631 897 1251 819 1023 1087 1148 262 682 1225 939 493 1 673 205 67 859 1207 722 543 71 368 1023 168 1110 460 243 781 1270 920 579 1210 353 830 221 556 656 956 6 1295 914 470 104 1085 732 1143 922 940 996 663 1056 1203 920 0 1066 477 1149 42 678 1267 844 417 764 354 512 154 998 215 176 566 1076 223 1140 605 702 1225 416 163 523 179 981 893 910 1208 1296 562 827 1027 298 402 782
51.07	c # OUTPUT_SOL  END :  (1 seconds) [Mon Jan 29 22:37:51 2007]
51.07	c # OUTPUT_SOL  CPU : 0.800000000000003 = 0.02 + 0 + 0.700000000000003 + 0.0800000000000001
51.09	
51.09	c # MAIN  END :  (51 seconds) [Mon Jan 29 22:37:51 2007]
51.09	c # MAIN  CPU : 50.44 = 0.16 + 0.01 + 46.96 + 3.31
51.09

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/node38/watcher-233080-1170106619 -o ROOT/results/node38/solver-233080-1170106619 -C 1800 -M 900 /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/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: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=12404 CPUtime=0
/proc/19561/stat : 19561 (sugar) R 19559 19561 19279 0 -1 4194304 692 0 0 0 0 0 0 0 20 0 1 0 30617808 12701696 411 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266910376316 0 0 4224 0 0 0 0 17 1 0 0
/proc/19561/statm: 3101 411 286 3 0 201 0

[startup+0.108776 s]
/proc/loadavg: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=0.04
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30617808 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.516821 s]
/proc/loadavg: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=0.04
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30617808 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33891 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19570
/proc/meminfo: memFree=1123664/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 15 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13724

[startup+2.9831 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19578
/proc/meminfo: memFree=1131920/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=1.77
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 9816 0 1 0 165 12 0 0 25 0 8 0 30617926 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 9560 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.22
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 3584 0 0 0 20 2 0 0 16 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821056

[startup+6.28248 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19578
/proc/meminfo: memFree=1072336/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=5.03
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 9820 0 1 0 463 40 0 0 25 0 8 0 30617926 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 9563 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.22
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 3584 0 0 0 20 2 0 0 16 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821056

[startup+12.7832 s]
/proc/loadavg: 1.89 2.48 2.74 3/82 19578
/proc/meminfo: memFree=947920/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=11.46
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 11761 0 1 0 1055 91 0 0 25 0 8 0 30617926 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 11503 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.27
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 5524 0 0 0 25 2 0 0 16 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 821056

[startup+25.6477 s]
/proc/loadavg: 1.98 2.48 2.73 3/75 19582
/proc/meminfo: memFree=578760/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=22196 CPUtime=20.56
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 3370 22849 0 2 17 2 1881 156 19 0 1 0 30617808 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 5549 2891 373 3 0 2649 0
[pid=19582] ppid=19561 vsize=324816 CPUtime=4.64
/proc/19582/stat : 19582 (minisat) R 19561 19561 19279 0 -1 0 77514 0 0 0 405 59 0 0 25 0 1 0 30619902 332611584 77309 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522312 0 0 4096 0 0 0 0 17 1 0 0
/proc/19582/statm: 81204 77309 35 112 0 81088 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 347012

Child status: 0
Real time (s): 51.246
CPU time (s): 50.6613
CPU user time (s): 47.1528
CPU system time (s): 3.50847
CPU usage (%): 98.859
Max. virtual memory (cumulated for all children) (KiB): 889524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.1528
system time used= 3.50847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244437
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= 2325
involuntary context switches= 2844

runsolver used 0.06399 s user time and 0.172973 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Mon Jan 29 21:37:00 UTC 2007


IDJOB= 233080
IDBENCH= 6580
IDSOLVER= 86
FILE ID= node38/233080-1170106619

PBS_JOBID= 3689883

Free space on /tmp= 66365 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-1.xml
COMMAND LINE= /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-233080-1170106619 -o ROOT/results/node38/solver-233080-1170106619 -C 1800 -M 900  /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  5a4c32da7b2151a1595ab2d1cc4dfcd9

RANDOM SEED= 72652772

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.233
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.233
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:       1162928 kB
Buffers:         24744 kB
Cached:         247120 kB
SwapCached:          0 kB
Active:         804120 kB
Inactive:        34700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1162928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           95320 kB
Writeback:           0 kB
Mapped:         577972 kB
Slab:            38204 kB
Committed_AS:   770356 kB
PageTables:       3060 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= 66365 MiB



End job on node38 on Mon Jan 29 21:37:51 UTC 2007