0.04 c # Sugar v0-40 (/tmp/evaluation/200154-1170094425/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/200154-1170094425/unknown.xml [Mon Jan 29 19:13:46 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/200154-1170094425/unknown.xml /tmp/evaluation/200154-1170094425/sugar17336.csp [Mon Jan 29 19:13:46 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200154-1170094425/sugar-v0-40.jar -convert /tmp/evaluation/200154-1170094425/unknown.xml /tmp/evaluation/200154-1170094425/sugar17336.csp
0.16 c BEGIN convert /tmp/evaluation/200154-1170094425/unknown.xml
0.95 c END convert (0.787807 seconds)
0.96 c # CONVERT_XML END : /tmp/evaluation/200154-1170094425/sugar17336.csp 3002857 bytes (0 seconds) [Mon Jan 29 19:13:46 2007]
0.96 c # CONVERT_XML CPU : 0.89 = 0 + 0 + 0.82 + 0.07
0.96
0.96 c # GENERATE_SAT BEGIN : /tmp/evaluation/200154-1170094425/sugar17336.bcnf [Mon Jan 29 19:13:46 2007]
0.96 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200154-1170094425/sugar-v0-40.jar -bcnf -map /tmp/evaluation/200154-1170094425/sugar17336.map /tmp/evaluation/200154-1170094425/sugar17336.csp /tmp/evaluation/200154-1170094425/sugar17336.bcnf
1.07 c BEGIN parse /tmp/evaluation/200154-1170094425/sugar17336.csp
34.48 c END parse (33.414364 seconds)
34.48 c BEGIN simplify
34.62 c END simplify (0.141012 seconds)
34.62 c BEGIN encode /tmp/evaluation/200154-1170094425/sugar17336.bcnf
35.75 c END encode (1.123595 seconds)
35.89 c # GENERATE_SAT END : 6998 variables 103856 clauses 9009416 bytes (35 seconds) [Mon Jan 29 19:14:21 2007]
35.89 c # GENERATE_SAT CPU : 0.06 = 0.05 + 0.01 + 0 + 0
35.89
35.89 c # SOLVE_SAT BEGIN : /tmp/evaluation/200154-1170094425/sugar17336.bcnf [Mon Jan 29 19:14:21 2007]
35.89 c # CMD : /tmp/evaluation/200154-1170094425/minisat /tmp/evaluation/200154-1170094425/sugar17336.bcnf /tmp/evaluation/200154-1170094425/sugar17336.out
36.10 c ==================================[MINISAT]===================================
36.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
36.10 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
36.10 c ==============================================================================
36.10 c | 0 | 103856 2148488 | 34618 0 0 nan | 0.000 % |
36.13 c | 100 | 103856 2148488 | 38079 100 10172 101.7 | 0.000 % |
36.21 c | 252 | 103856 2148488 | 41887 252 12641 50.2 | 0.000 % |
36.32 c | 478 | 103857 2148488 | 46076 477 15561 32.6 | 0.000 % |
36.50 c | 816 | 103857 2148488 | 50684 815 23096 28.3 | 0.000 % |
36.83 c | 1323 | 103857 2148488 | 55752 1322 35101 26.6 | 0.000 % |
37.32 c | 2083 | 103857 2148488 | 61327 2082 50565 24.3 | 0.000 % |
38.03 c | 3223 | 103857 2148488 | 67460 3222 67980 21.1 | 0.000 % |
39.06 c | 4931 | 103857 2148488 | 74206 4930 96127 19.5 | 0.000 % |
40.97 c | 7493 | 103857 2148488 | 81627 7492 145929 19.5 | 0.000 % |
43.69 c | 11337 | 103857 2148488 | 89790 11336 215638 19.0 | 0.000 % |
47.13 c | 17103 | 103858 2148488 | 98769 17101 342445 20.0 | 0.000 % |
54.16 c | 25753 | 103860 2148488 | 108646 25749 631910 24.5 | 0.000 % |
66.09 c | 38728 | 103863 2148488 | 119510 38721 1012756 26.2 | 0.000 % |
84.88 c | 58189 | 103868 2148488 | 131461 58177 1583404 27.2 | 0.000 % |
120.88 c | 87381 | 103872 2148488 | 144607 87365 2793438 32.0 | 0.000 % |
186.62 c | 131170 | 103874 2148488 | 159068 131152 4689029 35.8 | 0.000 % |
280.05 c | 196856 | 103880 2148488 | 174975 56257 2291616 40.7 | 0.000 % |
435.41 c | 295382 | 103883 2148488 | 192473 154780 6665815 43.1 | 0.000 % |
690.77 c | 443173 | 103892 2148488 | 211720 131246 6237137 47.5 | 0.000 % |
1128.94 c | 664856 | 103906 2148488 | 232892 164091 7472803 45.5 | 0.000 % |
1660.79 c | 997381 | 103936 2148488 | 256181 66796 1901803 28.5 | 0.000 % |
1801.30
1801.30 s UNKNOWN
1801.30 c # INTERRUPTED
1801.30 c # MAIN END : (1801 seconds) [Mon Jan 29 19:43:47 2007]
1801.30 c # MAIN CPU : 0.95 = 0.05 + 0.01 + 0.82 + 0.07
1801.30
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-200154-1170094425 -o ROOT/results/node38/solver-200154-1170094425 -C 1800 -M 900 /tmp/evaluation/200154-1170094425/solver /tmp/evaluation/200154-1170094425 /tmp/evaluation/200154-1170094425/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.37 2.47 2.60 2/74 17337
/proc/meminfo: memFree=1605432/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=12268 CPUtime=0
/proc/17336/stat : 17336 (sugar) R 17334 17336 16871 0 -1 4194304 592 0 0 0 0 0 0 0 18 0 1 0 29398378 12562432 312 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266910429459 0 0 4224 0 0 0 0 17 1 0 0
/proc/17336/statm: 3067 315 241 3 0 167 0
[startup+0.102285 s]
/proc/loadavg: 2.37 2.47 2.60 2/74 17337
/proc/meminfo: memFree=1605432/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.03
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29398378 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17336/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510328 s]
/proc/loadavg: 2.37 2.47 2.60 2/74 17337
/proc/meminfo: memFree=1605432/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.03
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29398378 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17336/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33142 s]
/proc/loadavg: 2.34 2.47 2.60 3/89 17377
/proc/meminfo: memFree=1588480/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.92
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1190 8221 0 1 3 0 82 7 15 0 1 0 29398378 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 3431 809 371 3 0 531 0
[pid=17362] ppid=17336 vsize=807064 CPUtime=0.35
/proc/17362/stat : 17362 (java) R 17336 17336 16871 0 -1 0 6510 0 1 0 32 3 0 0 17 0 8 0 29398474 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17362/statm: 201766 6260 1494 14 0 189044 0
[pid=17362/tid=17364] ppid=17336 vsize=807064 CPUtime=0.02
/proc/17362/task/17364/stat : 17364 (java) S 17336 17336 16871 0 -1 64 458 0 0 0 2 0 0 0 16 0 8 0 29398477 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17365] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17365/stat : 17365 (java) S 17336 17336 16871 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29398478 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17366] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17366/stat : 17366 (java) S 17336 17336 16871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29398478 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17370] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17370/stat : 17370 (java) S 17336 17336 16871 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29398481 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17371] ppid=17336 vsize=807064 CPUtime=0.05
/proc/17362/task/17371/stat : 17371 (java) S 17336 17336 16871 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29398481 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17372] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17372/stat : 17372 (java) S 17336 17336 16871 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29398481 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17373] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17373/stat : 17373 (java) S 17336 17336 16871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29398481 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788
[startup+2.96861 s]
/proc/loadavg: 2.34 2.47 2.60 2/76 17386
/proc/meminfo: memFree=1567272/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.92
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1190 8221 0 1 3 0 82 7 15 0 1 0 29398378 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 3431 809 371 3 0 531 0
[pid=17362] ppid=17336 vsize=807064 CPUtime=1.98
/proc/17362/stat : 17362 (java) S 17336 17336 16871 0 -1 0 13366 0 1 0 191 7 0 0 17 0 8 0 29398474 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17362/statm: 201766 13101 1494 14 0 189044 0
[pid=17362/tid=17364] ppid=17336 vsize=807064 CPUtime=0.5
/proc/17362/task/17364/stat : 17364 (java) R 17336 17336 16871 0 -1 64 7299 0 0 0 47 3 0 0 17 0 8 0 29398477 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17365] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17365/stat : 17365 (java) S 17336 17336 16871 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29398478 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17366] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17366/stat : 17366 (java) S 17336 17336 16871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29398478 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17370] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17370/stat : 17370 (java) S 17336 17336 16871 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29398481 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17371] ppid=17336 vsize=807064 CPUtime=0.05
/proc/17362/task/17371/stat : 17371 (java) S 17336 17336 16871 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29398481 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17372] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17372/stat : 17372 (java) S 17336 17336 16871 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29398481 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17373] ppid=17336 vsize=807064 CPUtime=0
/proc/17362/task/17373/stat : 17373 (java) S 17336 17336 16871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29398481 826433536 13101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.17517 s]
/proc/loadavg: 2.31 2.46 2.59 3/79 17457
/proc/meminfo: memFree=1518992/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.92
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1190 8221 0 1 3 0 82 7 15 0 1 0 29398378 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 3431 809 371 3 0 531 0
[pid=17362] ppid=17336 vsize=807340 CPUtime=5.18
/proc/17362/stat : 17362 (java) R 17336 17336 16871 0 -1 0 23530 0 1 0 506 12 0 0 18 0 8 0 29398474 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17362/statm: 201835 23235 1506 14 0 189113 0
[pid=17362/tid=17364] ppid=17336 vsize=807340 CPUtime=1.16
/proc/17362/task/17364/stat : 17364 (java) S 17336 17336 16871 0 -1 64 17299 0 0 0 109 7 0 0 15 0 8 0 29398477 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17365] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17365/stat : 17365 (java) S 17336 17336 16871 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17366] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17366/stat : 17366 (java) S 17336 17336 16871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17370] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17370/stat : 17370 (java) S 17336 17336 16871 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29398481 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17371] ppid=17336 vsize=807340 CPUtime=0.12
/proc/17362/task/17371/stat : 17371 (java) S 17336 17336 16871 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29398481 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17372] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17372/stat : 17372 (java) S 17336 17336 16871 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29398481 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17373] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17373/stat : 17373 (java) S 17336 17336 16871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29398481 826716160 23235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821064
[startup+12.6589 s]
/proc/loadavg: 2.21 2.43 2.59 4/89 17576
/proc/meminfo: memFree=1382272/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.92
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1190 8221 0 1 3 0 82 7 15 0 1 0 29398378 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 3431 809 371 3 0 531 0
[pid=17362] ppid=17336 vsize=807340 CPUtime=11.65
/proc/17362/stat : 17362 (java) S 17336 17336 16871 0 -1 0 54816 0 1 0 1139 26 0 0 16 0 8 0 29398474 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17362/statm: 201835 54111 1507 14 0 189113 0
[pid=17362/tid=17364] ppid=17336 vsize=807340 CPUtime=3.43
/proc/17362/task/17364/stat : 17364 (java) R 17336 17336 16871 0 -1 64 48362 0 0 0 323 20 0 0 16 0 8 0 29398477 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827329 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17365] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17365/stat : 17365 (java) S 17336 17336 16871 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17366] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17366/stat : 17366 (java) S 17336 17336 16871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17370] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17370/stat : 17370 (java) S 17336 17336 16871 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29398481 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17371] ppid=17336 vsize=807340 CPUtime=0.12
/proc/17362/task/17371/stat : 17371 (java) S 17336 17336 16871 0 -1 64 403 0 0 0 12 0 0 0 16 0 8 0 29398481 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17362/tid=17372] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17372/stat : 17372 (java) S 17336 17336 16871 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29398481 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17373] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17373/stat : 17373 (java) S 17336 17336 16871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29398481 826716160 54111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 821064
[startup+25.5364 s]
/proc/loadavg: 2.02 2.39 2.57 2/73 17607
/proc/meminfo: memFree=1384864/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=13724 CPUtime=0.92
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 1190 8221 0 1 3 0 82 7 15 0 1 0 29398378 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 3431 809 371 3 0 531 0
[pid=17362] ppid=17336 vsize=807340 CPUtime=24.52
/proc/17362/stat : 17362 (java) R 17336 17336 16871 0 -1 0 61687 0 1 0 2418 34 0 0 16 0 8 0 29398474 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17362/statm: 201835 58936 1507 14 0 189113 0
[pid=17362/tid=17364] ppid=17336 vsize=807340 CPUtime=9.07
/proc/17362/task/17364/stat : 17364 (java) S 17336 17336 16871 0 -1 64 54838 0 0 0 881 26 0 0 16 0 8 0 29398477 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17365] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17365/stat : 17365 (java) S 17336 17336 16871 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17366] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17366/stat : 17366 (java) S 17336 17336 16871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29398478 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17370] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17370/stat : 17370 (java) S 17336 17336 16871 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29398481 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17371] ppid=17336 vsize=807340 CPUtime=0.13
/proc/17362/task/17371/stat : 17371 (java) S 17336 17336 16871 0 -1 64 404 0 0 0 13 0 0 0 16 0 8 0 29398481 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17372] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17372/stat : 17372 (java) S 17336 17336 16871 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29398481 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17362/tid=17373] ppid=17336 vsize=807340 CPUtime=0
/proc/17362/task/17373/stat : 17373 (java) S 17336 17336 16871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29398481 826716160 58936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 821064
[startup+51.2203 s]
/proc/loadavg: 1.62 2.25 2.52 2/67 17608
/proc/meminfo: memFree=1582560/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=16264 CPUtime=15.31
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 4726 0 0 0 1528 3 0 0 25 0 1 0 29401967 16654336 3690 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 4066 3690 52 112 0 3950 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 33116
[startup+102.513 s]
/proc/loadavg: 1.27 2.06 2.43 2/67 17608
/proc/meminfo: memFree=1574560/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=24764 CPUtime=66.57
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 6829 0 0 0 6652 5 0 0 25 0 1 0 29401967 25358336 5793 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 6191 5793 52 112 0 6075 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 41616
[startup+162.526 s]
/proc/loadavg: 1.10 1.86 2.34 2/67 17608
/proc/meminfo: memFree=1565984/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
################
# More data... #
################
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17051 0 0 0 120596 19 0 0 25 0 1 0 29401967 68026368 16015 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16608 16015 52 112 0 16492 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 83284
[startup+1302.81 s]
/proc/loadavg: 1.00 1.01 1.36 2/67 17608
/proc/meminfo: memFree=1533280/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66432 CPUtime=1266.13
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17065 0 0 0 126594 19 0 0 25 0 1 0 29401967 68026368 16029 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527223 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16608 16029 52 112 0 16492 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 83284
[startup+1362.82 s]
/proc/loadavg: 1.00 1.00 1.34 2/67 17610
/proc/meminfo: memFree=1533152/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66432 CPUtime=1326.1
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17065 0 0 0 132591 19 0 0 25 0 1 0 29401967 68026368 16029 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528404 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16608 16029 52 112 0 16492 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 83284
[startup+1422.84 s]
/proc/loadavg: 1.00 1.00 1.31 2/67 17610
/proc/meminfo: memFree=1533152/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66432 CPUtime=1386.08
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17065 0 0 0 138589 19 0 0 25 0 1 0 29401967 68026368 16029 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16608 16029 52 112 0 16492 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 83284
[startup+1482.85 s]
/proc/loadavg: 1.00 1.00 1.29 2/67 17610
/proc/meminfo: memFree=1533088/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66676 CPUtime=1446.06
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17114 0 0 0 144587 19 0 0 25 0 1 0 29401967 68276224 16078 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16669 16078 52 112 0 16553 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 83528
[startup+1542.88 s]
/proc/loadavg: 1.00 1.00 1.27 2/67 17610
/proc/meminfo: memFree=1532960/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1506.04
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17149 0 0 0 150585 19 0 0 25 0 1 0 29401967 68444160 16113 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16113 52 112 0 16594 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 83692
[startup+1602.89 s]
/proc/loadavg: 1.00 1.00 1.25 2/67 17610
/proc/meminfo: memFree=1532896/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1566.02
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17155 0 0 0 156583 19 0 0 25 0 1 0 29401967 68444160 16119 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16119 52 112 0 16594 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 83692
[startup+1662.9 s]
/proc/loadavg: 1.00 1.00 1.23 2/67 17610
/proc/meminfo: memFree=1532896/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1626
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17156 0 0 0 162581 19 0 0 25 0 1 0 29401967 68444160 16120 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16120 52 112 0 16594 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 83692
[startup+1722.92 s]
/proc/loadavg: 1.00 1.00 1.22 2/67 17610
/proc/meminfo: memFree=1532832/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1685.98
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17156 0 0 0 168579 19 0 0 25 0 1 0 29401967 68444160 16120 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16120 52 112 0 16594 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 83692
[startup+1782.93 s]
/proc/loadavg: 1.00 1.00 1.20 2/67 17610
/proc/meminfo: memFree=1532832/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1745.96
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17156 0 0 0 174577 19 0 0 25 0 1 0 29401967 68444160 16120 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16120 52 112 0 16594 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 83692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/67 17610
/proc/meminfo: memFree=1532768/2055920 swapFree=4192956/4192956
[pid=17336] ppid=17334 vsize=16852 CPUtime=0.98
/proc/17336/stat : 17336 (sugar) S 17334 17336 16871 0 -1 4194304 2065 8221 0 1 8 1 82 7 16 0 1 0 29398378 17256448 1579 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17336/statm: 4213 1579 373 3 0 1313 0
[pid=17362] ppid=17336 vsize=0 CPUtime=34.77
/proc/17362/stat : 17362 (java) Z 17336 17336 16871 0 -1 1036 74125 0 1 0 3430 47 0 0 16 0 1 0 29398474 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17362/statm: 0 0 0 0 0 0 0
[pid=17608] ppid=17336 vsize=66840 CPUtime=1764.32
/proc/17608/stat : 17608 (minisat) R 17336 17336 16871 0 -1 0 17156 0 0 0 176413 19 0 0 25 0 1 0 29401967 68444160 16120 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/17608/statm: 16710 16120 52 112 0 16594 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 83692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17336 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=914860 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=95985
CPU time returned by wait4() is 1.01084
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): 1802.32
CPU time (s): 1800.08
CPU user time (s): 1799.33
CPU system time (s): 0.75
CPU usage (%): 99.8758
Max. virtual memory (cumulated for all children) (KiB): 822068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.91486
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10371
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 563
involuntary context switches= 480
runsolver used 1.90371 s user time and 4.51831 s system time
The end
Begin job on node38 on Mon Jan 29 18:13:45 UTC 2007
IDJOB= 200154
IDBENCH= 3691
IDSOLVER= 86
FILE ID= node38/200154-1170094425
PBS_JOBID= 3689620
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-2-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/200154-1170094425/solver /tmp/evaluation/200154-1170094425 /tmp/evaluation/200154-1170094425/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-200154-1170094425 -o ROOT/results/node38/solver-200154-1170094425 -C 1800 -M 900 /tmp/evaluation/200154-1170094425/solver /tmp/evaluation/200154-1170094425 /tmp/evaluation/200154-1170094425/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= cb7c842f84cd39cfc114262beb9913c4
RANDOM SEED= 998990240
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: 1606240 kB
Buffers: 48652 kB
Cached: 307532 kB
SwapCached: 0 kB
Active: 166836 kB
Inactive: 212768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1606240 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 34196 kB
Slab: 55432 kB
Committed_AS: 93456 kB
PageTables: 1860 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= 66563 MiB
End job on node38 on Mon Jan 29 18:43:48 UTC 2007