0.04 c # Sugar v0-40 (/tmp/evaluation/246808-1170109396/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/246808-1170109396/unknown.xml [Mon Jan 29 23:23:19 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/246808-1170109396/unknown.xml /tmp/evaluation/246808-1170109396/sugar514.csp [Mon Jan 29 23:23:19 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246808-1170109396/sugar-v0-40.jar -convert /tmp/evaluation/246808-1170109396/unknown.xml /tmp/evaluation/246808-1170109396/sugar514.csp
0.15 c BEGIN convert /tmp/evaluation/246808-1170109396/unknown.xml
0.23 c END convert (0.079345 seconds)
0.27 c # CONVERT_XML END : /tmp/evaluation/246808-1170109396/sugar514.csp 8575 bytes (0 seconds) [Mon Jan 29 23:23:19 2007]
0.27 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.27
0.27 c # GENERATE_SAT BEGIN : /tmp/evaluation/246808-1170109396/sugar514.bcnf [Mon Jan 29 23:23:19 2007]
0.27 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246808-1170109396/sugar-v0-40.jar -bcnf -map /tmp/evaluation/246808-1170109396/sugar514.map /tmp/evaluation/246808-1170109396/sugar514.csp /tmp/evaluation/246808-1170109396/sugar514.bcnf
0.38 c BEGIN parse /tmp/evaluation/246808-1170109396/sugar514.csp
0.62 c END parse (0.237493 seconds)
0.62 c BEGIN simplify
0.64 c END simplify (0.020166 seconds)
0.64 c BEGIN encode /tmp/evaluation/246808-1170109396/sugar514.bcnf
0.73 c END encode (0.093651 seconds)
0.77 c # GENERATE_SAT END : 2345 variables 42175 clauses 658444 bytes (0 seconds) [Mon Jan 29 23:23:19 2007]
0.77 c # GENERATE_SAT CPU : 0.01 = 0.01 + 0 + 0 + 0
0.77
0.77 c # SOLVE_SAT BEGIN : /tmp/evaluation/246808-1170109396/sugar514.bcnf [Mon Jan 29 23:23:19 2007]
0.77 c # CMD : /tmp/evaluation/246808-1170109396/minisat /tmp/evaluation/246808-1170109396/sugar514.bcnf /tmp/evaluation/246808-1170109396/sugar514.out
0.79 c ==================================[MINISAT]===================================
0.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.79 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
0.79 c ==============================================================================
0.79 c | 0 | 42175 122430 | 14058 0 0 nan | 0.000 % |
0.80 c | 100 | 42175 122430 | 15463 100 1154 11.5 | 0.000 % |
0.80 c | 251 | 42175 122430 | 17010 251 2372 9.5 | 0.000 % |
0.81 c | 477 | 42175 122430 | 18711 477 4249 8.9 | 0.000 % |
0.82 c | 814 | 42175 122430 | 20582 814 7021 8.6 | 0.000 % |
0.84 c | 1321 | 42175 122430 | 22640 1321 10492 7.9 | 0.000 % |
0.86 c | 2080 | 42175 122430 | 24904 2080 17049 8.2 | 0.000 % |
0.89 c | 3219 | 42175 122430 | 27395 3219 28393 8.8 | 0.000 % |
0.95 c | 4927 | 42175 122430 | 30134 4927 44812 9.1 | 0.000 % |
1.05 c | 7489 | 42175 122430 | 33148 7489 71600 9.6 | 0.000 % |
1.30 c | 11333 | 42175 122430 | 36462 11333 130694 11.5 | 0.000 % |
1.58 c | 17100 | 42175 122430 | 40109 17100 197524 11.6 | 0.000 % |
2.13 c | 25751 | 42175 122430 | 44120 25751 308189 12.0 | 0.000 % |
3.16 c | 38725 | 42175 122430 | 48532 38725 467729 12.1 | 0.000 % |
4.92 c | 58186 | 42175 122430 | 53385 20083 235118 11.7 | 0.000 % |
7.58 c | 87378 | 42175 122430 | 58723 49275 589089 12.0 | 0.001 % |
14.46 c | 131167 | 42175 122430 | 64596 44614 658945 14.8 | 0.000 % |
27.59 c | 196853 | 42175 122430 | 71055 57469 780053 13.6 | 0.000 % |
56.17 c | 295380 | 42175 122430 | 78161 38175 720867 18.9 | 0.000 % |
95.44 c | 443169 | 42175 122430 | 85977 57345 901628 15.7 | 0.000 % |
168.38 c | 664852 | 42175 122430 | 94575 62263 1039748 16.7 | 0.000 % |
286.16 c | 997378 | 42175 122430 | 104032 71848 1374790 19.1 | 0.001 % |
499.59 c | 1496169 | 42175 122430 | 114435 29311 487776 16.6 | 0.000 % |
940.34 c | 2244351 | 42175 122430 | 125879 90857 1631671 18.0 | 0.000 % |
1526.93 c | 3366625 | 42175 122430 | 138467 100469 1690379 16.8 | 0.000 % |
1810.67
1810.67 s UNKNOWN
1810.67 c # INTERRUPTED
1810.67 c # MAIN END : (1810 seconds) [Mon Jan 29 23:53:29 2007]
1810.67 c # MAIN CPU : 0.01 = 0.01 + 0 + 0 + 0
1810.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-246808-1170109396 -o ROOT/results/node12/solver-246808-1170109396 -C 1800 -M 900 /tmp/evaluation/246808-1170109396/solver /tmp/evaluation/246808-1170109396 /tmp/evaluation/246808-1170109396/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: 0.58 1.19 1.78 4/81 515
/proc/meminfo: memFree=1900744/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=12268 CPUtime=0
/proc/514/stat : 514 (sugar) R 512 514 32653 0 -1 4194304 583 0 0 0 0 0 0 0 18 0 1 0 30894299 12562432 302 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252449293177 0 0 4224 0 0 0 0 17 1 0 0
/proc/514/statm: 3067 310 236 3 0 167 0
[startup+0.103348 s]
/proc/loadavg: 0.58 1.19 1.78 4/81 515
/proc/meminfo: memFree=1900744/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=13724 CPUtime=0.04
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1112 0 0 0 3 1 0 0 16 0 1 0 30894299 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513421 s]
/proc/loadavg: 0.58 1.19 1.78 4/81 515
/proc/meminfo: memFree=1900744/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=13724 CPUtime=0.04
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30894299 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3431 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33456 s]
/proc/loadavg: 0.58 1.19 1.78 2/84 532
/proc/meminfo: memFree=1895024/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 15 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=4512 CPUtime=0.55
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 942 0 0 0 55 0 0 0 23 0 1 0 30894376 4620288 766 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 1128 766 52 112 0 1012 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 18896
[startup+2.97186 s]
/proc/loadavg: 0.61 1.18 1.77 2/84 534
/proc/meminfo: memFree=1893808/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 15 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=6520 CPUtime=2.18
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 1447 0 0 0 218 0 0 0 25 0 1 0 30894376 6676480 1271 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 1630 1271 52 112 0 1514 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 20904
[startup+6.26645 s]
/proc/loadavg: 0.61 1.18 1.77 2/84 570
/proc/meminfo: memFree=1891952/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=7792 CPUtime=5.46
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 1781 0 0 0 545 1 0 0 25 0 1 0 30894376 7979008 1605 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134639904 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 1948 1605 52 112 0 1832 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 22176
[startup+12.7336 s]
/proc/loadavg: 0.75 1.19 1.77 3/98 621
/proc/meminfo: memFree=1843648/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=9400 CPUtime=11.9
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 2163 0 0 0 1188 2 0 0 25 0 1 0 30894376 9625600 1987 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 2350 1987 52 112 0 2234 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 23784
[startup+25.5869 s]
/proc/loadavg: 1.10 1.25 1.78 3/98 621
/proc/meminfo: memFree=1622016/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=11704 CPUtime=24.68
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 2727 0 0 0 2464 4 0 0 25 0 1 0 30894376 11984896 2551 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 2926 2551 52 112 0 2810 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 26088
[startup+51.2836 s]
/proc/loadavg: 1.82 1.41 1.82 3/98 621
/proc/meminfo: memFree=1161088/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=14404 CPUtime=50.07
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 3389 0 0 0 4995 12 0 0 25 0 1 0 30894376 14749696 3213 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 3601 3213 52 112 0 3485 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 28788
[startup+102.507 s]
/proc/loadavg: 3.31 1.86 1.95 3/98 622
/proc/meminfo: memFree=261440/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=17276 CPUtime=100.68
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 4100 0 0 0 10037 31 0 0 25 0 1 0 30894376 17690624 3924 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 4319 3924 52 112 0 4203 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 31660
[startup+162.588 s]
/proc/loadavg: 4.24 2.41 2.13 3/98 622
/proc/meminfo: memFree=15872/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=19760 CPUtime=160.06
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 4687 0 0 0 15954 52 0 0 25 0 1 0 30894376 20234240 4511 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 4940 4511 52 112 0 4824 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 34144
[startup+222.664 s]
/proc/loadavg: 3.21 2.47 2.17 3/98 622
/proc/meminfo: memFree=15936/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=22564 CPUtime=219.39
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 5305 0 0 0 21867 72 0 0 25 0 1 0 30894376 23105536 5129 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/532/statm: 5641 5129 52 112 0 5525 0
Current children cumulated CPU time (s) 220.08
Current children cumulated vsize (KiB) 36948
[startup+282.726 s]
/proc/loadavg: 2.84 2.50 2.19 3/98 622
/proc/meminfo: memFree=15808/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
################
# More data... #
################
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=41012 CPUtime=1355.57
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 9665 0 0 0 135058 499 0 0 25 0 1 0 30894376 41996288 9489 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 10253 9489 52 112 0 10137 0
Current children cumulated CPU time (s) 1356.26
Current children cumulated vsize (KiB) 55396
[startup+1423.62 s]
/proc/loadavg: 2.38 2.84 2.78 3/97 734
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=41152 CPUtime=1415.23
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 9716 0 0 0 141004 519 0 0 25 0 1 0 30894376 42139648 9540 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 10288 9540 52 112 0 10172 0
Current children cumulated CPU time (s) 1415.92
Current children cumulated vsize (KiB) 55536
[startup+1483.67 s]
/proc/loadavg: 2.90 2.91 2.81 3/97 734
/proc/meminfo: memFree=15864/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=41700 CPUtime=1474.89
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 9815 0 0 0 146946 543 0 0 25 0 1 0 30894376 42700800 9639 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 10425 9639 52 112 0 10309 0
Current children cumulated CPU time (s) 1475.58
Current children cumulated vsize (KiB) 56084
[startup+1543.73 s]
/proc/loadavg: 3.25 3.02 2.85 3/97 734
/proc/meminfo: memFree=15736/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=42144 CPUtime=1534.55
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 9884 0 0 0 152889 566 0 0 25 0 1 0 30894376 43155456 9708 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 10536 9708 52 112 0 10420 0
Current children cumulated CPU time (s) 1535.24
Current children cumulated vsize (KiB) 56528
[startup+1603.82 s]
/proc/loadavg: 3.53 3.13 2.89 3/97 734
/proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=43156 CPUtime=1594.25
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 10089 0 0 0 158839 586 0 0 25 0 1 0 30894376 44191744 9913 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 10789 9913 52 112 0 10673 0
Current children cumulated CPU time (s) 1594.94
Current children cumulated vsize (KiB) 57540
[startup+1663.89 s]
/proc/loadavg: 4.18 3.40 3.00 3/97 734
/proc/meminfo: memFree=16120/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=44012 CPUtime=1653.92
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 10282 0 0 0 164782 610 0 0 25 0 1 0 30894376 45068288 10106 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 11003 10106 52 112 0 10887 0
Current children cumulated CPU time (s) 1654.61
Current children cumulated vsize (KiB) 58396
[startup+1723.98 s]
/proc/loadavg: 3.22 3.29 2.99 3/97 734
/proc/meminfo: memFree=16184/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=44332 CPUtime=1713.6
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 10373 0 0 0 170726 634 0 0 25 0 1 0 30894376 45395968 10197 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 11083 10197 52 112 0 10967 0
Current children cumulated CPU time (s) 1714.29
Current children cumulated vsize (KiB) 58716
[startup+1784.04 s]
/proc/loadavg: 2.72 3.13 2.95 3/97 735
/proc/meminfo: memFree=16120/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=44676 CPUtime=1773.07
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 10461 0 0 0 176651 656 0 0 25 0 1 0 30894376 45748224 10285 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 11169 10285 52 112 0 11053 0
Current children cumulated CPU time (s) 1773.76
Current children cumulated vsize (KiB) 59060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.67 s]
/proc/loadavg: 2.69 3.08 2.94 3/97 735
/proc/meminfo: memFree=15544/2055920 swapFree=4192812/4192956
[pid=514] ppid=512 vsize=14384 CPUtime=0.05
/proc/514/stat : 514 (sugar) S 512 514 32653 0 -1 4194304 1468 0 0 0 4 1 0 0 16 0 1 0 30894299 14729216 980 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/514/statm: 3596 980 373 3 0 696 0
[pid=516] ppid=514 vsize=0 CPUtime=0.19
/proc/516/stat : 516 (java) Z 514 514 32653 0 -1 1036 3487 0 1 0 16 3 0 0 16 0 1 0 30894304 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/516/statm: 0 0 0 0 0 0 0
[pid=524] ppid=514 vsize=0 CPUtime=0.45
/proc/524/stat : 524 (java) Z 514 514 32653 0 -1 1036 5499 0 1 0 42 3 0 0 16 0 1 0 30894326 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/524/statm: 0 0 0 0 0 0 0
[pid=532] ppid=514 vsize=44676 CPUtime=1799.38
/proc/532/stat : 532 (minisat) R 514 514 32653 0 -1 0 10469 0 0 0 179270 668 0 0 25 0 1 0 30894376 45748224 10293 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/532/statm: 11169 10293 52 112 0 11053 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 59060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 514 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=46992 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=17997
CPU time returned by wait4() is 0.064989
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.72
CPU time (s): 1800.08
CPU user time (s): 1793.32
CPU system time (s): 6.76
CPU usage (%): 99.3576
Max. virtual memory (cumulated for all children) (KiB): 59060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.046992
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 18
runsolver used 2.09668 s user time and 6.08607 s system time
The end
Begin job on node12 on Mon Jan 29 22:23:17 UTC 2007
IDJOB= 246808
IDBENCH= 10725
IDSOLVER= 86
FILE ID= node12/246808-1170109396
PBS_JOBID= 3690014
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pigeons_glb/pigeons-35_ext.xml
COMMAND LINE= /tmp/evaluation/246808-1170109396/solver /tmp/evaluation/246808-1170109396 /tmp/evaluation/246808-1170109396/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-246808-1170109396 -o ROOT/results/node12/solver-246808-1170109396 -C 1800 -M 900 /tmp/evaluation/246808-1170109396/solver /tmp/evaluation/246808-1170109396 /tmp/evaluation/246808-1170109396/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f8e16ba05baadeeaccfdc59ecba7c193
RANDOM SEED= 176869039
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.285
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.285
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: 1901224 kB
Buffers: 8160 kB
Cached: 49436 kB
SwapCached: 0 kB
Active: 87412 kB
Inactive: 18980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1901224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1584 kB
Writeback: 0 kB
Mapped: 67724 kB
Slab: 33716 kB
Committed_AS: 705856 kB
PageTables: 1892 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= 57486 MiB
End job on node12 on Mon Jan 29 22:53:30 UTC 2007