0.05 c # Sugar v0-40 (/tmp/evaluation/238654-1170108632/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/238654-1170108632/unknown.xml [Mon Jan 29 23:10:33 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/238654-1170108632/unknown.xml /tmp/evaluation/238654-1170108632/sugar25765.csp [Mon Jan 29 23:10:33 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238654-1170108632/sugar-v0-40.jar -convert /tmp/evaluation/238654-1170108632/unknown.xml /tmp/evaluation/238654-1170108632/sugar25765.csp
0.16 c BEGIN convert /tmp/evaluation/238654-1170108632/unknown.xml
0.75 c END convert (0.586092 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/238654-1170108632/sugar25765.csp 1865997 bytes (1 seconds) [Mon Jan 29 23:10:34 2007]
0.81 c # CONVERT_XML CPU : 0.69 = 0 + 0 + 0.64 + 0.05
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/238654-1170108632/sugar25765.bcnf [Mon Jan 29 23:10:34 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238654-1170108632/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238654-1170108632/sugar25765.map /tmp/evaluation/238654-1170108632/sugar25765.csp /tmp/evaluation/238654-1170108632/sugar25765.bcnf
0.93 c BEGIN parse /tmp/evaluation/238654-1170108632/sugar25765.csp
119.59 c END parse (118.657919 seconds)
119.59 c BEGIN simplify
120.02 c END simplify (0.431754 seconds)
120.02 c BEGIN encode /tmp/evaluation/238654-1170108632/sugar25765.bcnf
122.62 c END encode (2.597106 seconds)
122.85 c # GENERATE_SAT END : 18424 variables 91071 clauses 26422124 bytes (122 seconds) [Mon Jan 29 23:12:36 2007]
122.85 c # GENERATE_SAT CPU : 121.35 = 0.14 + 0.02 + 120.15 + 1.04
122.85
122.86 c # SOLVE_SAT BEGIN : /tmp/evaluation/238654-1170108632/sugar25765.bcnf [Mon Jan 29 23:12:36 2007]
122.86 c # CMD : /tmp/evaluation/238654-1170108632/minisat /tmp/evaluation/238654-1170108632/sugar25765.bcnf /tmp/evaluation/238654-1170108632/sugar25765.out
123.46 c ==================================[MINISAT]===================================
123.46 c | Conflicts | ORIGINAL | LEARNT | Progress |
123.46 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
123.46 c ==============================================================================
123.46 c | 0 | 88578 6318664 | 29526 0 0 nan | 0.000 % |
123.56 c | 100 | 88589 6318664 | 32478 82 709 8.6 | 0.776 % |
123.65 c | 250 | 88609 6318664 | 35726 210 1777 8.5 | 0.787 % |
123.69 c | 480 | 88619 6318664 | 39299 428 3789 8.9 | 0.836 % |
123.78 c | 817 | 88631 6318664 | 43229 753 7512 10.0 | 0.836 % |
123.86 c | 1323 | 88649 6318664 | 47551 1241 13488 10.9 | 0.836 % |
123.96 c | 2082 | 88663 6318664 | 52307 1986 23778 12.0 | 0.836 % |
124.14 c | 3221 | 88675 6318664 | 57537 3113 41409 13.3 | 0.836 % |
124.27 c | 4929 | 88683 6318664 | 63291 4813 82979 17.2 | 0.836 % |
124.63 c | 7491 | 88688 6318664 | 69620 7369 165548 22.5 | 0.874 % |
125.22 c | 11335 | 88694 6318664 | 76582 11207 371571 33.2 | 0.874 % |
126.16 c | 17102 | 88700 6318664 | 84241 16968 670470 39.5 | 0.874 % |
128.12 c | 25751 | 88700 6318664 | 92665 25617 1344351 52.5 | 0.874 % |
132.53 c | 38726 | 88707 6318664 | 101931 38585 2547062 66.0 | 0.874 % |
140.29 c | 58188 | 88713 6318664 | 112124 58041 4208107 72.5 | 0.874 % |
155.78 c | 87380 | 87573 6302239 | 123337 87206 6661063 76.4 | 0.874 % |
183.75 c | 131170 | 87577 6302239 | 135671 23799 1288306 54.1 | 0.874 % |
213.78 c | 196854 | 86863 6299945 | 149238 89472 7477488 83.6 | 0.917 % |
267.31 c | 295381 | 86871 6299945 | 164162 50956 4337817 85.1 | 0.917 % |
381.03 c | 443171 | 86152 6297864 | 180578 50425 3969164 78.7 | 0.917 % |
533.58 c | 664854 | 86166 6297847 | 198636 106816 9881431 92.5 | 0.950 % |
824.88 c | 997379 | 86199 6297847 | 218499 80767 3770861 46.7 | 0.950 % |
1289.16 c | 1496168 | 81081 6270214 | 240349 190581 13860295 72.7 | 1.020 % |
1805.75
1805.75 s UNKNOWN
1805.75 c # INTERRUPTED
1805.75 c # MAIN END : (1806 seconds) [Mon Jan 29 23:40:39 2007]
1805.75 c # MAIN CPU : 122.05 = 0.15 + 0.02 + 120.79 + 1.09
1805.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-238654-1170108632 -o ROOT/results/node21/solver-238654-1170108632 -C 1800 -M 900 /tmp/evaluation/238654-1170108632/solver /tmp/evaluation/238654-1170108632 /tmp/evaluation/238654-1170108632/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.50 3.53 2.96 3/89 25766
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=780 CPUtime=0
/proc/25765/stat : 25765 (solver) R 25763 25765 25700 0 -1 4194304 18 0 0 0 0 0 0 0 21 0 1 0 30817247 798720 3 18446744073709551615 0 0 548682070019 18446744073709551615 221236489511 0 0 4096 0 0 0 0 17 1 0 0
/proc/25765/statm: 195 3 0 0 0 6 0
[startup+0.102602 s]
/proc/loadavg: 2.50 3.53 2.96 3/89 25766
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.04
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 30817247 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510649 s]
/proc/loadavg: 2.50 3.53 2.96 3/89 25766
/proc/meminfo: memFree=1879392/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.04
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30817247 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33774 s]
/proc/loadavg: 2.46 3.51 2.95 4/97 25782
/proc/meminfo: memFree=1857760/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807064 CPUtime=0.5
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 7336 0 1 0 46 4 0 0 22 0 8 0 30817328 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073487975 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201766 7085 1494 14 0 189044 0
[pid=25775/tid=25776] ppid=25765 vsize=807064 CPUtime=0.05
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 1283 0 0 0 5 0 0 0 16 0 8 0 30817332 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807064 CPUtime=0.05
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30817336 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+2.98392 s]
/proc/loadavg: 2.46 3.51 2.95 3/97 25782
/proc/meminfo: memFree=1837216/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807064 CPUtime=2.14
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 13850 0 1 0 207 7 0 0 25 0 8 0 30817328 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201766 13584 1494 14 0 189044 0
[pid=25775/tid=25776] ppid=25765 vsize=807064 CPUtime=0.54
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 7782 0 0 0 51 3 0 0 16 0 8 0 30817332 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807064 CPUtime=0.05
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30817336 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826433536 13584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 820788
[startup+6.18527 s]
/proc/loadavg: 2.50 3.50 2.95 4/97 25782
/proc/meminfo: memFree=1742448/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807332 CPUtime=5.32
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 40002 0 1 0 513 19 0 0 25 0 8 0 30817328 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201833 39625 1506 14 0 189111 0
[pid=25775/tid=25776] ppid=25765 vsize=807332 CPUtime=1.66
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 33663 0 0 0 152 14 0 0 16 0 8 0 30817332 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807332 CPUtime=0.13
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30817336 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826707968 39625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821056
[startup+12.683 s]
/proc/loadavg: 2.54 3.49 2.95 4/97 25782
/proc/meminfo: memFree=1662896/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807332 CPUtime=11.78
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 55080 0 2 0 1149 29 0 0 25 0 8 0 30817328 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201833 54121 1507 14 0 189111 0
[pid=25775/tid=25776] ppid=25765 vsize=807332 CPUtime=4.4
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 48486 0 1 0 418 22 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807332 CPUtime=0.14
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 821056
[startup+25.5404 s]
/proc/loadavg: 2.50 3.43 2.94 4/97 25782
/proc/meminfo: memFree=1662448/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807332 CPUtime=24.56
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 56475 0 2 0 2421 35 0 0 25 0 8 0 30817328 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201833 54121 1507 14 0 189111 0
[pid=25775/tid=25776] ppid=25765 vsize=807332 CPUtime=9.74
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 49406 0 1 0 947 27 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807332 CPUtime=0.14
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 821056
[startup+51.2312 s]
/proc/loadavg: 2.54 3.36 2.93 3/97 25782
/proc/meminfo: memFree=1661424/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807332 CPUtime=50.11
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 58628 0 2 0 4964 47 0 0 25 0 8 0 30817328 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201833 54121 1507 14 0 189111 0
[pid=25775/tid=25776] ppid=25765 vsize=807332 CPUtime=21.02
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 25700 0 -1 64 50620 0 1 0 2068 34 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 25700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 25700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30817332 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 25700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807332 CPUtime=0.14
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 25700 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 25700 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807332 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 25700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30817336 826707968 54121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 821056
[startup+102.463 s]
/proc/loadavg: 2.70 3.28 2.92 4/97 25782
/proc/meminfo: memFree=1546032/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.73
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 1190 7338 0 1 3 1 64 5 15 0 1 0 30817247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807332 CPUtime=101.06
/proc/25775/stat : 25775 (java) R 25765 25765 25700 0 -1 0 91813 0 2 0 10027 79 0 0 25 0 8 0 30817328 826707968 82146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201833 82146 1507 14 0 189111 0
[pid=25775/tid=25776] ppid=25765 vsize=807332 CPUtime=44.32
################
# More data... #
################
/proc/loadavg: 2.00 2.05 2.29 3/90 25783
/proc/meminfo: memFree=1705384/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.08
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 17 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=996.29
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29735 0 0 0 99593 36 0 0 25 0 1 0 30829533 119599104 28696 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25783/statm: 29199 28696 52 112 0 29083 0
Current children cumulated CPU time (s) 1118.37
Current children cumulated vsize (KiB) 140596
[startup+1183.98 s]
/proc/loadavg: 1.43 1.88 2.22 2/79 25797
/proc/meminfo: memFree=1741136/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.08
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 17 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1056.33
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29735 0 0 0 105596 37 0 0 25 0 1 0 30829533 119599104 28696 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28696 52 112 0 29083 0
Current children cumulated CPU time (s) 1178.41
Current children cumulated vsize (KiB) 140596
[startup+1244.06 s]
/proc/loadavg: 1.30 1.75 2.15 2/79 25797
/proc/meminfo: memFree=1741200/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.08
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 17 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1116.39
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29735 0 0 0 111602 37 0 0 25 0 1 0 30829533 119599104 28696 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28696 52 112 0 29083 0
Current children cumulated CPU time (s) 1238.47
Current children cumulated vsize (KiB) 140596
[startup+1304.15 s]
/proc/loadavg: 1.11 1.61 2.08 2/79 25797
/proc/meminfo: memFree=1741136/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1176.46
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29735 0 0 0 117609 37 0 0 25 0 1 0 30829533 119599104 28696 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28696 52 112 0 29083 0
Current children cumulated CPU time (s) 1298.55
Current children cumulated vsize (KiB) 140596
[startup+1364.23 s]
/proc/loadavg: 1.04 1.50 2.01 2/79 25797
/proc/meminfo: memFree=1741008/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1236.52
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 123615 37 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527281 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1358.61
Current children cumulated vsize (KiB) 140596
[startup+1424.31 s]
/proc/loadavg: 1.01 1.40 1.94 2/79 25797
/proc/meminfo: memFree=1740880/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1296.59
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 129622 37 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1418.68
Current children cumulated vsize (KiB) 140596
[startup+1484.4 s]
/proc/loadavg: 1.00 1.33 1.88 2/79 25797
/proc/meminfo: memFree=1740880/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1356.67
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 135629 38 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1478.76
Current children cumulated vsize (KiB) 140596
[startup+1544.49 s]
/proc/loadavg: 1.00 1.27 1.82 2/79 25799
/proc/meminfo: memFree=1740240/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1416.74
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 141636 38 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1538.83
Current children cumulated vsize (KiB) 140596
[startup+1604.57 s]
/proc/loadavg: 1.00 1.22 1.77 2/79 25799
/proc/meminfo: memFree=1740240/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1476.8
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 147642 38 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525947 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1598.89
Current children cumulated vsize (KiB) 140596
[startup+1664.66 s]
/proc/loadavg: 1.00 1.17 1.72 2/79 25799
/proc/meminfo: memFree=1740240/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=116796 CPUtime=1536.88
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29756 0 0 0 153650 38 0 0 25 0 1 0 30829533 119599104 28717 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29199 28717 52 112 0 29083 0
Current children cumulated CPU time (s) 1658.97
Current children cumulated vsize (KiB) 140596
[startup+1724.74 s]
/proc/loadavg: 1.00 1.14 1.67 2/79 25799
/proc/meminfo: memFree=1740112/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=117040 CPUtime=1596.95
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29806 0 0 0 159657 38 0 0 25 0 1 0 30829533 119848960 28767 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29260 28767 52 112 0 29144 0
Current children cumulated CPU time (s) 1719.04
Current children cumulated vsize (KiB) 140840
[startup+1784.83 s]
/proc/loadavg: 1.00 1.11 1.62 2/79 25799
/proc/meminfo: memFree=1739984/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=117040 CPUtime=1657.01
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29815 0 0 0 165663 38 0 0 25 0 1 0 30829533 119848960 28776 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29260 28776 52 112 0 29144 0
Current children cumulated CPU time (s) 1779.1
Current children cumulated vsize (KiB) 140840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.74 s]
/proc/loadavg: 1.00 1.10 1.61 2/79 25799
/proc/meminfo: memFree=1739984/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=23800 CPUtime=122.09
/proc/25765/stat : 25765 (sugar) S 25763 25765 25700 0 -1 4194304 3690 111939 0 3 18 3 12079 109 16 0 1 0 30817247 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 5950 3170 373 3 0 3050 0
[pid=25783] ppid=25765 vsize=117040 CPUtime=1677.93
/proc/25783/stat : 25783 (minisat) R 25765 25765 25700 0 -1 0 29816 0 0 0 167755 38 0 0 25 0 1 0 30829533 119848960 28777 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 29260 28777 52 112 0 29144 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 140840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25765 and gives childrusage.ru_utime.tv_sec=120 childrusage.ru_utime.tv_usec=979608 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=150825
CPU time returned by wait4() is 122.13
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.78
CPU time (s): 1800.04
CPU user time (s): 1798.52
CPU system time (s): 1.52
CPU usage (%): 99.6272
Max. virtual memory (cumulated for all children) (KiB): 822060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.98
system time used= 1.15082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115715
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28502
involuntary context switches= 28296
runsolver used 2.05369 s user time and 5.43517 s system time
The end
Begin job on node21 on Mon Jan 29 22:10:33 UTC 2007
IDJOB= 238654
IDBENCH= 7013
IDSOLVER= 86
FILE ID= node21/238654-1170108632
PBS_JOBID= 3689962
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-4_ext.xml
COMMAND LINE= /tmp/evaluation/238654-1170108632/solver /tmp/evaluation/238654-1170108632 /tmp/evaluation/238654-1170108632/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-238654-1170108632 -o ROOT/results/node21/solver-238654-1170108632 -C 1800 -M 900 /tmp/evaluation/238654-1170108632/solver /tmp/evaluation/238654-1170108632 /tmp/evaluation/238654-1170108632/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 95a5ef5cda51a9050b5581b33f8a5de6
RANDOM SEED= 686156748
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.245
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.245
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: 1879808 kB
Buffers: 10684 kB
Cached: 51128 kB
SwapCached: 0 kB
Active: 106336 kB
Inactive: 23800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1879808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3884 kB
Writeback: 0 kB
Mapped: 87496 kB
Slab: 30928 kB
Committed_AS: 562468 kB
PageTables: 2040 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= 66564 MiB
End job on node21 on Mon Jan 29 22:40:40 UTC 2007