Trace number 232995

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.0863 44.6516

General information on the benchmark

Nametaillard/os-taillard-20/
os-taillard-20-100-3.xml
MD5SUMa952f77e6486671336c6f7fb8be515ed
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 benchmark4.08338
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1310
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.04	c # Sugar v0-40 (/tmp/evaluation/232995-1170106613/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/232995-1170106613/unknown.xml [Mon Jan 29 22:36:56 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/232995-1170106613/unknown.xml /tmp/evaluation/232995-1170106613/sugar24832.csp [Mon Jan 29 22:36:56 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232995-1170106613/sugar-v0-40.jar -convert /tmp/evaluation/232995-1170106613/unknown.xml /tmp/evaluation/232995-1170106613/sugar24832.csp
0.16	c BEGIN convert /tmp/evaluation/232995-1170106613/unknown.xml
1.07	c END convert (0.907126 seconds)
1.11	c # CONVERT_XML  END : /tmp/evaluation/232995-1170106613/sugar24832.csp 378048 bytes (1 seconds) [Mon Jan 29 22:36:57 2007]
1.11	c # CONVERT_XML  CPU : 1.01 = 0 + 0 + 0.93 + 0.08
1.11	
1.11	c # GENERATE_SAT  BEGIN : /tmp/evaluation/232995-1170106613/sugar24832.bcnf [Mon Jan 29 22:36:57 2007]
1.11	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232995-1170106613/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232995-1170106613/sugar24832.map /tmp/evaluation/232995-1170106613/sugar24832.csp /tmp/evaluation/232995-1170106613/sugar24832.bcnf
1.23	c BEGIN parse /tmp/evaluation/232995-1170106613/sugar24832.csp
2.28	c END parse (1.04644 seconds)
2.28	c BEGIN simplify
2.36	c END simplify (0.077095 seconds)
2.36	c BEGIN encode /tmp/evaluation/232995-1170106613/sugar24832.bcnf
19.13	c END encode (16.770924 seconds)
19.31	c # GENERATE_SAT  END : 518596 variables 18887092 clauses 300030080 bytes (18 seconds) [Mon Jan 29 22:37:15 2007]
19.31	c # GENERATE_SAT  CPU : 17.79 = 0.12 + 0.03 + 16.45 + 1.19
19.31	
19.31	c # SOLVE_SAT  BEGIN : /tmp/evaluation/232995-1170106613/sugar24832.bcnf [Mon Jan 29 22:37:15 2007]
19.31	c # CMD : /tmp/evaluation/232995-1170106613/minisat /tmp/evaluation/232995-1170106613/sugar24832.bcnf /tmp/evaluation/232995-1170106613/sugar24832.out
30.26	c ==================================[MINISAT]===================================
30.26	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
30.26	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
30.26	c ==============================================================================
30.26	c |         0 | 18887092 56120280 | 6295697       0        0     nan |  0.000 % |
36.32	c |       100 | 18887092 56120280 | 6925266     100     1222    12.2 |  0.000 % |
40.28	c |       250 | 18887092 56120280 | 7617793     250     3894    15.6 |  0.000 % |
43.26	c ==============================================================================
43.26	c restarts              : 3
43.26	c conflicts             : 358            (16 /sec)
43.26	c decisions             : 6647           (295 /sec)
43.26	c propagations          : 4832480        (214562 /sec)
43.26	c conflict literals     : 6455           (4.03 % deleted)
43.26	c Memory used           : 826.55 MB
43.26	c CPU time              : 22.5226 s
43.26	c 
43.26	c SATISFIABLE
43.65	c # SOLVE_SAT  END : SATISFIABLE (25 seconds) [Mon Jan 29 22:37:40 2007]
43.65	c # SOLVE_SAT  CPU : 24.32 = 0 + 0 + 22.76 + 1.56
43.65	
43.65	c # RESULT : SATISFIABLE
43.65	
43.65	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 22:37:40 2007]
43.80	c BEGIN read SAT output /tmp/evaluation/232995-1170106613/sugar24832.out
44.23	c END read SAT output (0.42661 seconds)
44.23	c BEGIN write solution /tmp/evaluation/232995-1170106613/sugar24832.sol
44.42	c END write solution (0.190677 seconds)
44.47	s SATISFIABLE
44.47	v 923 122 783 720 463 2 467 1228 1069 1193 192 600 666 399 353 1017 880 6 1092 520 59 377 1020 1115 888 762 1001 546 665 1214 555 673 809 1213 306 168 571 914 183 480 18 147 1172 360 228 552 814 79 1062 471 38 619 405 859 1290 168 311 303 974 704 1143 491 165 368 675 1308 1184 560 240 695 917 69 1127 306 569 789 1049 478 857 1005 766 474 88 8 114 554 289 375 208 832 1157 923 402 307 1123 125 479 873 670 993 185 413 4 201 335 100 550 1083 1172 1214 926 709 1288 1061 820 263 542 781 620 1 725 773 1048 59 177 389 1281 1169 599 216 322 818 448 622 311 1126 1184 18 914 1298 258 724 1053 588 82 170 1290 955 1100 1303 1170 917 1220 818 402 516 12 1225 260 471 802 398 692 362 901 272 1055 28 1135 545 1246 495 204 822 530 647 1230 73 88 955 983 917 887 12 566 265 496 534 1206 433 660 189 1047 716 343 769 1226 1135 787 6 1118 185 123 785 926 23 303 280 683 967 725 594 367 2 1219 1270 1259 1006 879 521 107 766 24 877 514 704 897 437 516 613 993 1225 284 158 83 245 242 1197 571 375 1081 276 374 532 1305 433 104 825 1244 298 709 506 578 762 1022 1060 624 894 40 1131 1121 270 764 586 1105 1088 384 103 983 429 839 541 673 162 914 1049 114 1207 492 174 975 812 271 479 235 548 650 93 366 1136 1087 1245 572 767 1075 1271 1282 1 1252 1219 55 778 925 442 652 209 2 363 1072 243 496 985 293 1165 1177 1229 114 845 722 568 122 304 427 1130 80 924 686 970 621 839 1273 1107 201 834 1016 1232 1281 1226 1228 2 1154 203 564 297 179 892 83 1049 1110 12 1116 128 379 914 694 300 1008 458 1233 837 559 174 798 15 1005 1078 911 1167 90 494 1256 764 93 211 886 690 594 354 508 1196 1078 1192 372 863 235 440 150 847 529 1146 1239 909 994 1244 1048 237 757 463 612 335
44.48	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 22:37:40 2007]
44.48	c # OUTPUT_SOL  CPU : 0.740000000000002 = 0.01 + 0 + 0.670000000000002 + 0.0600000000000001
44.48	
44.48	c # MAIN  END :  (44 seconds) [Mon Jan 29 22:37:40 2007]
44.48	c # MAIN  CPU : 43.86 = 0.13 + 0.03 + 40.81 + 2.89
44.48

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-232995-1170106613 -o ROOT/results/node71/solver-232995-1170106613 -C 1800 -M 900 /tmp/evaluation/232995-1170106613/solver /tmp/evaluation/232995-1170106613 /tmp/evaluation/232995-1170106613/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.85 2.08 2.34 5/81 24833
/proc/meminfo: memFree=1266760/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=18540 CPUtime=0
/proc/24832/stat : 24832 (runsolver) R 24830 24832 24767 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30619394 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24832/statm: 4635 279 244 17 0 2626 0

