0.04 c # Sugar v0-40 (/tmp/evaluation/223802-1170102839/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/223802-1170102839/unknown.xml [Mon Jan 29 21:34:00 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/223802-1170102839/unknown.xml /tmp/evaluation/223802-1170102839/sugar18927.csp [Mon Jan 29 21:34:00 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223802-1170102839/sugar-v0-40.jar -convert /tmp/evaluation/223802-1170102839/unknown.xml /tmp/evaluation/223802-1170102839/sugar18927.csp
0.17 c BEGIN convert /tmp/evaluation/223802-1170102839/unknown.xml
0.77 c END convert (0.601252 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/223802-1170102839/sugar18927.csp 1722749 bytes (1 seconds) [Mon Jan 29 21:34:01 2007]
0.81 c # CONVERT_XML CPU : 0.71 = 0 + 0 + 0.66 + 0.05
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/223802-1170102839/sugar18927.bcnf [Mon Jan 29 21:34:01 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223802-1170102839/sugar-v0-40.jar -bcnf -map /tmp/evaluation/223802-1170102839/sugar18927.map /tmp/evaluation/223802-1170102839/sugar18927.csp /tmp/evaluation/223802-1170102839/sugar18927.bcnf
0.93 c BEGIN parse /tmp/evaluation/223802-1170102839/sugar18927.csp
347.32 c END parse (346.391343 seconds)
347.32 c BEGIN simplify
348.39 c END simplify (1.070416 seconds)
348.39 c BEGIN encode /tmp/evaluation/223802-1170102839/sugar18927.bcnf
355.28 c END encode (6.891981 seconds)
355.98 c # GENERATE_SAT END : 56532 variables 162289 clauses 83611012 bytes (355 seconds) [Mon Jan 29 21:39:56 2007]
355.98 c # GENERATE_SAT CPU : 353.04 = 0.51 + 0.06 + 350.3 + 2.17
355.98
355.98 c # SOLVE_SAT BEGIN : /tmp/evaluation/223802-1170102839/sugar18927.bcnf [Mon Jan 29 21:39:56 2007]
355.98 c # CMD : /tmp/evaluation/223802-1170102839/minisat /tmp/evaluation/223802-1170102839/sugar18927.bcnf /tmp/evaluation/223802-1170102839/sugar18927.out
357.79 c ==================================[MINISAT]===================================
357.79 c | Conflicts | ORIGINAL | LEARNT | Progress |
357.79 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
357.80 c ==============================================================================
357.80 c | 0 | 162289 20740420 | 54096 0 0 nan | 0.000 % |
357.90 c | 100 | 162290 20740420 | 59505 99 16528 166.9 | 0.000 % |
358.14 c | 250 | 162291 20740420 | 65456 248 29213 117.8 | 0.000 % |
358.47 c | 475 | 162291 20740420 | 72001 473 51977 109.9 | 0.000 % |
358.96 c | 812 | 162295 20740420 | 79201 806 79588 98.7 | 0.000 % |
359.92 c | 1319 | 162297 20740420 | 87122 1311 149092 113.7 | 0.000 % |
361.46 c | 2079 | 162300 20740420 | 95834 2068 264546 127.9 | 0.000 % |
364.04 c | 3218 | 162304 20740420 | 105417 3203 382566 119.4 | 0.000 % |
368.21 c | 4926 | 162306 20740420 | 115959 4909 519254 105.8 | 0.000 % |
373.17 c | 7489 | 162313 20740420 | 127555 7465 751944 100.7 | 0.000 % |
383.71 c | 11333 | 162315 20740420 | 140311 11307 1080303 95.5 | 0.000 % |
398.52 c | 17100 | 162322 20740420 | 154342 17067 1603743 94.0 | 0.000 % |
428.48 c | 25749 | 162323 20740420 | 169776 25715 2399448 93.3 | 0.000 % |
475.53 c | 38724 | 162327 20740420 | 186754 38686 3775591 97.6 | 0.000 % |
553.93 c | 58185 | 162342 20740420 | 205429 58132 6060439 104.3 | 0.000 % |
669.38 c | 87377 | 162357 20740420 | 225972 87309 9587685 109.8 | 0.000 % |
890.21 c | 131166 | 162374 20740420 | 248569 131081 16372231 124.9 | 0.000 % |
1249.11 c | 196850 | 162392 20740420 | 273426 196747 29540005 150.1 | 0.000 % |
1809.75
1809.75 s UNKNOWN
1809.75 c # INTERRUPTED
1809.75 c # MAIN END : (1810 seconds) [Mon Jan 29 22:04:10 2007]
1809.75 c # MAIN CPU : 353.75 = 0.51 + 0.06 + 350.96 + 2.22
1809.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-223802-1170102839 -o ROOT/results/node39/solver-223802-1170102839 -C 1800 -M 900 /tmp/evaluation/223802-1170102839/solver /tmp/evaluation/223802-1170102839 /tmp/evaluation/223802-1170102839/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: 0.56 0.79 1.30 5/82 18928
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.03
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1097 0 0 0 3 0 0 0 20 0 1 0 30239932 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 3431 804 368 3 0 531 0
[pid=18929] ppid=18927 vsize=13724 CPUtime=0
/proc/18929/stat : 18929 (sugar) R 18927 18927 18347 0 -1 4194368 13 0 0 0 0 0 0 0 18 0 1 0 30239937 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231493659943 0 2147483391 4096 16386 0 0 0 17 0 0 0
/proc/18929/statm: 3431 804 368 3 0 531 0
[startup+0.155682 s]
/proc/loadavg: 0.56 0.79 1.30 5/82 18928
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.03
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30239932 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 3431 805 368 3 0 531 0
[pid=18929] ppid=18927 vsize=807004 CPUtime=0.09
/proc/18929/stat : 18929 (java) R 18927 18927 18347 0 -1 0 2690 0 1 0 8 1 0 0 20 0 8 0 30239937 826372096 2439 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18929/statm: 201751 2439 1405 14 0 189029 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 820728
[startup+0.563745 s]
/proc/loadavg: 0.56 0.79 1.30 5/82 18928
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.03
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30239932 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 3431 805 368 3 0 531 0
[pid=18929] ppid=18927 vsize=807140 CPUtime=0.5
/proc/18929/stat : 18929 (java) R 18927 18927 18347 0 -1 0 7187 0 1 0 46 4 0 0 21 0 8 0 30239937 826511360 6935 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18929/statm: 201785 6935 1692 14 0 189063 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 820864
[startup+1.40089 s]
/proc/loadavg: 0.56 0.79 1.30 3/90 18944
/proc/meminfo: memFree=1690904/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807064 CPUtime=0.57
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 7810 0 1 0 52 5 0 0 25 0 8 0 30240014 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201766 7558 1494 14 0 189044 0
[pid=18937/tid=18938] ppid=18927 vsize=807064 CPUtime=0.08
/proc/18937/task/18938/stat : 18938 (java) S 18927 18927 18347 0 -1 64 1758 0 0 0 7 1 0 0 16 0 8 0 30240017 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807064 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807064 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807064 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807064 CPUtime=0.04
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 292 0 0 0 4 0 0 0 17 0 8 0 30240020 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807064 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807064 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826433536 7558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820788
[startup+3.06318 s]
/proc/loadavg: 0.56 0.79 1.30 4/90 18944
/proc/meminfo: memFree=1669592/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807336 CPUtime=2.22
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 14586 0 1 0 212 10 0 0 25 0 8 0 30240014 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073657665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201834 14319 1506 14 0 189112 0
[pid=18937/tid=18938] ppid=18927 vsize=807336 CPUtime=0.59
/proc/18937/task/18938/stat : 18938 (java) S 18927 18927 18347 0 -1 64 8394 0 0 0 54 5 0 0 16 0 8 0 30240017 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807336 CPUtime=0.11
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 393 0 0 0 11 0 0 0 16 0 8 0 30240020 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826712064 14319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 821060
[startup+6.29673 s]
/proc/loadavg: 0.68 0.81 1.30 3/90 18944
/proc/meminfo: memFree=1577624/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807336 CPUtime=5.44
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 39040 0 1 0 522 22 0 0 25 0 8 0 30240014 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201834 38664 1506 14 0 189112 0
[pid=18937/tid=18938] ppid=18927 vsize=807336 CPUtime=1.68
/proc/18937/task/18938/stat : 18938 (java) R 18927 18927 18347 0 -1 64 32714 0 0 0 152 16 0 0 15 0 8 0 30240017 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807336 CPUtime=0.12
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 395 0 0 0 12 0 0 0 16 0 8 0 30240020 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826712064 38664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821060
[startup+12.7478 s]
/proc/loadavg: 0.78 0.83 1.30 3/90 18944
/proc/meminfo: memFree=1498904/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807336 CPUtime=11.85
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 54921 0 1 0 1154 31 0 0 25 0 8 0 30240014 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201834 54113 1507 14 0 189112 0
[pid=18937/tid=18938] ppid=18927 vsize=807336 CPUtime=4
/proc/18937/task/18938/stat : 18938 (java) S 18927 18927 18347 0 -1 64 48380 0 0 0 375 25 0 0 16 0 8 0 30240017 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807336 CPUtime=0.13
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 30240020 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826712064 54113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 821060
[startup+25.576 s]
/proc/loadavg: 1.35 0.95 1.34 4/90 18944
/proc/meminfo: memFree=1498968/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807336 CPUtime=24.58
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 55780 0 1 0 2420 38 0 0 25 0 8 0 30240014 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201834 54114 1507 14 0 189112 0
[pid=18937/tid=18938] ppid=18927 vsize=807336 CPUtime=8.89
/proc/18937/task/18938/stat : 18938 (java) R 18927 18927 18347 0 -1 64 48830 0 0 0 860 29 0 0 15 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827325 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807336 CPUtime=0.13
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 401 0 0 0 13 0 0 0 17 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 821060
[startup+51.1854 s]
/proc/loadavg: 2.03 1.15 1.39 5/90 18944
/proc/meminfo: memFree=1497816/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=13724 CPUtime=0.74
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 1190 7670 0 1 3 0 66 5 16 0 1 0 30239932 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 3431 809 371 3 0 531 0
[pid=18937] ppid=18927 vsize=807336 CPUtime=50.03
/proc/18937/stat : 18937 (java) R 18927 18927 18347 0 -1 0 57460 0 1 0 4952 51 0 0 25 0 8 0 30240014 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18937/statm: 201834 54114 1507 14 0 189112 0
[pid=18937/tid=18938] ppid=18927 vsize=807336 CPUtime=18.88
/proc/18937/task/18938/stat : 18938 (java) R 18927 18927 18347 0 -1 64 49701 0 0 0 1852 36 0 0 15 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827386 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18939] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18939/stat : 18939 (java) S 18927 18927 18347 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18940] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18940/stat : 18940 (java) S 18927 18927 18347 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30240017 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18941] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18941/stat : 18941 (java) S 18927 18927 18347 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18942] ppid=18927 vsize=807336 CPUtime=0.13
/proc/18937/task/18942/stat : 18942 (java) S 18927 18927 18347 0 -1 64 401 0 0 0 13 0 0 0 17 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18943] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18943/stat : 18943 (java) S 18927 18927 18347 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18937/tid=18944] ppid=18927 vsize=807336 CPUtime=0
/proc/18937/task/18944/stat : 18944 (java) S 18927 18927 18347 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30240020 826712064 54114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 821060
[startup+102.466 s]
################
# More data... #
################
/proc/loadavg: 2.52 2.16 1.94 3/82 19019
/proc/meminfo: memFree=1396952/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=196940 CPUtime=763.96
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 49749 0 0 0 76341 55 0 0 25 0 1 0 30275530 201666560 48695 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 49235 48695 52 112 0 49119 0
Current children cumulated CPU time (s) 1117.74
Current children cumulated vsize (KiB) 241136
[startup+1183.78 s]
/proc/loadavg: 2.80 2.31 2.00 4/82 19019
/proc/meminfo: memFree=1378008/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=205964 CPUtime=823.68
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 52008 0 0 0 82311 57 0 0 25 0 1 0 30275530 210907136 50954 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 51491 50954 52 112 0 51375 0
Current children cumulated CPU time (s) 1177.46
Current children cumulated vsize (KiB) 250160
[startup+1243.83 s]
/proc/loadavg: 2.77 2.39 2.04 4/82 19019
/proc/meminfo: memFree=1348248/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=213596 CPUtime=883.38
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 53925 0 0 0 88279 59 0 0 25 0 1 0 30275530 218722304 52871 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 53399 52871 52 112 0 53283 0
Current children cumulated CPU time (s) 1237.16
Current children cumulated vsize (KiB) 257792
[startup+1303.92 s]
/proc/loadavg: 2.66 2.42 2.07 3/82 19019
/proc/meminfo: memFree=1327192/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=217900 CPUtime=943.17
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 55015 0 0 0 94256 61 0 0 25 0 1 0 30275530 223129600 53961 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527084 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 54475 53961 52 112 0 54359 0
Current children cumulated CPU time (s) 1296.95
Current children cumulated vsize (KiB) 262096
[startup+1363.97 s]
/proc/loadavg: 2.67 2.46 2.11 3/82 19019
/proc/meminfo: memFree=1304792/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=223568 CPUtime=1002.89
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 56349 0 0 0 100227 62 0 0 25 0 1 0 30275530 228933632 55295 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 55892 55295 52 112 0 55776 0
Current children cumulated CPU time (s) 1356.67
Current children cumulated vsize (KiB) 267764
[startup+1424.05 s]
/proc/loadavg: 2.77 2.53 2.15 4/82 19019
/proc/meminfo: memFree=1275736/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=229632 CPUtime=1062.63
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 57862 0 0 0 106199 64 0 0 25 0 1 0 30275530 235143168 56808 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 57408 56808 52 112 0 57292 0
Current children cumulated CPU time (s) 1416.41
Current children cumulated vsize (KiB) 273828
[startup+1484.11 s]
/proc/loadavg: 2.90 2.61 2.20 4/82 19019
/proc/meminfo: memFree=1256856/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=234992 CPUtime=1122.38
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 59198 0 0 0 112172 66 0 0 25 0 1 0 30275530 240631808 58144 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527104 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 58748 58144 52 112 0 58632 0
Current children cumulated CPU time (s) 1476.16
Current children cumulated vsize (KiB) 279188
[startup+1544.17 s]
/proc/loadavg: 2.84 2.63 2.23 4/82 19019
/proc/meminfo: memFree=1224408/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=240240 CPUtime=1182.09
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 60515 0 0 0 118142 67 0 0 25 0 1 0 30275530 246005760 59461 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527291 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 60060 59461 52 112 0 59944 0
Current children cumulated CPU time (s) 1535.87
Current children cumulated vsize (KiB) 284436
[startup+1604.18 s]
/proc/loadavg: 2.77 2.64 2.26 4/82 19019
/proc/meminfo: memFree=1199000/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=243904 CPUtime=1241.56
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 61445 0 0 0 124086 70 0 0 25 0 1 0 30275530 249757696 60391 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527072 0 0 4096 3 0 0 0 17 0 0 0
/proc/18948/statm: 60976 60391 52 112 0 60860 0
Current children cumulated CPU time (s) 1595.34
Current children cumulated vsize (KiB) 288100
[startup+1664.23 s]
/proc/loadavg: 2.84 2.69 2.29 4/88 19127
/proc/meminfo: memFree=1163480/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=246760 CPUtime=1301.28
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 62150 0 0 0 130054 74 0 0 25 0 1 0 30275530 252682240 61096 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528543 0 0 4096 3 0 0 0 17 1 0 0
/proc/18948/statm: 61690 61096 52 112 0 61574 0
Current children cumulated CPU time (s) 1655.06
Current children cumulated vsize (KiB) 290956
[startup+1724.32 s]
/proc/loadavg: 2.74 2.68 2.31 4/82 19217
/proc/meminfo: memFree=1141056/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=249972 CPUtime=1361.22
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 62959 0 0 0 136047 75 0 0 25 0 1 0 30275530 255971328 61905 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18948/statm: 62493 61905 52 112 0 62377 0
Current children cumulated CPU time (s) 1715
Current children cumulated vsize (KiB) 294168
[startup+1784.36 s]
/proc/loadavg: 2.72 2.69 2.34 5/82 19217
/proc/meminfo: memFree=1123736/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=254428 CPUtime=1421.05
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 64083 0 0 0 142029 76 0 0 25 0 1 0 30275530 260534272 63029 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527092 0 0 4096 3 0 0 0 17 1 0 0
/proc/18948/statm: 63607 63029 52 112 0 63491 0
Current children cumulated CPU time (s) 1774.83
Current children cumulated vsize (KiB) 298624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.74 s]
/proc/loadavg: 2.68 2.68 2.35 3/82 19217
/proc/meminfo: memFree=1127576/2055920 swapFree=4192812/4192956
[pid=18927] ppid=18925 vsize=44196 CPUtime=353.78
/proc/18927/stat : 18927 (sugar) S 18925 18927 18347 0 -1 4194304 8750 171641 0 2 54 6 35096 222 16 0 1 0 30239932 45256704 8166 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18927/statm: 11049 8166 373 3 0 8149 0
[pid=18948] ppid=18927 vsize=255592 CPUtime=1446.31
/proc/18948/stat : 18948 (minisat) R 18927 18927 18347 0 -1 0 64371 0 0 0 144554 77 0 0 25 0 1 0 30275530 261726208 63317 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 1 0 0
/proc/18948/statm: 63898 63317 52 112 0 63782 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 299788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18927 and gives childrusage.ru_utime.tv_sec=351 childrusage.ru_utime.tv_usec=513561 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=335644
CPU time returned by wait4() is 353.849
while last known CPU time is 1800.16
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.81
CPU time (s): 1800.16
CPU user time (s): 1797.04
CPU system time (s): 3.12
CPU usage (%): 99.4121
Max. virtual memory (cumulated for all children) (KiB): 822568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.514
system time used= 2.33564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180476
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= 51221
involuntary context switches= 52868
runsolver used 2.10368 s user time and 6.04808 s system time
The end
Begin job on node39 on Mon Jan 29 20:34:00 UTC 2007
IDJOB= 223802
IDBENCH= 5679
IDSOLVER= 86
FILE ID= node39/223802-1170102839
PBS_JOBID= 3689766
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
COMMAND LINE= /tmp/evaluation/223802-1170102839/solver /tmp/evaluation/223802-1170102839 /tmp/evaluation/223802-1170102839/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-223802-1170102839 -o ROOT/results/node39/solver-223802-1170102839 -C 1800 -M 900 /tmp/evaluation/223802-1170102839/solver /tmp/evaluation/223802-1170102839 /tmp/evaluation/223802-1170102839/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 189074ce2eb910bea352f8b76cce4ad2
RANDOM SEED= 344326090
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.285
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.285
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: 1714040 kB
Buffers: 18136 kB
Cached: 42180 kB
SwapCached: 0 kB
Active: 267072 kB
Inactive: 26196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4068 kB
Writeback: 0 kB
Mapped: 249772 kB
Slab: 33340 kB
Committed_AS: 466884 kB
PageTables: 2268 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= 66558 MiB
End job on node39 on Mon Jan 29 21:04:12 UTC 2007