0.05 c # Sugar v0-40 (/tmp/evaluation/229691-1170106153/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/229691-1170106153/unknown.xml [Mon Jan 29 22:29:13 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/229691-1170106153/unknown.xml /tmp/evaluation/229691-1170106153/sugar22803.csp [Mon Jan 29 22:29:13 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229691-1170106153/sugar-v0-40.jar -convert /tmp/evaluation/229691-1170106153/unknown.xml /tmp/evaluation/229691-1170106153/sugar22803.csp
0.25 c BEGIN convert /tmp/evaluation/229691-1170106153/unknown.xml
0.94 c END convert (0.692091 seconds)
0.99 c # CONVERT_XML END : /tmp/evaluation/229691-1170106153/sugar22803.csp 2160922 bytes (1 seconds) [Mon Jan 29 22:29:14 2007]
0.99 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.99
0.99 c # GENERATE_SAT BEGIN : /tmp/evaluation/229691-1170106153/sugar22803.bcnf [Mon Jan 29 22:29:14 2007]
0.99 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229691-1170106153/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229691-1170106153/sugar22803.map /tmp/evaluation/229691-1170106153/sugar22803.csp /tmp/evaluation/229691-1170106153/sugar22803.bcnf
1.11 c BEGIN parse /tmp/evaluation/229691-1170106153/sugar22803.csp
38.00 c END parse (36.888893 seconds)
38.00 c BEGIN simplify
38.16 c END simplify (0.161862 seconds)
38.16 c BEGIN encode /tmp/evaluation/229691-1170106153/sugar22803.bcnf
39.79 c END encode (1.630678 seconds)
39.95 c # GENERATE_SAT END : 9432 variables 83283 clauses 10862208 bytes (39 seconds) [Mon Jan 29 22:29:53 2007]
39.95 c # GENERATE_SAT CPU : 38.68 = 0.07 + 0.01 + 38.12 + 0.48
39.95
39.95 c # SOLVE_SAT BEGIN : /tmp/evaluation/229691-1170106153/sugar22803.bcnf [Mon Jan 29 22:29:53 2007]
39.95 c # CMD : /tmp/evaluation/229691-1170106153/minisat /tmp/evaluation/229691-1170106153/sugar22803.bcnf /tmp/evaluation/229691-1170106153/sugar22803.out
40.20 c ==================================[MINISAT]===================================
40.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
40.20 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
40.20 c ==============================================================================
40.20 c | 0 | 83283 2632259 | 27761 0 0 nan | 0.000 % |
40.24 c | 101 | 83285 2632259 | 30537 99 2057 20.8 | 0.000 % |
40.31 c | 251 | 83286 2632259 | 33590 248 4412 17.8 | 0.000 % |
40.40 c | 476 | 83286 2632259 | 36949 473 7431 15.7 | 0.000 % |
40.58 c | 814 | 83286 2632259 | 40644 811 13294 16.4 | 0.000 % |
40.82 c | 1321 | 83286 2632259 | 44709 1318 20279 15.4 | 0.000 % |
41.28 c | 2080 | 83286 2632259 | 49180 2077 33093 15.9 | 0.000 % |
41.91 c | 3219 | 83286 2632259 | 54098 3216 51719 16.1 | 0.000 % |
43.03 c | 4927 | 83287 2632259 | 59508 4923 78338 15.9 | 0.000 % |
44.66 c | 7491 | 83289 2632259 | 65458 7485 132787 17.7 | 0.000 % |
46.96 c | 11335 | 83289 2632259 | 72004 11329 218277 19.3 | 0.000 % |
50.81 c | 17103 | 83289 2632259 | 79205 17097 350674 20.5 | 0.000 % |
57.60 c | 25752 | 83289 2632259 | 87125 25746 557424 21.7 | 0.000 % |
69.65 c | 38728 | 83292 2632259 | 95838 38719 908398 23.5 | 0.000 % |
89.44 c | 58189 | 83294 2632259 | 105422 58178 1460630 25.1 | 0.000 % |
121.19 c | 87381 | 83295 2632259 | 115964 87369 2480445 28.4 | 0.000 % |
181.98 c | 131171 | 83303 2632259 | 127561 29191 1422636 48.7 | 0.000 % |
279.20 c | 196856 | 83308 2632259 | 140317 94871 3759010 39.6 | 0.000 % |
451.77 c | 295382 | 83321 2632259 | 154348 74149 2843578 38.3 | 0.000 % |
714.27 c | 443172 | 83332 2632259 | 169783 85504 3599301 42.1 | 0.000 % |
1109.87 c | 664855 | 83341 2632259 | 186762 157629 6453554 40.9 | 0.000 % |
1767.12 c | 997382 | 83347 2632259 | 205438 159782 6552292 41.0 | 0.000 % |
1816.89
1816.89 s UNKNOWN
1816.89 c # INTERRUPTED
1816.89 c # MAIN END : (1817 seconds) [Mon Jan 29 22:59:30 2007]
1816.89 c # MAIN CPU : 38.68 = 0.07 + 0.01 + 38.12 + 0.48
1816.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-229691-1170106153 -o ROOT/results/node20/solver-229691-1170106153 -C 1800 -M 900 /tmp/evaluation/229691-1170106153/solver /tmp/evaluation/229691-1170106153 /tmp/evaluation/229691-1170106153/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.09 2.69 2.85 5/87 22804
/proc/meminfo: memFree=1837120/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=12128 CPUtime=0
/proc/22803/stat : 22803 (sugar) R 22801 22803 22602 0 -1 4194304 504 0 0 0 0 0 0 0 20 0 1 0 30569256 12419072 223 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273966256181 0 0 4224 0 0 0 0 17 1 0 0
/proc/22803/statm: 3032 223 169 3 0 132 0
[startup+0.105576 s]
/proc/loadavg: 2.09 2.69 2.85 5/87 22804
/proc/meminfo: memFree=1837120/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30569256 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513624 s]
/proc/loadavg: 2.09 2.69 2.85 5/87 22804
/proc/meminfo: memFree=1837120/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33673 s]
/proc/loadavg: 2.09 2.69 2.85 3/96 22820
/proc/meminfo: memFree=1828088/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 808 370 3 0 531 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22813] ppid=22803 vsize=807064 CPUtime=0.32
/proc/22813/stat : 22813 (java) S 22803 22803 22602 0 -1 0 6498 0 1 0 28 4 0 0 17 0 8 0 30569356 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22813/statm: 201766 6248 1491 14 0 189044 0
[pid=22813/tid=22814] ppid=22803 vsize=807064 CPUtime=0.02
/proc/22813/task/22814/stat : 22814 (java) R 22803 22803 22602 0 -1 64 448 0 0 0 2 0 0 0 16 0 8 0 30569359 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22815] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22815/stat : 22815 (java) S 22803 22803 22602 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30569359 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22816] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22816/stat : 22816 (java) S 22803 22803 22602 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30569359 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22817] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22817/stat : 22817 (java) S 22803 22803 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569363 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22818] ppid=22803 vsize=807064 CPUtime=0.05
/proc/22813/task/22818/stat : 22818 (java) R 22803 22803 22602 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30569363 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22819] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22819/stat : 22819 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30569363 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22820] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22820/stat : 22820 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30569363 826433536 6248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 820788
[startup+2.98993 s]
/proc/loadavg: 2.09 2.69 2.85 3/96 22820
/proc/meminfo: memFree=1798456/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 808 370 3 0 531 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22813] ppid=22803 vsize=807064 CPUtime=1.97
/proc/22813/stat : 22813 (java) R 22803 22803 22602 0 -1 0 13325 0 1 0 189 8 0 0 25 0 8 0 30569356 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22813/statm: 201766 13060 1494 14 0 189044 0
[pid=22813/tid=22814] ppid=22803 vsize=807064 CPUtime=0.52
/proc/22813/task/22814/stat : 22814 (java) R 22803 22803 22602 0 -1 64 7258 0 0 0 49 3 0 0 16 0 8 0 30569359 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822833 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22815] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22815/stat : 22815 (java) S 22803 22803 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569359 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22816] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22816/stat : 22816 (java) S 22803 22803 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569359 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22817] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22817/stat : 22817 (java) S 22803 22803 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569363 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22818] ppid=22803 vsize=807064 CPUtime=0.05
/proc/22813/task/22818/stat : 22818 (java) S 22803 22803 22602 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30569363 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22819] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22819/stat : 22819 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30569363 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22820] ppid=22803 vsize=807064 CPUtime=0
/proc/22813/task/22820/stat : 22820 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30569363 826433536 13060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 820788
[startup+6.19131 s]
/proc/loadavg: 2.08 2.68 2.84 3/96 22820
/proc/meminfo: memFree=1720248/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 808 370 3 0 531 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22813] ppid=22803 vsize=807336 CPUtime=5.13
/proc/22813/stat : 22813 (java) R 22803 22803 22602 0 -1 0 32633 0 1 0 496 17 0 0 25 0 8 0 30569356 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22813/statm: 201834 32292 1506 14 0 189112 0
[pid=22813/tid=22814] ppid=22803 vsize=807336 CPUtime=1.46
/proc/22813/task/22814/stat : 22814 (java) R 22803 22803 22602 0 -1 64 26339 0 0 0 135 11 0 0 15 0 8 0 30569359 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827387 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22815] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22815/stat : 22815 (java) S 22803 22803 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569359 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22816] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22816/stat : 22816 (java) S 22803 22803 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569359 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22817] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22817/stat : 22817 (java) S 22803 22803 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569363 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22818] ppid=22803 vsize=807336 CPUtime=0.12
/proc/22813/task/22818/stat : 22818 (java) S 22803 22803 22602 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 30569363 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22819] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22819/stat : 22819 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30569363 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22820] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22820/stat : 22820 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30569363 826712064 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 821060
[startup+12.6869 s]
/proc/loadavg: 2.08 2.66 2.84 3/96 22820
/proc/meminfo: memFree=1621376/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 808 370 3 0 531 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22813] ppid=22803 vsize=807336 CPUtime=11.6
/proc/22813/stat : 22813 (java) R 22803 22803 22602 0 -1 0 54766 0 1 0 1131 29 0 0 25 0 8 0 30569356 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22813/statm: 201834 54113 1507 14 0 189112 0
[pid=22813/tid=22814] ppid=22803 vsize=807336 CPUtime=3.75
/proc/22813/task/22814/stat : 22814 (java) S 22803 22803 22602 0 -1 64 48263 0 0 0 353 22 0 0 16 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22815] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22815/stat : 22815 (java) S 22803 22803 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22816] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22816/stat : 22816 (java) S 22803 22803 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22817] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22817/stat : 22817 (java) S 22803 22803 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22818] ppid=22803 vsize=807336 CPUtime=0.15
/proc/22813/task/22818/stat : 22818 (java) S 22803 22803 22602 0 -1 64 403 0 0 0 14 1 0 0 17 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22819] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22819/stat : 22819 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22820] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22820/stat : 22820 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 821060
[startup+25.5605 s]
/proc/loadavg: 2.20 2.66 2.83 4/96 22820
/proc/meminfo: memFree=1620032/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=13724 CPUtime=0.04
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569256 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 3431 808 370 3 0 531 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22813] ppid=22803 vsize=807336 CPUtime=24.4
/proc/22813/stat : 22813 (java) R 22803 22803 22602 0 -1 0 56175 0 1 0 2406 34 0 0 25 0 8 0 30569356 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073566919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22813/statm: 201834 54113 1507 14 0 189112 0
[pid=22813/tid=22814] ppid=22803 vsize=807336 CPUtime=9.05
/proc/22813/task/22814/stat : 22814 (java) S 22803 22803 22602 0 -1 64 49261 0 0 0 880 25 0 0 16 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22815] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22815/stat : 22815 (java) S 22803 22803 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22816] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22816/stat : 22816 (java) S 22803 22803 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569359 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22817] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22817/stat : 22817 (java) S 22803 22803 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22818] ppid=22803 vsize=807336 CPUtime=0.15
/proc/22813/task/22818/stat : 22818 (java) S 22803 22803 22602 0 -1 64 403 0 0 0 14 1 0 0 17 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22819] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22819/stat : 22819 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22813/tid=22820] ppid=22803 vsize=807336 CPUtime=0
/proc/22813/task/22820/stat : 22820 (java) S 22803 22803 22602 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30569363 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 821060
[startup+51.2065 s]
/proc/loadavg: 2.19 2.62 2.81 3/89 22821
/proc/meminfo: memFree=1800824/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=16948 CPUtime=11.23
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 4900 0 0 0 1120 3 0 0 25 0 1 0 30573251 17354752 3861 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/22821/statm: 4237 3861 52 112 0 4121 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 35636
[startup+102.49 s]
/proc/loadavg: 2.16 2.54 2.78 3/89 22821
/proc/meminfo: memFree=1792440/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
################
# More data... #
################
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14565 0 0 0 119234 24 0 0 25 0 1 0 30573251 57520128 13517 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14043 13517 52 112 0 13927 0
Current children cumulated CPU time (s) 1232.09
Current children cumulated vsize (KiB) 74860
[startup+1303.49 s]
/proc/loadavg: 2.01 2.00 2.19 3/89 22887
/proc/meminfo: memFree=1709128/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56336 CPUtime=1252.11
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14623 0 0 0 125187 24 0 0 25 0 1 0 30573251 57688064 13575 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14084 13575 52 112 0 13968 0
Current children cumulated CPU time (s) 1291.62
Current children cumulated vsize (KiB) 75024
[startup+1363.49 s]
/proc/loadavg: 2.00 2.00 2.17 3/89 22887
/proc/meminfo: memFree=1705032/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56336 CPUtime=1311.53
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14627 0 0 0 131129 24 0 0 25 0 1 0 30573251 57688064 13579 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528186 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14084 13579 52 112 0 13968 0
Current children cumulated CPU time (s) 1351.04
Current children cumulated vsize (KiB) 75024
[startup+1423.49 s]
/proc/loadavg: 2.00 2.00 2.16 3/89 22887
/proc/meminfo: memFree=1704136/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56476 CPUtime=1370.95
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14645 0 0 0 137071 24 0 0 25 0 1 0 30573251 57831424 13597 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14119 13597 52 112 0 14003 0
Current children cumulated CPU time (s) 1410.46
Current children cumulated vsize (KiB) 75164
[startup+1483.5 s]
/proc/loadavg: 2.03 2.01 2.15 3/89 22887
/proc/meminfo: memFree=1703816/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56780 CPUtime=1430.38
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14707 0 0 0 143013 25 0 0 25 0 1 0 30573251 58142720 13659 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14195 13659 52 112 0 14079 0
Current children cumulated CPU time (s) 1469.89
Current children cumulated vsize (KiB) 75468
[startup+1543.5 s]
/proc/loadavg: 2.01 2.01 2.14 3/89 22887
/proc/meminfo: memFree=1703304/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56780 CPUtime=1489.78
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14709 0 0 0 148953 25 0 0 25 0 1 0 30573251 58142720 13661 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527075 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14195 13661 52 112 0 14079 0
Current children cumulated CPU time (s) 1529.29
Current children cumulated vsize (KiB) 75468
[startup+1603.6 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 22887
/proc/meminfo: memFree=1703112/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56780 CPUtime=1549.3
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14709 0 0 0 154905 25 0 0 25 0 1 0 30573251 58142720 13661 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14195 13661 52 112 0 14079 0
Current children cumulated CPU time (s) 1588.81
Current children cumulated vsize (KiB) 75468
[startup+1663.6 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 22887
/proc/meminfo: memFree=1700936/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=56780 CPUtime=1608.73
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14720 0 0 0 160847 26 0 0 25 0 1 0 30573251 58142720 13672 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527072 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14195 13672 52 112 0 14079 0
Current children cumulated CPU time (s) 1648.24
Current children cumulated vsize (KiB) 75468
[startup+1723.71 s]
/proc/loadavg: 2.05 2.01 2.11 3/89 22887
/proc/meminfo: memFree=1700360/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=57064 CPUtime=1668.23
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14791 0 0 0 166797 26 0 0 25 0 1 0 30573251 58433536 13743 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14266 13743 52 112 0 14150 0
Current children cumulated CPU time (s) 1707.74
Current children cumulated vsize (KiB) 75752
[startup+1783.81 s]
/proc/loadavg: 2.02 2.01 2.10 3/89 22887
/proc/meminfo: memFree=1699528/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=57868 CPUtime=1727.75
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14980 0 0 0 172749 26 0 0 25 0 1 0 30573251 59256832 13932 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14467 13932 52 112 0 14351 0
Current children cumulated CPU time (s) 1767.26
Current children cumulated vsize (KiB) 76556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.88 s]
/proc/loadavg: 2.01 2.00 2.10 3/89 22887
/proc/meminfo: memFree=1699464/2055920 swapFree=4192812/4192956
[pid=22803] ppid=22801 vsize=18688 CPUtime=38.72
/proc/22803/stat : 22803 (sugar) S 22801 22803 22602 0 -1 4194304 2490 60490 0 1 10 2 3812 48 16 0 1 0 30569256 19136512 1999 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22803/statm: 4672 1999 373 3 0 1772 0
[pid=22805] ppid=22803 vsize=0 CPUtime=0.79
/proc/22805/stat : 22805 (java) Z 22803 22803 22602 0 -1 1036 7930 0 1 0 74 5 0 0 18 0 1 0 30569261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22805/statm: 0 0 0 0 0 0 0
[pid=22821] ppid=22803 vsize=57868 CPUtime=1760.5
/proc/22821/stat : 22821 (minisat) R 22803 22803 22602 0 -1 0 14982 0 0 0 176024 26 0 0 25 0 1 0 30573251 59256832 13934 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22821/statm: 14467 13934 52 112 0 14351 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 76556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22803 and gives childrusage.ru_utime.tv_sec=38 childrusage.ru_utime.tv_usec=227188 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=516921
CPU time returned by wait4() is 38.7441
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): 1817.9
CPU time (s): 1800.02
CPU user time (s): 1799.2
CPU system time (s): 0.82
CPU usage (%): 99.0163
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.2272
system time used= 0.516921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63065
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= 8843
involuntary context switches= 9261
runsolver used 2.51262 s user time and 5.37518 s system time
The end
Begin job on node20 on Mon Jan 29 21:29:13 UTC 2007
IDJOB= 229691
IDBENCH= 6349
IDSOLVER= 86
FILE ID= node20/229691-1170106153
PBS_JOBID= 3689851
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-25_ext.xml
COMMAND LINE= /tmp/evaluation/229691-1170106153/solver /tmp/evaluation/229691-1170106153 /tmp/evaluation/229691-1170106153/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-229691-1170106153 -o ROOT/results/node20/solver-229691-1170106153 -C 1800 -M 900 /tmp/evaluation/229691-1170106153/solver /tmp/evaluation/229691-1170106153 /tmp/evaluation/229691-1170106153/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f7bc68ca25c5cfa4d7c359c11a8a7969
RANDOM SEED= 30710262
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.234
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.234
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: 1837536 kB
Buffers: 39788 kB
Cached: 60784 kB
SwapCached: 0 kB
Active: 113096 kB
Inactive: 59472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1837536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1248 kB
Writeback: 0 kB
Mapped: 91732 kB
Slab: 30764 kB
Committed_AS: 352508 kB
PageTables: 2084 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= 66550 MiB
End job on node20 on Mon Jan 29 21:59:31 UTC 2007