0.05 c # Sugar v0-40 (/tmp/evaluation/217289-1170101018/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/217289-1170101018/unknown.xml [Mon Jan 29 21:03:38 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/217289-1170101018/unknown.xml /tmp/evaluation/217289-1170101018/sugar26278.csp [Mon Jan 29 21:03:38 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217289-1170101018/sugar-v0-40.jar -convert /tmp/evaluation/217289-1170101018/unknown.xml /tmp/evaluation/217289-1170101018/sugar26278.csp
0.21 c BEGIN convert /tmp/evaluation/217289-1170101018/unknown.xml
0.90 c END convert (0.691843 seconds)
0.95 c # CONVERT_XML END : /tmp/evaluation/217289-1170101018/sugar26278.csp 2176555 bytes (1 seconds) [Mon Jan 29 21:03:39 2007]
0.95 c # CONVERT_XML CPU : 0.8 = 0 + 0 + 0.74 + 0.06
0.95
0.95 c # GENERATE_SAT BEGIN : /tmp/evaluation/217289-1170101018/sugar26278.bcnf [Mon Jan 29 21:03:39 2007]
0.95 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217289-1170101018/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217289-1170101018/sugar26278.map /tmp/evaluation/217289-1170101018/sugar26278.csp /tmp/evaluation/217289-1170101018/sugar26278.bcnf
1.07 c BEGIN parse /tmp/evaluation/217289-1170101018/sugar26278.csp
24.81 c END parse (23.733698 seconds)
24.81 c BEGIN simplify
24.91 c END simplify (0.101128 seconds)
24.91 c BEGIN encode /tmp/evaluation/217289-1170101018/sugar26278.bcnf
25.79 c END encode (0.885863 seconds)
25.91 c # GENERATE_SAT END : 6224 variables 77480 clauses 6753120 bytes (25 seconds) [Mon Jan 29 21:04:04 2007]
25.91 c # GENERATE_SAT CPU : 24.75 = 0.05 + 0 + 24.3 + 0.4
25.91
25.91 c # SOLVE_SAT BEGIN : /tmp/evaluation/217289-1170101018/sugar26278.bcnf [Mon Jan 29 21:04:04 2007]
25.91 c # CMD : /tmp/evaluation/217289-1170101018/minisat /tmp/evaluation/217289-1170101018/sugar26278.bcnf /tmp/evaluation/217289-1170101018/sugar26278.out
26.07 c ==================================[MINISAT]===================================
26.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
26.07 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
26.07 c ==============================================================================
26.07 c | 0 | 77480 1610792 | 25826 0 0 nan | 0.000 % |
26.12 c | 103 | 77480 1610792 | 28408 103 4601 44.7 | 0.000 % |
26.18 c | 253 | 77480 1610792 | 31249 253 7027 27.8 | 0.000 % |
26.28 c | 478 | 77480 1610792 | 34374 478 9917 20.7 | 0.000 % |
26.42 c | 815 | 77480 1610792 | 37811 815 14340 17.6 | 0.000 % |
26.58 c | 1321 | 77480 1610792 | 41593 1321 22210 16.8 | 0.000 % |
26.85 c | 2080 | 77480 1610792 | 45752 2080 33054 15.9 | 0.000 % |
27.33 c | 3219 | 77481 1610792 | 50327 3218 49259 15.3 | 0.000 % |
28.10 c | 4930 | 77481 1610792 | 55360 4929 72616 14.7 | 0.000 % |
29.31 c | 7492 | 77485 1610792 | 60896 7487 110055 14.7 | 0.000 % |
31.34 c | 11337 | 77488 1610792 | 66985 11329 169241 14.9 | 0.000 % |
33.91 c | 17105 | 77493 1610792 | 73684 17092 270808 15.8 | 0.000 % |
38.99 c | 25754 | 77495 1610792 | 81053 25739 429855 16.7 | 0.000 % |
47.46 c | 38728 | 77496 1610792 | 89158 38712 656240 17.0 | 0.000 % |
63.76 c | 58189 | 77498 1610792 | 98074 58171 1016590 17.5 | 0.000 % |
94.31 c | 87381 | 77501 1610792 | 107881 87360 1650928 18.9 | 0.000 % |
141.79 c | 131171 | 77511 1610792 | 118669 42186 878368 20.8 | 0.000 % |
208.47 c | 196855 | 77528 1610792 | 130536 107853 2710975 25.1 | 0.000 % |
312.45 c | 295381 | 77536 1610792 | 143590 92266 2191454 23.8 | 0.000 % |
496.00 c | 443170 | 77550 1610792 | 157949 116024 2655320 22.9 | 0.000 % |
787.87 c | 664853 | 77572 1610792 | 173744 62875 2129349 33.9 | 0.000 % |
1291.79 c | 997379 | 77586 1610792 | 191118 97621 2615753 26.8 | 0.000 % |
1809.40
1809.40 s UNKNOWN
1809.40 c # INTERRUPTED
1809.40 c # MAIN END : (1809 seconds) [Mon Jan 29 21:33:47 2007]
1809.40 c # MAIN CPU : 25.55 = 0.05 + 0 + 25.04 + 0.46
1809.40
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-217289-1170101018 -o ROOT/results/node18/solver-217289-1170101018 -C 1800 -M 900 /tmp/evaluation/217289-1170101018/solver /tmp/evaluation/217289-1170101018 /tmp/evaluation/217289-1170101018/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.00 1.99 1.97 5/88 26279
/proc/meminfo: memFree=1836224/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=18540 CPUtime=0
/proc/26278/stat : 26278 (runsolver) R 26276 26278 25705 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30056310 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 227848809767 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26278/statm: 4635 279 244 17 0 2626 0
[startup+0.109404 s]
/proc/loadavg: 2.00 1.99 1.97 5/88 26279
/proc/meminfo: memFree=1836224/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.04
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30056310 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517443 s]
/proc/loadavg: 2.00 1.99 1.97 5/88 26279
/proc/meminfo: memFree=1836224/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.04
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30056310 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34052 s]
/proc/loadavg: 2.00 1.99 1.97 4/96 26295
/proc/meminfo: memFree=1826752/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.84
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1190 7898 0 1 3 1 74 6 15 0 1 0 30056310 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 809 371 3 0 531 0
[pid=26288] ppid=26278 vsize=808088 CPUtime=0.36
/proc/26288/stat : 26288 (java) R 26278 26278 25705 0 -1 0 6514 0 1 0 33 3 0 0 17 0 8 0 30056406 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26288/statm: 202022 6264 1494 14 0 189300 0
[pid=26288/tid=26289] ppid=26278 vsize=808088 CPUtime=0.02
/proc/26288/task/26289/stat : 26289 (java) S 26278 26278 25705 0 -1 64 460 0 0 0 2 0 0 0 16 0 8 0 30056409 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26290] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26290/stat : 26290 (java) S 26278 26278 25705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056409 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26291] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26291/stat : 26291 (java) S 26278 26278 25705 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30056409 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26292] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26292/stat : 26292 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056413 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26293] ppid=26278 vsize=808088 CPUtime=0.05
/proc/26288/task/26293/stat : 26293 (java) R 26278 26278 25705 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30056413 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26294] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26294/stat : 26294 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 30056413 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26295] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26295/stat : 26295 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056413 827482112 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 821812
[startup+2.99368 s]
/proc/loadavg: 2.00 1.99 1.97 5/96 26295
/proc/meminfo: memFree=1797568/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.84
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1190 7898 0 1 3 1 74 6 15 0 1 0 30056310 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 809 371 3 0 531 0
[pid=26288] ppid=26278 vsize=808088 CPUtime=2
/proc/26288/stat : 26288 (java) R 26278 26278 25705 0 -1 0 13338 0 1 0 193 7 0 0 25 0 8 0 30056406 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073530144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26288/statm: 202022 13073 1494 14 0 189300 0
[pid=26288/tid=26289] ppid=26278 vsize=808088 CPUtime=0.53
/proc/26288/task/26289/stat : 26289 (java) S 26278 26278 25705 0 -1 64 7269 0 0 0 50 3 0 0 16 0 8 0 30056409 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26290] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26290/stat : 26290 (java) S 26278 26278 25705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056409 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26291] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26291/stat : 26291 (java) S 26278 26278 25705 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30056409 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26292] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26292/stat : 26292 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056413 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26293] ppid=26278 vsize=808088 CPUtime=0.05
/proc/26288/task/26293/stat : 26293 (java) S 26278 26278 25705 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30056413 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26294] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26294/stat : 26294 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 30056413 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26295] ppid=26278 vsize=808088 CPUtime=0
/proc/26288/task/26295/stat : 26295 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056413 827482112 13073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 821812
[startup+6.21097 s]
/proc/loadavg: 2.00 1.99 1.97 3/96 26295
/proc/meminfo: memFree=1730560/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.84
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1190 7898 0 1 3 1 74 6 15 0 1 0 30056310 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 809 371 3 0 531 0
[pid=26288] ppid=26278 vsize=808360 CPUtime=5.17
/proc/26288/stat : 26288 (java) R 26278 26278 25705 0 -1 0 31938 0 1 0 501 16 0 0 25 0 8 0 30056406 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26288/statm: 202090 31603 1506 14 0 189368 0
[pid=26288/tid=26289] ppid=26278 vsize=808360 CPUtime=1.45
/proc/26288/task/26289/stat : 26289 (java) R 26278 26278 25705 0 -1 64 25650 0 0 0 133 12 0 0 15 0 8 0 30056409 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827311 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26290] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26290/stat : 26290 (java) S 26278 26278 25705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056409 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26291] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26291/stat : 26291 (java) S 26278 26278 25705 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30056409 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26292] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26292/stat : 26292 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056413 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26293] ppid=26278 vsize=808360 CPUtime=0.14
/proc/26288/task/26293/stat : 26293 (java) S 26278 26278 25705 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 30056413 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26294] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26294/stat : 26294 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 30056413 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26295] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26295/stat : 26295 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056413 827760640 31603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 822084
[startup+12.6934 s]
/proc/loadavg: 2.07 2.00 1.98 3/96 26295
/proc/meminfo: memFree=1620992/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.84
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1190 7898 0 1 3 1 74 6 15 0 1 0 30056310 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 809 371 3 0 531 0
[pid=26288] ppid=26278 vsize=808360 CPUtime=11.63
/proc/26288/stat : 26288 (java) R 26278 26278 25705 0 -1 0 54857 0 1 0 1134 29 0 0 25 0 8 0 30056406 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26288/statm: 202090 54112 1507 14 0 189368 0
[pid=26288/tid=26289] ppid=26278 vsize=808360 CPUtime=3.63
/proc/26288/task/26289/stat : 26289 (java) S 26278 26278 25705 0 -1 64 48376 0 0 0 340 23 0 0 16 0 8 0 30056409 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26290] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26290/stat : 26290 (java) S 26278 26278 25705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056409 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26291] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26291/stat : 26291 (java) S 26278 26278 25705 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30056409 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26292] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26292/stat : 26292 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056413 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26293] ppid=26278 vsize=808360 CPUtime=0.14
/proc/26288/task/26293/stat : 26293 (java) S 26278 26278 25705 0 -1 64 402 0 0 0 14 0 0 0 16 0 8 0 30056413 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26294] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26294/stat : 26294 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 30056413 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26295] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26295/stat : 26295 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056413 827760640 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 822084
[startup+25.5766 s]
/proc/loadavg: 2.13 2.02 1.98 3/96 26295
/proc/meminfo: memFree=1620992/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=13724 CPUtime=0.84
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 1190 7898 0 1 3 1 74 6 16 0 1 0 30056310 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 3431 809 371 3 0 531 0
[pid=26288] ppid=26278 vsize=808360 CPUtime=24.44
/proc/26288/stat : 26288 (java) R 26278 26278 25705 0 -1 0 56092 0 1 0 2408 36 0 0 25 0 8 0 30056406 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26288/statm: 202090 54130 1511 14 0 189368 0
[pid=26288/tid=26289] ppid=26278 vsize=808360 CPUtime=8.06
/proc/26288/task/26289/stat : 26289 (java) S 26278 26278 25705 0 -1 64 49264 0 0 0 779 27 0 0 16 0 8 0 30056409 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26290] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26290/stat : 26290 (java) S 26278 26278 25705 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056409 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26291] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26291/stat : 26291 (java) S 26278 26278 25705 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30056409 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26292] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26292/stat : 26292 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056413 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26293] ppid=26278 vsize=808360 CPUtime=0.16
/proc/26288/task/26293/stat : 26293 (java) S 26278 26278 25705 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 30056413 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26294] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26294/stat : 26294 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 30056413 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26288/tid=26295] ppid=26278 vsize=808360 CPUtime=0
/proc/26288/task/26295/stat : 26295 (java) S 26278 26278 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056413 827760640 54130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 822084
[startup+51.247 s]
/proc/loadavg: 2.08 2.02 1.98 3/89 26296
/proc/meminfo: memFree=1809272/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=15032 CPUtime=25.2
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 4408 0 0 0 2517 3 0 0 25 0 1 0 30058901 15392768 3369 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26296/statm: 3758 3369 52 112 0 3642 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 31616
[startup+102.48 s]
/proc/loadavg: 2.03 2.01 1.98 3/89 26296
/proc/meminfo: memFree=1803448/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=21040 CPUtime=76.19
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 5880 0 0 0 7614 5 0 0 25 0 1 0 30058901 21544960 4841 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26296/statm: 5260 4841 52 112 0 5144 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 37624
[startup+162.543 s]
/proc/loadavg: 2.01 2.01 1.98 3/89 26296
/proc/meminfo: memFree=1801144/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=23172 CPUtime=135.97
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 6402 0 0 0 13591 6 0 0 25 0 1 0 30058901 23728128 5363 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/26296/statm: 5793 5363 52 112 0 5677 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 39756
################
# More data... #
################
/proc/loadavg: 2.01 2.00 2.00 3/89 26361
/proc/meminfo: memFree=1587696/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=46480 CPUtime=1092.18
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12151 0 0 0 109199 19 0 0 25 0 1 0 30058901 47595520 11112 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11620 11112 52 112 0 11504 0
Current children cumulated CPU time (s) 1117.77
Current children cumulated vsize (KiB) 63064
[startup+1183.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26361
/proc/meminfo: memFree=1587312/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=46872 CPUtime=1151.91
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12223 0 0 0 115172 19 0 0 25 0 1 0 30058901 47996928 11184 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527291 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11718 11184 52 112 0 11602 0
Current children cumulated CPU time (s) 1177.5
Current children cumulated vsize (KiB) 63456
[startup+1243.66 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 26361
/proc/meminfo: memFree=1566000/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47188 CPUtime=1211.67
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12298 0 0 0 121148 19 0 0 25 0 1 0 30058901 48320512 11259 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528473 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11797 11259 52 112 0 11681 0
Current children cumulated CPU time (s) 1237.26
Current children cumulated vsize (KiB) 63772
[startup+1303.72 s]
/proc/loadavg: 2.06 2.03 2.00 3/89 26361
/proc/meminfo: memFree=1528240/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47188 CPUtime=1271.43
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12321 0 0 0 127123 20 0 0 25 0 1 0 30058901 48320512 11282 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11797 11282 52 112 0 11681 0
Current children cumulated CPU time (s) 1297.02
Current children cumulated vsize (KiB) 63772
[startup+1363.79 s]
/proc/loadavg: 2.08 2.04 2.00 3/89 26361
/proc/meminfo: memFree=1499568/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47324 CPUtime=1331.16
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12353 0 0 0 133096 20 0 0 25 0 1 0 30058901 48459776 11314 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11831 11314 52 112 0 11715 0
Current children cumulated CPU time (s) 1356.75
Current children cumulated vsize (KiB) 63908
[startup+1423.85 s]
/proc/loadavg: 2.03 2.03 2.00 3/89 26361
/proc/meminfo: memFree=1499120/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47672 CPUtime=1390.93
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12449 0 0 0 139072 21 0 0 25 0 1 0 30058901 48816128 11402 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11918 11402 52 112 0 11802 0
Current children cumulated CPU time (s) 1416.52
Current children cumulated vsize (KiB) 64256
[startup+1483.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 26361
/proc/meminfo: memFree=1499056/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47672 CPUtime=1450.69
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12468 0 0 0 145048 21 0 0 25 0 1 0 30058901 48816128 11421 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11918 11421 52 112 0 11802 0
Current children cumulated CPU time (s) 1476.28
Current children cumulated vsize (KiB) 64256
[startup+1543.97 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 26361
/proc/meminfo: memFree=1498864/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47816 CPUtime=1510.42
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12489 0 0 0 151020 22 0 0 25 0 1 0 30058901 48963584 11442 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527148 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11954 11442 52 112 0 11838 0
Current children cumulated CPU time (s) 1536.01
Current children cumulated vsize (KiB) 64400
[startup+1604.03 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 26361
/proc/meminfo: memFree=1498672/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=47952 CPUtime=1570.17
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12513 0 0 0 156995 22 0 0 25 0 1 0 30058901 49102848 11466 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 11988 11466 52 112 0 11872 0
Current children cumulated CPU time (s) 1595.76
Current children cumulated vsize (KiB) 64536
[startup+1664.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26361
/proc/meminfo: memFree=1498096/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=48476 CPUtime=1629.92
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 12650 0 0 0 162970 22 0 0 25 0 1 0 30058901 49639424 11603 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 12119 11603 52 112 0 12003 0
Current children cumulated CPU time (s) 1655.51
Current children cumulated vsize (KiB) 65060
[startup+1724.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 26361
/proc/meminfo: memFree=1494064/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=52524 CPUtime=1689.65
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 13647 0 0 0 168941 24 0 0 25 0 1 0 30058901 53784576 12600 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528532 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 13131 12600 52 112 0 13015 0
Current children cumulated CPU time (s) 1715.24
Current children cumulated vsize (KiB) 69108
[startup+1784.23 s]
/proc/loadavg: 2.09 2.03 2.01 3/89 26361
/proc/meminfo: memFree=1493936/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=52692 CPUtime=1749.4
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 13671 0 0 0 174916 24 0 0 25 0 1 0 30058901 53956608 12624 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 13173 12624 52 112 0 13057 0
Current children cumulated CPU time (s) 1774.99
Current children cumulated vsize (KiB) 69276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.39 s]
/proc/loadavg: 2.06 2.03 2.00 4/89 26361
/proc/meminfo: memFree=1488880/2055920 swapFree=4192812/4192956
[pid=26278] ppid=26276 vsize=16584 CPUtime=25.59
/proc/26278/stat : 26278 (sugar) S 26276 26278 25705 0 -1 4194304 2003 64006 0 2 8 1 2504 46 16 0 1 0 30056310 16982016 1514 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26278/statm: 4146 1514 373 3 0 1246 0
[pid=26296] ppid=26278 vsize=52692 CPUtime=1774.42
/proc/26296/stat : 26296 (minisat) R 26278 26278 25705 0 -1 0 13683 0 0 0 177418 24 0 0 25 0 1 0 30058901 53956608 12636 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/26296/statm: 13173 12636 52 112 0 13057 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 69276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26278 and gives childrusage.ru_utime.tv_sec=25 childrusage.ru_utime.tv_usec=129179 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=489925
CPU time returned by wait4() is 25.6191
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.41
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.72
CPU usage (%): 99.4259
Max. virtual memory (cumulated for all children) (KiB): 823088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1292
system time used= 0.489925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66095
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= 5848
involuntary context switches= 5877
runsolver used 2.41763 s user time and 5.30019 s system time
The end
Begin job on node18 on Mon Jan 29 20:03:38 UTC 2007
IDJOB= 217289
IDBENCH= 5127
IDSOLVER= 86
FILE ID= node18/217289-1170101018
PBS_JOBID= 3689491
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-4-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/217289-1170101018/solver /tmp/evaluation/217289-1170101018 /tmp/evaluation/217289-1170101018/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-217289-1170101018 -o ROOT/results/node18/solver-217289-1170101018 -C 1800 -M 900 /tmp/evaluation/217289-1170101018/solver /tmp/evaluation/217289-1170101018 /tmp/evaluation/217289-1170101018/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 655c2ff3e51b845ad55fdd644d9c23b1
RANDOM SEED= 605886634
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.236
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.236
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: 1836640 kB
Buffers: 19508 kB
Cached: 64404 kB
SwapCached: 0 kB
Active: 124736 kB
Inactive: 38844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1836640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1248 kB
Writeback: 0 kB
Mapped: 99348 kB
Slab: 40560 kB
Committed_AS: 395032 kB
PageTables: 2064 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= 66556 MiB
End job on node18 on Mon Jan 29 20:33:50 UTC 2007