[startup+0.107548 s]
/proc/loadavg: 1.85 2.08 2.34 5/81 24833
/proc/meminfo: memFree=1266760/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=0.03
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30619394 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515637 s]
/proc/loadavg: 1.85 2.08 2.34 5/81 24833
/proc/meminfo: memFree=1266760/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=0.03
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30619394 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33681 s]
/proc/loadavg: 1.85 2.08 2.34 4/82 24842
/proc/meminfo: memFree=1264320/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=1.05
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1190 11114 0 1 3 1 93 8 15 0 1 0 30619394 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 809 371 3 0 531 0
[pid=24842] ppid=24832 vsize=807064 CPUtime=0.19
/proc/24842/stat : 24842 (java) R 24832 24832 24767 0 -1 0 3308 0 1 0 17 2 0 0 24 0 8 0 30619505 826433536 3059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073492320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24842/statm: 201766 3059 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788

[startup+2.98616 s]
/proc/loadavg: 1.86 2.08 2.34 3/89 24849
/proc/meminfo: memFree=1234376/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=1.05
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1190 11114 0 1 3 1 93 8 16 0 1 0 30619394 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 809 371 3 0 531 0
[pid=24842] ppid=24832 vsize=807332 CPUtime=1.81
/proc/24842/stat : 24842 (java) R 24832 24832 24767 0 -1 0 9818 0 1 0 172 9 0 0 25 0 8 0 30619505 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803900 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24842/statm: 201833 9562 1510 14 0 189111 0
[pid=24842/tid=24843] ppid=24832 vsize=807332 CPUtime=0.2
/proc/24842/task/24843/stat : 24843 (java) S 24832 24832 24767 0 -1 64 3587 0 0 0 19 1 0 0 16 0 8 0 30619509 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24844] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24844/stat : 24844 (java) S 24832 24832 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24845] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24845/stat : 24845 (java) S 24832 24832 24767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24846] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24846/stat : 24846 (java) S 24832 24832 24767 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30619512 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24847] ppid=24832 vsize=807332 CPUtime=0.16
/proc/24842/task/24847/stat : 24847 (java) S 24832 24832 24767 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30619512 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24848] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24848/stat : 24848 (java) S 24832 24832 24767 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30619513 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24849] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24849/stat : 24849 (java) S 24832 24832 24767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30619513 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821056

