0.05 c # Sugar v0-40 (/tmp/evaluation/229729-1170106158/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/229729-1170106158/unknown.xml [Mon Jan 29 22:29:18 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/229729-1170106158/unknown.xml /tmp/evaluation/229729-1170106158/sugar24502.csp [Mon Jan 29 22:29:18 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229729-1170106158/sugar-v0-40.jar -convert /tmp/evaluation/229729-1170106158/unknown.xml /tmp/evaluation/229729-1170106158/sugar24502.csp
0.20 c BEGIN convert /tmp/evaluation/229729-1170106158/unknown.xml
0.90 c END convert (0.700838 seconds)
0.94 c # CONVERT_XML END : /tmp/evaluation/229729-1170106158/sugar24502.csp 2164084 bytes (1 seconds) [Mon Jan 29 22:29:19 2007]
0.94 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.94
0.94 c # GENERATE_SAT BEGIN : /tmp/evaluation/229729-1170106158/sugar24502.bcnf [Mon Jan 29 22:29:19 2007]
0.94 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229729-1170106158/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229729-1170106158/sugar24502.map /tmp/evaluation/229729-1170106158/sugar24502.csp /tmp/evaluation/229729-1170106158/sugar24502.bcnf
1.06 c BEGIN parse /tmp/evaluation/229729-1170106158/sugar24502.csp
33.35 c END parse (32.289635 seconds)
33.35 c BEGIN simplify
33.49 c END simplify (0.137437 seconds)
33.49 c BEGIN encode /tmp/evaluation/229729-1170106158/sugar24502.bcnf
34.53 c END encode (1.04047 seconds)
34.65 c # GENERATE_SAT END : 8254 variables 81143 clauses 9712700 bytes (33 seconds) [Mon Jan 29 22:29:52 2007]
34.65 c # GENERATE_SAT CPU : 33.61 = 0.06 + 0 + 33.13 + 0.42
34.65
34.65 c # SOLVE_SAT BEGIN : /tmp/evaluation/229729-1170106158/sugar24502.bcnf [Mon Jan 29 22:29:52 2007]
34.65 c # CMD : /tmp/evaluation/229729-1170106158/minisat /tmp/evaluation/229729-1170106158/sugar24502.bcnf /tmp/evaluation/229729-1170106158/sugar24502.out
34.88 c ==================================[MINISAT]===================================
34.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
34.88 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
34.88 c ==============================================================================
34.88 c | 0 | 81143 2347022 | 27047 0 0 nan | 0.000 % |
34.92 c | 100 | 81143 2347022 | 29751 100 3883 38.8 | 0.000 % |
35.00 c | 251 | 81143 2347022 | 32726 251 7157 28.5 | 0.000 % |
35.14 c | 477 | 81143 2347022 | 35999 477 11788 24.7 | 0.000 % |
35.31 c | 814 | 81143 2347022 | 39599 814 22396 27.5 | 0.000 % |
35.56 c | 1322 | 81143 2347022 | 43559 1322 30389 23.0 | 0.000 % |
35.92 c | 2081 | 81143 2347022 | 47915 2081 43817 21.1 | 0.000 % |
36.48 c | 3221 | 81144 2347022 | 52706 3220 59372 18.4 | 0.000 % |
37.32 c | 4929 | 81144 2347022 | 57977 4928 90092 18.3 | 0.000 % |
38.62 c | 7491 | 81145 2347022 | 63775 7489 133904 17.9 | 0.000 % |
40.95 c | 11337 | 81145 2347022 | 70152 11335 199348 17.6 | 0.000 % |
44.62 c | 17103 | 81146 2347022 | 77168 17100 310365 18.1 | 0.000 % |
51.05 c | 25753 | 81149 2347022 | 84885 25747 498039 19.3 | 0.000 % |
61.96 c | 38727 | 81151 2347022 | 93373 38719 797700 20.6 | 0.000 % |
80.23 c | 58190 | 81152 2347022 | 102710 58181 1327282 22.8 | 0.000 % |
112.50 c | 87382 | 81152 2347022 | 112982 87373 2247852 25.7 | 0.000 % |
168.85 c | 131173 | 81153 2347022 | 124280 38278 1159814 30.3 | 0.000 % |
246.79 c | 196860 | 81165 2347022 | 136708 103953 3521761 33.9 | 0.000 % |
386.16 c | 295388 | 81173 2347022 | 150379 84189 3511911 41.7 | 0.000 % |
620.23 c | 443178 | 81179 2347022 | 165416 99971 3339042 33.4 | 0.000 % |
995.56 c | 664861 | 81189 2347022 | 181958 27155 1037444 38.2 | 0.000 % |
1574.92 c | 997388 | 81202 2347022 | 200154 35283 1268795 36.0 | 0.000 % |
1805.58
1805.58 s UNKNOWN
1805.58 c # INTERRUPTED
1805.58 c # MAIN END : (1805 seconds) [Mon Jan 29 22:59:23 2007]
1805.58 c # MAIN CPU : 33.61 = 0.06 + 0 + 33.13 + 0.42
1805.58
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-229729-1170106158 -o ROOT/results/node21/solver-229729-1170106158 -C 1800 -M 900 /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/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: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=12404 CPUtime=0
/proc/24502/stat : 24502 (sugar) R 24500 24502 24365 0 -1 4194304 695 0 0 0 0 0 0 0 20 0 1 0 30569694 12701696 414 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221249843497 0 0 4224 0 0 0 0 17 1 0 0
/proc/24502/statm: 3101 414 286 3 0 201 0
[startup+0.118761 s]
/proc/loadavg: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30569694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.526807 s]
/proc/loadavg: 1.96 2.16 2.66 5/88 24503
/proc/meminfo: memFree=1839424/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3499 s]
/proc/loadavg: 1.96 2.16 2.65 4/97 24519
/proc/meminfo: memFree=1829624/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807064 CPUtime=0.39
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 6510 0 1 0 35 4 0 0 17 0 8 0 30569789 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073499398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24512/statm: 201766 6260 1494 14 0 189044 0
[pid=24512/tid=24513] ppid=24502 vsize=807064 CPUtime=0.02
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 457 0 0 0 2 0 0 0 16 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807064 CPUtime=0.05
/proc/24512/task/24517/stat : 24517 (java) R 24502 24502 24365 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826433536 6260 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+3.00308 s]
/proc/loadavg: 1.96 2.16 2.65 3/97 24519
/proc/meminfo: memFree=1798840/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807064 CPUtime=2.02
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 13785 0 1 0 194 8 0 0 25 0 8 0 30569789 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540065 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201766 13519 1494 14 0 189044 0
[pid=24512/tid=24513] ppid=24502 vsize=807064 CPUtime=0.54
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 7716 0 0 0 51 3 0 0 16 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807064 CPUtime=0.05
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807064 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826433536 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820788
[startup+6.30244 s]
/proc/loadavg: 1.96 2.16 2.65 3/97 24519
/proc/meminfo: memFree=1720184/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807336 CPUtime=5.31
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 36392 0 1 0 513 18 0 0 25 0 8 0 30569789 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201834 36037 1506 14 0 189112 0
[pid=24512/tid=24513] ppid=24502 vsize=807336 CPUtime=1.53
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 30082 0 0 0 141 12 0 0 16 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807336 CPUtime=0.13
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826712064 36037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 821060
[startup+12.7091 s]
/proc/loadavg: 1.97 2.16 2.64 4/97 24519
/proc/meminfo: memFree=1623800/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807588 CPUtime=11.71
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 54950 0 1 0 1144 27 0 0 25 0 8 0 30569789 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201897 54185 1507 14 0 189175 0
[pid=24512/tid=24513] ppid=24502 vsize=807588 CPUtime=3.95
/proc/24512/task/24513/stat : 24513 (java) R 24502 24502 24365 0 -1 64 48421 0 0 0 375 20 0 0 16 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134584 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807588 CPUtime=0.14
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807588 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 826970112 54185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 821312
[startup+25.5865 s]
/proc/loadavg: 1.97 2.15 2.64 3/97 24519
/proc/meminfo: memFree=1623736/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=13724 CPUtime=0.04
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30569694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 3431 808 370 3 0 531 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24512] ppid=24502 vsize=807336 CPUtime=24.59
/proc/24512/stat : 24512 (java) R 24502 24502 24365 0 -1 0 55925 0 1 0 2427 32 0 0 25 0 8 0 30569789 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24512/statm: 201834 54113 1507 14 0 189112 0
[pid=24512/tid=24513] ppid=24502 vsize=807336 CPUtime=9.07
/proc/24512/task/24513/stat : 24513 (java) S 24502 24502 24365 0 -1 64 48975 0 0 0 883 24 0 0 16 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24514] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24514/stat : 24514 (java) S 24502 24502 24365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24515] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24515/stat : 24515 (java) S 24502 24502 24365 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30569792 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24516] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24516/stat : 24516 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24517] ppid=24502 vsize=807336 CPUtime=0.14
/proc/24512/task/24517/stat : 24517 (java) S 24502 24502 24365 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24512/tid=24518] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24518/stat : 24518 (java) S 24502 24502 24365 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30569796 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24512/tid=24519] ppid=24502 vsize=807336 CPUtime=0
/proc/24512/task/24519/stat : 24519 (java) S 24502 24502 24365 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30569796 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.43
Current children cumulated vsize (KiB) 821060
[startup+51.2103 s]
/proc/loadavg: 2.03 2.15 2.62 3/90 24520
/proc/meminfo: memFree=1805616/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=16560 CPUtime=16.39
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 4807 0 0 0 1635 4 0 0 25 0 1 0 30573160 16957440 3768 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528549 0 0 4096 3 0 0 0 17 1 0 0
/proc/24520/statm: 4140 3768 52 112 0 4024 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 34200
[startup+102.49 s]
/proc/loadavg: 2.01 2.12 2.59 3/90 24520
/proc/meminfo: memFree=1796912/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
################
# More data... #
################
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 13732 0 0 0 120345 29 0 0 25 0 1 0 30573160 54022144 12685 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13189 12685 52 112 0 13073 0
Current children cumulated CPU time (s) 1238.19
Current children cumulated vsize (KiB) 70396
[startup+1303.1 s]
/proc/loadavg: 2.00 2.00 2.14 3/89 24766
/proc/meminfo: memFree=704312/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54316 CPUtime=1263.71
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14134 0 0 0 126341 30 0 0 25 0 1 0 30573160 55619584 13087 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13579 13087 52 112 0 13463 0
Current children cumulated CPU time (s) 1298.16
Current children cumulated vsize (KiB) 71956
[startup+1363.11 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 24766
/proc/meminfo: memFree=701304/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54592 CPUtime=1323.65
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14176 0 0 0 132335 30 0 0 25 0 1 0 30573160 55902208 13129 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13648 13129 52 112 0 13532 0
Current children cumulated CPU time (s) 1358.1
Current children cumulated vsize (KiB) 72232
[startup+1423.14 s]
/proc/loadavg: 2.00 2.00 2.12 3/89 24766
/proc/meminfo: memFree=698360/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=54760 CPUtime=1383.62
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14211 0 0 0 138331 31 0 0 25 0 1 0 30573160 56074240 13164 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13690 13164 52 112 0 13574 0
Current children cumulated CPU time (s) 1418.07
Current children cumulated vsize (KiB) 72400
[startup+1483.17 s]
/proc/loadavg: 2.07 2.02 2.11 3/89 24766
/proc/meminfo: memFree=695224/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=55080 CPUtime=1443.6
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14289 0 0 0 144329 31 0 0 25 0 1 0 30573160 56401920 13242 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 13770 13242 52 112 0 13654 0
Current children cumulated CPU time (s) 1478.05
Current children cumulated vsize (KiB) 72720
[startup+1543.19 s]
/proc/loadavg: 2.02 2.01 2.10 3/89 24766
/proc/meminfo: memFree=691960/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=56128 CPUtime=1503.54
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14576 0 0 0 150323 31 0 0 25 0 1 0 30573160 57475072 13529 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14032 13529 52 112 0 13916 0
Current children cumulated CPU time (s) 1537.99
Current children cumulated vsize (KiB) 73768
[startup+1603.21 s]
/proc/loadavg: 2.01 2.00 2.09 3/89 24766
/proc/meminfo: memFree=687992/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57448 CPUtime=1563.5
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14886 0 0 0 156318 32 0 0 25 0 1 0 30573160 58826752 13839 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14362 13839 52 112 0 14246 0
Current children cumulated CPU time (s) 1597.95
Current children cumulated vsize (KiB) 75088
[startup+1663.23 s]
/proc/loadavg: 2.00 2.00 2.08 4/89 24766
/proc/meminfo: memFree=685176/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57448 CPUtime=1623.47
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14903 0 0 0 162315 32 0 0 25 0 1 0 30573160 58826752 13856 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528302 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14362 13856 52 112 0 14246 0
Current children cumulated CPU time (s) 1657.92
Current children cumulated vsize (KiB) 75088
[startup+1723.25 s]
/proc/loadavg: 2.00 2.00 2.08 3/89 24766
/proc/meminfo: memFree=681720/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57648 CPUtime=1683.42
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14931 0 0 0 168309 33 0 0 25 0 1 0 30573160 59031552 13884 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14412 13884 52 112 0 14296 0
Current children cumulated CPU time (s) 1717.87
Current children cumulated vsize (KiB) 75288
[startup+1783.27 s]
/proc/loadavg: 2.00 2.00 2.07 3/89 24766
/proc/meminfo: memFree=679224/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57792 CPUtime=1743.38
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14980 0 0 0 174305 33 0 0 25 0 1 0 30573160 59179008 13933 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525599 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14448 13933 52 112 0 14332 0
Current children cumulated CPU time (s) 1777.83
Current children cumulated vsize (KiB) 75432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.57 s]
/proc/loadavg: 2.00 2.00 2.07 3/89 24766
/proc/meminfo: memFree=678008/2055920 swapFree=4192812/4192956
[pid=24502] ppid=24500 vsize=17640 CPUtime=33.65
/proc/24502/stat : 24502 (sugar) S 24500 24502 24365 0 -1 4194304 2256 58319 0 1 9 1 3313 42 16 0 1 0 30569694 18063360 1766 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24502/statm: 4410 1766 373 3 0 1510 0
[pid=24504] ppid=24502 vsize=0 CPUtime=0.8
/proc/24504/stat : 24504 (java) Z 24502 24502 24365 0 -1 1036 7900 0 1 0 74 6 0 0 18 0 1 0 30569699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24504/statm: 0 0 0 0 0 0 0
[pid=24520] ppid=24502 vsize=57932 CPUtime=1765.64
/proc/24520/stat : 24520 (minisat) R 24502 24502 24365 0 -1 0 14994 0 0 0 176531 33 0 0 25 0 1 0 30573160 59322368 13947 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 0 0 0
/proc/24520/statm: 14483 13947 52 112 0 14367 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 75572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24502 and gives childrusage.ru_utime.tv_sec=33 childrusage.ru_utime.tv_usec=231947 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=448931
CPU time returned by wait4() is 33.6809
while last known CPU time is 1800.11
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.59
CPU time (s): 1800.11
CPU user time (s): 1799.28
CPU system time (s): 0.83
CPU usage (%): 99.6412
Max. virtual memory (cumulated for all children) (KiB): 821564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2319
system time used= 0.448931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60660
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= 8049
involuntary context switches= 7570
runsolver used 2.10068 s user time and 5.8861 s system time
The end
Begin job on node21 on Mon Jan 29 21:29:18 UTC 2007
IDJOB= 229729
IDBENCH= 6352
IDSOLVER= 86
FILE ID= node21/229729-1170106158
PBS_JOBID= 3689853
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-17_ext.xml
COMMAND LINE= /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-229729-1170106158 -o ROOT/results/node21/solver-229729-1170106158 -C 1800 -M 900 /tmp/evaluation/229729-1170106158/solver /tmp/evaluation/229729-1170106158 /tmp/evaluation/229729-1170106158/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a7601e82091219e49d4adaa8eed103b6
RANDOM SEED= 672397547
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: 1839904 kB
Buffers: 35836 kB
Cached: 65212 kB
SwapCached: 0 kB
Active: 111544 kB
Inactive: 56384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1839904 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1292 kB
Writeback: 0 kB
Mapped: 86660 kB
Slab: 33096 kB
Committed_AS: 484872 kB
PageTables: 2036 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= 66302 MiB
End job on node21 on Mon Jan 29 21:59:24 UTC 2007