0.05 c # Sugar v0-40 (/tmp/evaluation/238749-1170108719/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/238749-1170108719/unknown.xml [Mon Jan 29 23:11:59 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/238749-1170108719/unknown.xml /tmp/evaluation/238749-1170108719/sugar29119.csp [Mon Jan 29 23:11:59 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238749-1170108719/sugar-v0-40.jar -convert /tmp/evaluation/238749-1170108719/unknown.xml /tmp/evaluation/238749-1170108719/sugar29119.csp
0.17 c BEGIN convert /tmp/evaluation/238749-1170108719/unknown.xml
0.77 c END convert (0.601869 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/238749-1170108719/sugar29119.csp 1865997 bytes (1 seconds) [Mon Jan 29 23:12:00 2007]
0.81 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/238749-1170108719/sugar29119.bcnf [Mon Jan 29 23:12:00 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/238749-1170108719/sugar-v0-40.jar -bcnf -map /tmp/evaluation/238749-1170108719/sugar29119.map /tmp/evaluation/238749-1170108719/sugar29119.csp /tmp/evaluation/238749-1170108719/sugar29119.bcnf
0.93 c BEGIN parse /tmp/evaluation/238749-1170108719/sugar29119.csp
114.15 c END parse (113.226287 seconds)
114.15 c BEGIN simplify
114.57 c END simplify (0.41494 seconds)
114.57 c BEGIN encode /tmp/evaluation/238749-1170108719/sugar29119.bcnf
117.18 c END encode (2.610996 seconds)
117.46 c # GENERATE_SAT END : 18424 variables 91071 clauses 26422124 bytes (117 seconds) [Mon Jan 29 23:13:57 2007]
117.46 c # GENERATE_SAT CPU : 115.74 = 0.16 + 0.01 + 114.43 + 1.14
117.46
117.46 c # SOLVE_SAT BEGIN : /tmp/evaluation/238749-1170108719/sugar29119.bcnf [Mon Jan 29 23:13:57 2007]
117.46 c # CMD : /tmp/evaluation/238749-1170108719/minisat /tmp/evaluation/238749-1170108719/sugar29119.bcnf /tmp/evaluation/238749-1170108719/sugar29119.out
118.06 c ==================================[MINISAT]===================================
118.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
118.06 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
118.06 c ==============================================================================
118.06 c | 0 | 88578 6318469 | 29526 0 0 nan | 0.000 % |
118.12 c | 100 | 88583 6318469 | 32478 95 9823 103.4 | 0.456 % |
118.15 c | 250 | 88595 6318469 | 35726 232 11029 47.5 | 0.651 % |
118.20 c | 475 | 88604 6318469 | 39299 447 13323 29.8 | 0.689 % |
118.28 c | 813 | 88624 6318469 | 43229 763 16067 21.1 | 0.733 % |
118.41 c | 1319 | 88648 6318469 | 47551 1244 21308 17.1 | 0.765 % |
118.52 c | 2078 | 88666 6318469 | 52307 1985 30896 15.6 | 0.765 % |
118.70 c | 3217 | 88688 6318469 | 57537 3101 45428 14.6 | 0.798 % |
118.94 c | 4925 | 88698 6318469 | 63291 4799 75248 15.7 | 0.798 % |
119.30 c | 7487 | 88702 6318469 | 69620 7357 184499 25.1 | 0.798 % |
119.93 c | 11333 | 88710 6318469 | 76582 11195 321342 28.7 | 0.798 % |
120.98 c | 17099 | 88718 6318469 | 84241 16953 560663 33.1 | 0.798 % |
122.99 c | 25748 | 88730 6318469 | 92665 25590 955836 37.4 | 0.798 % |
126.85 c | 38722 | 88735 6318469 | 101931 38559 1823521 47.3 | 0.798 % |
135.27 c | 58184 | 88656 6317895 | 112124 58002 2771762 47.8 | 0.798 % |
150.10 c | 87377 | 88660 6317895 | 123337 87191 4334399 49.7 | 0.798 % |
179.73 c | 131168 | 88668 6317895 | 135671 25844 1153378 44.6 | 0.798 % |
213.07 c | 196852 | 88675 6317895 | 149238 91521 5400006 59.0 | 0.798 % |
278.13 c | 295379 | 87970 6315563 | 164162 59506 3366817 56.6 | 0.885 % |
372.37 c | 443168 | 87970 6315563 | 180578 57308 6064894 105.8 | 0.885 % |
508.86 c | 664851 | 76410 6270178 | 198636 112556 8003865 71.1 | 0.896 % |
778.89 c | 997376 | 71394 6242411 | 218499 92507 4066160 44.0 | 1.075 % |
1244.39 c | 1496164 | 66257 6202944 | 240349 200297 5531322 27.6 | 1.086 % |
1809.59
1809.59 s UNKNOWN
1809.59 c # INTERRUPTED
1809.59 c # MAIN END : (1810 seconds) [Mon Jan 29 23:42:09 2007]
1809.59 c # MAIN CPU : 115.74 = 0.16 + 0.01 + 114.43 + 1.14
1809.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-238749-1170108719 -o ROOT/results/node5/solver-238749-1170108719 -C 1800 -M 900 /tmp/evaluation/238749-1170108719/solver /tmp/evaluation/238749-1170108719 /tmp/evaluation/238749-1170108719/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 2.90 3.08 6/94 29120
/proc/meminfo: memFree=858072/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=18540 CPUtime=0
/proc/29119/stat : 29119 (runsolver) R 29117 28981 28981 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 30826730 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 226922377231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29119/statm: 4635 277 242 17 0 2626 0
[startup+0.108344 s]
/proc/loadavg: 2.50 2.90 3.08 6/94 29120
/proc/meminfo: memFree=858072/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30826730 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51639 s]
/proc/loadavg: 2.50 2.90 3.08 6/94 29120
/proc/meminfo: memFree=858072/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33948 s]
/proc/loadavg: 2.50 2.90 3.08 4/103 29136
/proc/meminfo: memFree=831504/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807064 CPUtime=0.51
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 7336 0 1 0 48 3 0 0 17 0 8 0 30826811 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201766 7085 1494 14 0 189044 0
[pid=29129/tid=29130] ppid=29119 vsize=807064 CPUtime=0.05
/proc/29129/task/29130/stat : 29130 (java) S 29119 29119 28981 0 -1 64 1284 0 0 0 5 0 0 0 16 0 8 0 30826814 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807064 CPUtime=0.05
/proc/29129/task/29134/stat : 29134 (java) R 29119 29119 28981 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30826818 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29135/stat : 29135 (java) S 29119 29119 28981 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30826818 826433536 7085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29119 29119 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30826818 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.25
Current children cumulated vsize (KiB) 820788
[startup+2.99268 s]
/proc/loadavg: 2.54 2.90 3.08 3/103 29136
/proc/meminfo: memFree=807184/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807064 CPUtime=2.15
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 13834 0 1 0 209 6 0 0 25 0 8 0 30826811 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201766 13568 1494 14 0 189044 0
[pid=29129/tid=29130] ppid=29119 vsize=807064 CPUtime=0.54
/proc/29129/task/29130/stat : 29130 (java) S 29119 29119 28981 0 -1 64 7767 0 0 0 52 2 0 0 16 0 8 0 30826814 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807064 CPUtime=0.05
/proc/29129/task/29134/stat : 29134 (java) S 29119 29119 28981 0 -1 64 292 0 0 0 5 0 0 0 18 0 8 0 30826818 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29135/stat : 29135 (java) S 29119 29119 28981 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30826818 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29119 vsize=807064 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29119 29119 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30826818 826433536 13568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 820788
[startup+6.20803 s]
/proc/loadavg: 2.54 2.90 3.08 3/103 29136
/proc/meminfo: memFree=697616/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807340 CPUtime=5.33
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 40131 0 1 0 514 19 0 0 25 0 8 0 30826811 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201835 39755 1506 14 0 189113 0
[pid=29129/tid=29130] ppid=29119 vsize=807340 CPUtime=1.68
/proc/29129/task/29130/stat : 29130 (java) R 29119 29119 28981 0 -1 64 33795 0 0 0 154 14 0 0 15 0 8 0 30826814 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807340 CPUtime=0.13
/proc/29129/task/29134/stat : 29134 (java) S 29119 29119 28981 0 -1 64 397 0 0 0 13 0 0 0 16 0 8 0 30826818 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29135/stat : 29135 (java) S 29119 29119 28981 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30826818 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29119 29119 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30826818 826716160 39755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 821064
[startup+12.6138 s]
/proc/loadavg: 2.62 2.91 3.08 3/103 29136
/proc/meminfo: memFree=593232/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807340 CPUtime=11.66
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 55289 0 2 0 1137 29 0 0 25 0 8 0 30826811 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201835 54120 1507 14 0 189113 0
[pid=29129/tid=29130] ppid=29119 vsize=807340 CPUtime=4.35
/proc/29129/task/29130/stat : 29130 (java) S 29119 29119 28981 0 -1 64 48697 0 1 0 413 22 0 0 16 0 8 0 30826814 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807340 CPUtime=0.13
/proc/29129/task/29134/stat : 29134 (java) S 29119 29119 28981 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29135/stat : 29135 (java) S 29119 29119 28981 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29119 29119 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 821064
[startup+25.4442 s]
/proc/loadavg: 2.68 2.91 3.08 5/103 29136
/proc/meminfo: memFree=542992/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807340 CPUtime=24.32
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 56401 0 2 0 2397 35 0 0 25 0 8 0 30826811 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201835 54120 1507 14 0 189113 0
[pid=29129/tid=29130] ppid=29119 vsize=807340 CPUtime=9.84
/proc/29129/task/29130/stat : 29130 (java) R 29119 29119 28981 0 -1 64 49295 0 1 0 958 26 0 0 15 0 8 0 30826814 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216478 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807340 CPUtime=0.13
/proc/29129/task/29134/stat : 29134 (java) S 29119 29119 28981 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29135/stat : 29135 (java) S 29119 29119 28981 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) R 29119 29119 28981 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 821064
[startup+51.0789 s]
/proc/loadavg: 2.51 2.85 3.05 3/103 29136
/proc/meminfo: memFree=445328/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=13724 CPUtime=0.04
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30826730 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 3431 808 370 3 0 531 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29129] ppid=29119 vsize=807340 CPUtime=49.81
/proc/29129/stat : 29129 (java) R 29119 29119 28981 0 -1 0 58841 0 2 0 4930 51 0 0 25 0 8 0 30826811 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 201835 54120 1507 14 0 189113 0
[pid=29129/tid=29130] ppid=29119 vsize=807340 CPUtime=21.04
/proc/29129/task/29130/stat : 29130 (java) R 29119 29119 28981 0 -1 64 50775 0 1 0 2069 35 0 0 15 0 8 0 30826814 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152891720 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29131] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29131/stat : 29131 (java) S 29119 29119 28981 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29119 29119 28981 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30826815 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29119 vsize=807340 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29119 29119 28981 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30826818 826716160 54120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29119 vsize=807340 CPUtime=0.13
################
# More data... #
################
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26799 0 0 0 111863 286 0 0 25 0 1 0 30838476 107651072 25761 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29137/statm: 26282 25761 52 112 0 26166 0
Current children cumulated CPU time (s) 1237.97
Current children cumulated vsize (KiB) 128928
[startup+1303.35 s]
/proc/loadavg: 3.02 3.17 2.88 3/96 29296
/proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1181.13
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26817 0 0 0 117803 310 0 0 25 0 1 0 30838476 107651072 25779 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29137/statm: 26282 25779 52 112 0 26166 0
Current children cumulated CPU time (s) 1297.61
Current children cumulated vsize (KiB) 128928
[startup+1363.4 s]
/proc/loadavg: 2.97 3.13 2.88 3/96 29314
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1240.79
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26820 0 0 0 123745 334 0 0 25 0 1 0 30838476 107651072 25782 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29137/statm: 26282 25782 52 112 0 26166 0
Current children cumulated CPU time (s) 1357.27
Current children cumulated vsize (KiB) 128928
[startup+1423.43 s]
/proc/loadavg: 3.14 3.15 2.90 3/96 29333
/proc/meminfo: memFree=17288/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1300.33
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26820 0 0 0 129672 361 0 0 25 0 1 0 30838476 107651072 25782 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25782 52 112 0 26166 0
Current children cumulated CPU time (s) 1416.81
Current children cumulated vsize (KiB) 128928
[startup+1483.52 s]
/proc/loadavg: 3.11 3.13 2.91 3/97 29347
/proc/meminfo: memFree=14912/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1360.01
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26821 0 0 0 135620 381 0 0 25 0 1 0 30838476 107651072 25783 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134526352 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25783 52 112 0 26166 0
Current children cumulated CPU time (s) 1476.49
Current children cumulated vsize (KiB) 128928
[startup+1543.62 s]
/proc/loadavg: 2.61 3.01 2.88 3/96 29449
/proc/meminfo: memFree=1509256/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1419.43
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26821 0 0 0 141546 397 0 0 25 0 1 0 30838476 107651072 25783 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25783 52 112 0 26166 0
Current children cumulated CPU time (s) 1535.91
Current children cumulated vsize (KiB) 128928
[startup+1603.71 s]
/proc/loadavg: 2.38 2.87 2.84 3/96 29451
/proc/meminfo: memFree=532360/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1479.13
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26822 0 0 0 147492 421 0 0 25 0 1 0 30838476 107651072 25784 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25784 52 112 0 26166 0
Current children cumulated CPU time (s) 1595.61
Current children cumulated vsize (KiB) 128928
[startup+1663.81 s]
/proc/loadavg: 2.77 2.89 2.85 3/96 29451
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1538.82
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26822 0 0 0 153439 443 0 0 25 0 1 0 30838476 107651072 25784 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25784 52 112 0 26166 0
Current children cumulated CPU time (s) 1655.3
Current children cumulated vsize (KiB) 128928
[startup+1723.92 s]
/proc/loadavg: 3.20 2.97 2.87 3/96 29451
/proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1598.49
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26824 0 0 0 159387 462 0 0 25 0 1 0 30838476 107651072 25786 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25786 52 112 0 26166 0
Current children cumulated CPU time (s) 1714.97
Current children cumulated vsize (KiB) 128928
[startup+1784.01 s]
/proc/loadavg: 4.03 3.27 2.98 3/96 29451
/proc/meminfo: memFree=15688/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1658.2
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26824 0 0 0 165337 483 0 0 25 0 1 0 30838476 107651072 25786 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25786 52 112 0 26166 0
Current children cumulated CPU time (s) 1774.68
Current children cumulated vsize (KiB) 128928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.58 s]
/proc/loadavg: 3.74 3.26 2.99 3/96 29451
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=29119] ppid=29117 vsize=23800 CPUtime=115.78
/proc/29119/stat : 29119 (sugar) S 29117 29119 28981 0 -1 4194304 3690 103163 0 2 19 2 11443 114 16 0 1 0 30826730 24371200 3170 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29119/statm: 5950 3170 373 3 0 3050 0
[pid=29121] ppid=29119 vsize=0 CPUtime=0.7
/proc/29121/stat : 29121 (java) Z 29119 29119 28981 0 -1 1036 7338 0 1 0 64 6 0 0 18 0 1 0 30826735 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/29121/statm: 0 0 0 0 0 0 0
[pid=29137] ppid=29119 vsize=105128 CPUtime=1683.59
/proc/29137/stat : 29137 (minisat) R 29119 29119 28981 0 -1 0 26824 0 0 0 167865 494 0 0 25 0 1 0 30838476 107651072 25786 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/29137/statm: 26282 25786 52 112 0 26166 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 128928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29119 and gives childrusage.ru_utime.tv_sec=114 childrusage.ru_utime.tv_usec=629573 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=182820
CPU time returned by wait4() is 115.812
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.7
CPU time (s): 1800.09
CPU user time (s): 1793.91
CPU system time (s): 6.18
CPU usage (%): 99.414
Max. virtual memory (cumulated for all children) (KiB): 822068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.63
system time used= 1.18282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106939
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27770
involuntary context switches= 28341
runsolver used 2.28365 s user time and 5.9231 s system time
The end
Begin job on node5 on Mon Jan 29 22:11:59 UTC 2007
IDJOB= 238749
IDBENCH= 7018
IDSOLVER= 86
FILE ID= node5/238749-1170108719
PBS_JOBID= 3689959
Free space on /tmp= 50630 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-7/BlackHole-4-7-h-6_ext.xml
COMMAND LINE= /tmp/evaluation/238749-1170108719/solver /tmp/evaluation/238749-1170108719 /tmp/evaluation/238749-1170108719/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-238749-1170108719 -o ROOT/results/node5/solver-238749-1170108719 -C 1800 -M 900 /tmp/evaluation/238749-1170108719/solver /tmp/evaluation/238749-1170108719 /tmp/evaluation/238749-1170108719/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 8183bb1a91a27ffba76f8637e9fa0270
RANDOM SEED= 890732010
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.224
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.224
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: 858488 kB
Buffers: 5252 kB
Cached: 930768 kB
SwapCached: 0 kB
Active: 214216 kB
Inactive: 901208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 858488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 210372 kB
Writeback: 0 kB
Mapped: 204860 kB
Slab: 66592 kB
Committed_AS: 765016 kB
PageTables: 2392 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= 62181 MiB
End job on node5 on Mon Jan 29 22:42:10 UTC 2007