[startup+6.27488 s]
/proc/loadavg: 1.86 2.08 2.34 3/89 24849
/proc/meminfo: memFree=1173072/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=1.05
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1190 11114 0 1 3 1 93 8 16 0 1 0 30619394 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 809 371 3 0 531 0
[pid=24842] ppid=24832 vsize=807332 CPUtime=5.07
/proc/24842/stat : 24842 (java) R 24832 24832 24767 0 -1 0 9822 0 1 0 477 30 0 0 25 0 8 0 30619505 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24842/statm: 201833 9565 1510 14 0 189111 0
[pid=24842/tid=24843] ppid=24832 vsize=807332 CPUtime=0.2
/proc/24842/task/24843/stat : 24843 (java) S 24832 24832 24767 0 -1 64 3587 0 0 0 19 1 0 0 16 0 8 0 30619509 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24844] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24844/stat : 24844 (java) S 24832 24832 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24845] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24845/stat : 24845 (java) S 24832 24832 24767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24846] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24846/stat : 24846 (java) S 24832 24832 24767 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30619512 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24847] ppid=24832 vsize=807332 CPUtime=0.16
/proc/24842/task/24847/stat : 24847 (java) S 24832 24832 24767 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30619512 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24848] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24848/stat : 24848 (java) S 24832 24832 24767 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30619513 826707968 9565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24849] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24849/stat : 24849 (java) S 24832 24832 24767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30619513 826707968 9565 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.7683 s]
/proc/loadavg: 1.89 2.08 2.33 3/89 24849
/proc/meminfo: memFree=1044880/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=13724 CPUtime=1.05
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 1190 11114 0 1 3 1 93 8 16 0 1 0 30619394 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 3431 809 371 3 0 531 0
[pid=24842] ppid=24832 vsize=807332 CPUtime=11.46
/proc/24842/stat : 24842 (java) R 24832 24832 24767 0 -1 0 11761 0 1 0 1074 72 0 0 25 0 8 0 30619505 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24842/statm: 201833 11503 1510 14 0 189111 0
[pid=24842/tid=24843] ppid=24832 vsize=807332 CPUtime=0.24
/proc/24842/task/24843/stat : 24843 (java) S 24832 24832 24767 0 -1 64 5525 0 0 0 23 1 0 0 16 0 8 0 30619509 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24844] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24844/stat : 24844 (java) S 24832 24832 24767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24845] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24845/stat : 24845 (java) S 24832 24832 24767 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30619509 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24846] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24846/stat : 24846 (java) S 24832 24832 24767 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30619512 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24847] ppid=24832 vsize=807332 CPUtime=0.16
/proc/24842/task/24847/stat : 24847 (java) S 24832 24832 24767 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30619512 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24848] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24848/stat : 24848 (java) S 24832 24832 24767 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30619513 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24842/tid=24849] ppid=24832 vsize=807332 CPUtime=0
/proc/24842/task/24849/stat : 24849 (java) S 24832 24832 24767 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30619513 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.6131 s]
/proc/loadavg: 2.05 2.11 2.34 3/82 24850
/proc/meminfo: memFree=578248/2055920 swapFree=4192812/4192956
[pid=24832] ppid=24830 vsize=22196 CPUtime=18.83
/proc/24832/stat : 24832 (sugar) S 24830 24832 24767 0 -1 4194304 3370 22894 0 2 15 3 1738 127 16 0 1 0 30619394 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24832/statm: 5549 2891 373 3 0 2649 0
[pid=24850] ppid=24832 vsize=437984 CPUtime=6.27
/proc/24850/stat : 24850 (minisat) R 24832 24832 24767 0 -1 0 106420 0 0 0 551 76 0 0 25 0 1 0 30621325 448495616 106215 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522955 0 0 4096 0 0 0 0 17 1 0 0
/proc/24850/statm: 109496 106215 35 112 0 109380 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 460180

Child status: 0
Real time (s): 44.6516
CPU time (s): 44.0863
CPU user time (s): 40.9798
CPU system time (s): 3.10653
CPU usage (%): 98.734
Max. virtual memory (cumulated for all children) (KiB): 868584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.9798
system time used= 3.10653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240321
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2246
involuntary context switches= 3000

runsolver used 0.041993 s user time and 0.146977 s system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Jan 29 21:36:54 UTC 2007


IDJOB= 232995
IDBENCH= 6573
IDSOLVER= 86
FILE ID= node71/232995-1170106613

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-100-3.xml
COMMAND LINE= /tmp/evaluation/232995-1170106613/solver /tmp/evaluation/232995-1170106613 /tmp/evaluation/232995-1170106613/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-232995-1170106613 -o ROOT/results/node71/solver-232995-1170106613 -C 1800 -M 900  /tmp/evaluation/232995-1170106613/solver /tmp/evaluation/232995-1170106613 /tmp/evaluation/232995-1170106613/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  a952f77e6486671336c6f7fb8be515ed

RANDOM SEED= 27125814

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:       1267368 kB
Buffers:         51656 kB
Cached:          45652 kB
SwapCached:          0 kB
Active:         675316 kB
Inactive:        58420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1267368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2044 kB
Writeback:           0 kB
Mapped:         653304 kB
Slab:            38832 kB
Committed_AS:  1001440 kB
PageTables:       3104 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= 66560 MiB



End job on node71 on Mon Jan 29 21:37:41 UTC 2007