0.05 c # Sugar v0-40 (/tmp/evaluation/217359-1170101105/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/217359-1170101105/unknown.xml [Mon Jan 29 21:05:06 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/217359-1170101105/unknown.xml /tmp/evaluation/217359-1170101105/sugar18681.csp [Mon Jan 29 21:05:06 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217359-1170101105/sugar-v0-40.jar -convert /tmp/evaluation/217359-1170101105/unknown.xml /tmp/evaluation/217359-1170101105/sugar18681.csp
0.17 c BEGIN convert /tmp/evaluation/217359-1170101105/unknown.xml
0.32 c END convert (0.150743 seconds)
0.34 c # CONVERT_XML END : /tmp/evaluation/217359-1170101105/sugar18681.csp 48330 bytes (0 seconds) [Mon Jan 29 21:05:06 2007]
0.34 c # CONVERT_XML CPU : 0.26 = 0 + 0 + 0.24 + 0.02
0.34
0.34 c # GENERATE_SAT BEGIN : /tmp/evaluation/217359-1170101105/sugar18681.bcnf [Mon Jan 29 21:05:06 2007]
0.34 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217359-1170101105/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217359-1170101105/sugar18681.map /tmp/evaluation/217359-1170101105/sugar18681.csp /tmp/evaluation/217359-1170101105/sugar18681.bcnf
0.46 c BEGIN parse /tmp/evaluation/217359-1170101105/sugar18681.csp
0.93 c END parse (0.466422 seconds)
0.93 c BEGIN simplify
0.96 c END simplify (0.033227 seconds)
0.96 c BEGIN encode /tmp/evaluation/217359-1170101105/sugar18681.bcnf
1.15 c END encode (0.185469 seconds)
1.26 c # GENERATE_SAT END : 7920 variables 80640 clauses 1221144 bytes (1 seconds) [Mon Jan 29 21:05:07 2007]
1.26 c # GENERATE_SAT CPU : 0.87 = 0.06 + 0.01 + 0.75 + 0.05
1.26
1.26 c # SOLVE_SAT BEGIN : /tmp/evaluation/217359-1170101105/sugar18681.bcnf [Mon Jan 29 21:05:07 2007]
1.26 c # CMD : /tmp/evaluation/217359-1170101105/minisat /tmp/evaluation/217359-1170101105/sugar18681.bcnf /tmp/evaluation/217359-1170101105/sugar18681.out
1.31 c ==================================[MINISAT]===================================
1.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.31 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
1.31 c ==============================================================================
1.31 c | 0 | 80640 224640 | 26880 0 0 nan | 0.000 % |
1.37 c | 100 | 80640 224640 | 29568 100 5493 54.9 | 0.000 % |
1.42 c | 250 | 80640 224640 | 32524 250 11431 45.7 | 0.000 % |
1.48 c | 478 | 80640 224640 | 35777 478 18566 38.8 | 0.000 % |
1.57 c | 816 | 80640 224640 | 39355 816 30301 37.1 | 0.000 % |
1.62 c | 1323 | 80640 224640 | 43290 1323 37336 28.2 | 0.000 % |
1.82 c | 2082 | 80640 224640 | 47619 2082 65463 31.4 | 0.000 % |
2.11 c | 3221 | 80640 224640 | 52381 3221 113362 35.2 | 0.000 % |
2.56 c | 4929 | 80640 224640 | 57619 4929 182710 37.1 | 0.000 % |
3.25 c | 7491 | 80640 224640 | 63381 7491 290519 38.8 | 0.000 % |
4.64 c | 11335 | 80640 224640 | 69719 11335 462336 40.8 | 0.000 % |
5.56 c | 17101 | 80640 224640 | 76691 17101 629132 36.8 | 0.000 % |
8.72 c | 25751 | 80640 224640 | 84360 25751 993171 38.6 | 0.000 % |
15.66 c | 38726 | 80640 224640 | 92797 38726 1589173 41.0 | 0.000 % |
30.48 c | 58188 | 80640 224640 | 102076 58188 2581687 44.4 | 0.000 % |
64.57 c | 87380 | 80640 224640 | 112284 87380 4121137 47.2 | 0.000 % |
101.34 c | 131170 | 80640 224640 | 123512 31456 1616612 51.4 | 0.000 % |
179.12 c | 196855 | 80640 224640 | 135864 97141 5267924 54.2 | 0.000 % |
294.14 c | 295381 | 80640 224640 | 149450 74559 3880104 52.0 | 0.000 % |
480.30 c | 443171 | 80640 224640 | 164395 88837 4520065 50.9 | 0.000 % |
868.41 c | 664854 | 80640 224640 | 180835 163564 9362986 57.2 | 0.000 % |
1394.54 c | 997379 | 80640 224640 | 198918 161560 8555313 53.0 | 0.000 % |
1805.83
1805.83 s UNKNOWN
1805.83 c # INTERRUPTED
1805.83 c # MAIN END : (1806 seconds) [Mon Jan 29 21:35:12 2007]
1805.83 c # MAIN CPU : 1.13 = 0.06 + 0.01 + 0.99 + 0.07
1805.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-217359-1170101105 -o ROOT/results/node38/solver-217359-1170101105 -C 1800 -M 900 /tmp/evaluation/217359-1170101105/solver /tmp/evaluation/217359-1170101105 /tmp/evaluation/217359-1170101105/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.24 2.22 2.52 5/74 18682
/proc/meminfo: memFree=1892600/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=18540 CPUtime=0
/proc/18681/stat : 18681 (runsolver) R 18679 18681 17842 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30066408 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18681/statm: 4635 279 244 17 0 2626 0
[startup+0.110096 s]
/proc/loadavg: 2.24 2.22 2.52 5/74 18682
/proc/meminfo: memFree=1892600/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=13724 CPUtime=0.03
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 30066408 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.521144 s]
/proc/loadavg: 2.24 2.22 2.52 5/74 18682
/proc/meminfo: memFree=1892600/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=13724 CPUtime=0.29
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 1190 3731 0 1 3 0 24 2 15 0 1 0 30066408 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13724
[startup+1.34224 s]
/proc/loadavg: 2.24 2.22 2.52 3/82 18698
/proc/meminfo: memFree=1866488/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 17320
[startup+2.97942 s]
/proc/loadavg: 2.24 2.22 2.52 3/75 18699
/proc/meminfo: memFree=1881328/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 15 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=6496 CPUtime=1.69
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 1550 0 0 0 169 0 0 0 25 0 1 0 30066535 6651904 1236 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528066 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 1624 1236 52 112 0 1508 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 23816
[startup+6.2588 s]
/proc/loadavg: 2.22 2.22 2.52 3/75 18699
/proc/meminfo: memFree=1878192/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=8724 CPUtime=4.95
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 2106 0 0 0 494 1 0 0 25 0 1 0 30066535 8933376 1792 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 2181 1792 52 112 0 2065 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 26044
[startup+12.7356 s]
/proc/loadavg: 2.21 2.22 2.51 3/75 18699
/proc/meminfo: memFree=1874160/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=11780 CPUtime=11.4
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 2874 0 0 0 1138 2 0 0 25 0 1 0 30066535 12062720 2560 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 2945 2560 52 112 0 2829 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 29100
[startup+25.577 s]
/proc/loadavg: 2.17 2.21 2.51 3/75 18699
/proc/meminfo: memFree=1868464/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=16060 CPUtime=24.18
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 3942 0 0 0 2414 4 0 0 25 0 1 0 30066535 16445440 3628 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 4015 3628 52 112 0 3899 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 33380
[startup+51.253 s]
/proc/loadavg: 2.10 2.19 2.49 3/75 18699
/proc/meminfo: memFree=1859248/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=22108 CPUtime=49.74
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 5439 0 0 0 4967 7 0 0 25 0 1 0 30066535 22638592 5125 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528070 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 5527 5125 52 112 0 5411 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 39428
[startup+102.494 s]
/proc/loadavg: 2.04 2.16 2.46 3/75 18699
/proc/meminfo: memFree=1847408/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=30456 CPUtime=100.74
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 7512 0 0 0 10065 9 0 0 25 0 1 0 30066535 31186944 7198 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 7614 7198 52 112 0 7498 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 47776
[startup+162.57 s]
/proc/loadavg: 2.06 2.14 2.44 3/75 18699
/proc/meminfo: memFree=1847024/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=30456 CPUtime=160.53
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 7522 0 0 0 16044 9 0 0 25 0 1 0 30066535 31186944 7208 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528404 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 7614 7208 52 112 0 7498 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 47776
[startup+222.649 s]
/proc/loadavg: 2.08 2.13 2.41 3/75 18699
/proc/meminfo: memFree=1833264/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=37964 CPUtime=220.33
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 9424 0 0 0 22021 12 0 0 25 0 1 0 30066535 38875136 9110 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 9491 9110 52 112 0 9375 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 55284
[startup+282.723 s]
/proc/loadavg: 2.03 2.10 2.38 3/75 18699
/proc/meminfo: memFree=1831408/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=39672 CPUtime=280.12
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 9853 0 0 0 27999 13 0 0 25 0 1 0 30066535 40624128 9539 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527048 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 9918 9539 52 112 0 9802 0
Current children cumulated CPU time (s) 281.28
Current children cumulated vsize (KiB) 56992
[startup+342.795 s]
/proc/loadavg: 2.01 2.08 2.36 3/75 18699
/proc/meminfo: memFree=1831216/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=39672 CPUtime=339.91
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 9854 0 0 0 33978 13 0 0 25 0 1 0 30066535 40624128 9540 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 9918 9540 52 112 0 9802 0
Current children cumulated CPU time (s) 341.07
Current children cumulated vsize (KiB) 56992
[startup+402.871 s]
/proc/loadavg: 2.00 2.06 2.33 3/75 18699
/proc/meminfo: memFree=1825136/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=43432 CPUtime=399.71
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 10713 0 0 0 39956 15 0 0 25 0 1 0 30066535 44474368 10399 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 10858 10399 52 112 0 10742 0
Current children cumulated CPU time (s) 400.87
Current children cumulated vsize (KiB) 60752
[startup+462.948 s]
/proc/loadavg: 2.00 2.05 2.31 3/75 18699
/proc/meminfo: memFree=1824752/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=43432 CPUtime=459.51
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 10747 0 0 0 45936 15 0 0 25 0 1 0 30066535 44474368 10433 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 10858 10433 52 112 0 10742 0
Current children cumulated CPU time (s) 460.67
Current children cumulated vsize (KiB) 60752
[startup+523.028 s]
/proc/loadavg: 2.06 2.05 2.29 3/75 18699
/proc/meminfo: memFree=1824496/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=43432 CPUtime=519.31
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 10748 0 0 0 51916 15 0 0 25 0 1 0 30066535 44474368 10434 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 10858 10434 52 112 0 10742 0
Current children cumulated CPU time (s) 520.47
Current children cumulated vsize (KiB) 60752
[startup+583.107 s]
################
# More data... #
################
/proc/loadavg: 2.02 2.02 2.14 3/75 18699
/proc/meminfo: memFree=1804208/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=57424 CPUtime=1117.23
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14206 0 0 0 111703 20 0 0 25 0 1 0 30066535 58802176 13892 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134521342 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 14356 13892 52 112 0 14240 0
Current children cumulated CPU time (s) 1118.39
Current children cumulated vsize (KiB) 74744
[startup+1183.87 s]
/proc/loadavg: 2.00 2.01 2.13 3/75 18699
/proc/meminfo: memFree=1802032/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=59620 CPUtime=1177.31
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14740 0 0 0 117710 21 0 0 25 0 1 0 30066535 61050880 14426 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 14905 14426 52 112 0 14789 0
Current children cumulated CPU time (s) 1178.47
Current children cumulated vsize (KiB) 76940
[startup+1243.92 s]
/proc/loadavg: 2.00 2.00 2.12 3/75 18699
/proc/meminfo: memFree=1801840/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=59620 CPUtime=1237.35
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14740 0 0 0 123714 21 0 0 25 0 1 0 30066535 61050880 14426 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 14905 14426 52 112 0 14789 0
Current children cumulated CPU time (s) 1238.51
Current children cumulated vsize (KiB) 76940
[startup+1303.98 s]
/proc/loadavg: 2.00 2.00 2.11 3/75 18699
/proc/meminfo: memFree=1801648/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=59772 CPUtime=1297.38
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14770 0 0 0 129717 21 0 0 25 0 1 0 30066535 61206528 14456 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 14943 14456 52 112 0 14827 0
Current children cumulated CPU time (s) 1298.54
Current children cumulated vsize (KiB) 77092
[startup+1364.03 s]
/proc/loadavg: 2.00 2.00 2.10 3/75 18699
/proc/meminfo: memFree=1801264/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=60128 CPUtime=1357.42
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14839 0 0 0 135721 21 0 0 25 0 1 0 30066535 61571072 14525 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15032 14525 52 112 0 14916 0
Current children cumulated CPU time (s) 1358.58
Current children cumulated vsize (KiB) 77448
[startup+1424.09 s]
/proc/loadavg: 2.00 2.00 2.09 3/75 18699
/proc/meminfo: memFree=1801200/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=60128 CPUtime=1417.47
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 14844 0 0 0 141725 22 0 0 25 0 1 0 30066535 61571072 14530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15032 14530 52 112 0 14916 0
Current children cumulated CPU time (s) 1418.63
Current children cumulated vsize (KiB) 77448
[startup+1484.14 s]
/proc/loadavg: 2.00 2.00 2.08 3/75 18699
/proc/meminfo: memFree=1797552/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=63476 CPUtime=1477.49
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 15703 0 0 0 147727 22 0 0 25 0 1 0 30066535 64999424 15389 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15869 15389 52 112 0 15753 0
Current children cumulated CPU time (s) 1478.65
Current children cumulated vsize (KiB) 80796
[startup+1544.2 s]
/proc/loadavg: 2.00 2.00 2.08 3/75 18699
/proc/meminfo: memFree=1793968/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=63476 CPUtime=1537.54
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 15703 0 0 0 153731 23 0 0 25 0 1 0 30066535 64999424 15389 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15869 15389 52 112 0 15753 0
Current children cumulated CPU time (s) 1538.7
Current children cumulated vsize (KiB) 80796
[startup+1604.25 s]
/proc/loadavg: 2.00 2.00 2.07 3/75 18699
/proc/meminfo: memFree=1791792/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=63476 CPUtime=1597.58
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 15704 0 0 0 159735 23 0 0 25 0 1 0 30066535 64999424 15390 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528418 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15869 15390 52 112 0 15753 0
Current children cumulated CPU time (s) 1598.74
Current children cumulated vsize (KiB) 80796
[startup+1664.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/75 18699
/proc/meminfo: memFree=1791536/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=63720 CPUtime=1657.62
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 15745 0 0 0 165739 23 0 0 25 0 1 0 30066535 65249280 15431 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 15930 15431 52 112 0 15814 0
Current children cumulated CPU time (s) 1658.78
Current children cumulated vsize (KiB) 81040
[startup+1724.36 s]
/proc/loadavg: 2.08 2.03 2.07 3/75 18699
/proc/meminfo: memFree=1790320/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=64644 CPUtime=1717.65
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 16000 0 0 0 171742 23 0 0 25 0 1 0 30066535 66195456 15686 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134526916 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 16161 15686 52 112 0 16045 0
Current children cumulated CPU time (s) 1718.81
Current children cumulated vsize (KiB) 81964
[startup+1784.43 s]
/proc/loadavg: 1.96 2.00 2.06 3/82 18763
/proc/meminfo: memFree=1629896/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=71432 CPUtime=1777.63
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 17649 0 0 0 177737 26 0 0 25 0 1 0 30066535 73146368 17335 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 17858 17335 52 112 0 17742 0
Current children cumulated CPU time (s) 1778.79
Current children cumulated vsize (KiB) 88752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.83 s]
/proc/loadavg: 2.17 2.05 2.07 4/82 18763
/proc/meminfo: memFree=1628296/2055920 swapFree=4192812/4192956
[pid=18681] ppid=18679 vsize=17320 CPUtime=1.16
/proc/18681/stat : 18681 (sugar) S 18679 18681 17842 0 -1 4194304 2170 11194 0 2 9 1 99 7 16 0 1 0 30066408 17735680 1682 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18681/statm: 4330 1682 373 3 0 1430 0
[pid=18699] ppid=18681 vsize=72772 CPUtime=1798.93
/proc/18699/stat : 18699 (minisat) R 18681 18681 17842 0 -1 0 17961 0 0 0 179867 26 0 0 25 0 1 0 30066535 74518528 17647 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/18699/statm: 18193 17647 52 112 0 18077 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 90092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18681 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=95833 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=91986
CPU time returned by wait4() is 1.18782
while last known CPU time is 1800.11
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.85
CPU time (s): 1800.11
CPU user time (s): 1799.75
CPU system time (s): 0.36
CPU usage (%): 99.6272
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.09583
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13448
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 908
involuntary context switches= 811
runsolver used 2.03869 s user time and 5.40918 s system time
The end
Begin job on node38 on Mon Jan 29 20:05:06 UTC 2007
IDJOB= 217359
IDBENCH= 5131
IDSOLVER= 86
FILE ID= node38/217359-1170101105
PBS_JOBID= 3689697
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/latinSquare/latinSquare-dg-12_all.xml
COMMAND LINE= /tmp/evaluation/217359-1170101105/solver /tmp/evaluation/217359-1170101105 /tmp/evaluation/217359-1170101105/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-217359-1170101105 -o ROOT/results/node38/solver-217359-1170101105 -C 1800 -M 900 /tmp/evaluation/217359-1170101105/solver /tmp/evaluation/217359-1170101105 /tmp/evaluation/217359-1170101105/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= aa16cceed3e87ea3ccf317df2d80f765
RANDOM SEED= 457464826
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: 1893016 kB
Buffers: 21432 kB
Cached: 47452 kB
SwapCached: 0 kB
Active: 81352 kB
Inactive: 27792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8112 kB
Writeback: 0 kB
Mapped: 51292 kB
Slab: 38928 kB
Committed_AS: 184476 kB
PageTables: 1912 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= 66561 MiB
End job on node38 on Mon Jan 29 20:35:13 UTC 2007