0.05 c # Sugar v0-40 (/tmp/evaluation/224706-1170103720/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/224706-1170103720/unknown.xml [Mon Jan 29 21:48:40 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/224706-1170103720/unknown.xml /tmp/evaluation/224706-1170103720/sugar27929.csp [Mon Jan 29 21:48:40 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224706-1170103720/sugar-v0-40.jar -convert /tmp/evaluation/224706-1170103720/unknown.xml /tmp/evaluation/224706-1170103720/sugar27929.csp
0.17 c BEGIN convert /tmp/evaluation/224706-1170103720/unknown.xml
1.11 c END convert (0.939932 seconds)
1.13 c # CONVERT_XML END : /tmp/evaluation/224706-1170103720/sugar27929.csp 4112381 bytes (1 seconds) [Mon Jan 29 21:48:41 2007]
1.13 c # CONVERT_XML CPU : 1.05 = 0 + 0 + 0.97 + 0.08
1.13
1.13 c # GENERATE_SAT BEGIN : /tmp/evaluation/224706-1170103720/sugar27929.bcnf [Mon Jan 29 21:48:41 2007]
1.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224706-1170103720/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224706-1170103720/sugar27929.map /tmp/evaluation/224706-1170103720/sugar27929.csp /tmp/evaluation/224706-1170103720/sugar27929.bcnf
1.25 c BEGIN parse /tmp/evaluation/224706-1170103720/sugar27929.csp
1804.88
1804.88 s UNKNOWN
1804.88 c # INTERRUPTED
1804.88 c # MAIN END : (1805 seconds) [Mon Jan 29 22:18:45 2007]
1804.88 c # MAIN CPU : 1.05 = 0 + 0 + 0.97 + 0.08
1804.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-224706-1170103720 -o ROOT/results/node5/solver-224706-1170103720 -C 1800 -M 900 /tmp/evaluation/224706-1170103720/solver /tmp/evaluation/224706-1170103720 /tmp/evaluation/224706-1170103720/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.34 2.39 2.53 5/87 27930
/proc/meminfo: memFree=1616848/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=5352 CPUtime=0
/proc/27929/stat : 27929 (solver) R 27927 27929 27864 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30326843 5480448 231 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 226913479975 0 0 4096 0 0 0 0 17 1 0 0
/proc/27929/statm: 1338 231 193 169 0 49 0
[startup+0.10522 s]
/proc/loadavg: 2.34 2.39 2.53 5/87 27930
/proc/meminfo: memFree=1616848/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=0.04
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30326843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513271 s]
/proc/loadavg: 2.34 2.39 2.53 5/87 27930
/proc/meminfo: memFree=1616848/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=0.04
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30326843 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33536 s]
/proc/loadavg: 2.31 2.39 2.53 3/88 27938
/proc/meminfo: memFree=1587400/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 13724
[startup+2.97955 s]
/proc/loadavg: 2.31 2.39 2.53 3/95 27946
/proc/meminfo: memFree=1576464/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807064 CPUtime=1.82
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 13374 0 1 0 176 6 0 0 25 0 8 0 30326956 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201766 13110 1494 14 0 189044 0
[pid=27939/tid=27940] ppid=27929 vsize=807064 CPUtime=0.45
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 7309 0 0 0 43 2 0 0 16 0 8 0 30326960 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807064 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807064 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807064 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807064 CPUtime=0.05
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30326964 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807064 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807064 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826433536 13110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820788
[startup+6.27892 s]
/proc/loadavg: 2.29 2.38 2.53 4/95 27946
/proc/meminfo: memFree=1518160/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807348 CPUtime=5.1
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 28787 0 1 0 494 16 0 0 25 0 8 0 30326956 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201837 28485 1506 14 0 189115 0
[pid=27939/tid=27940] ppid=27929 vsize=807348 CPUtime=1.45
/proc/27939/task/27940/stat : 27940 (java) S 27929 27929 27864 0 -1 64 22524 0 0 0 134 11 0 0 16 0 8 0 30326960 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807348 CPUtime=0.1
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 371 0 0 0 10 0 0 0 16 0 8 0 30326964 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826724352 28485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821072
[startup+12.7607 s]
/proc/loadavg: 2.43 2.41 2.54 4/95 27946
/proc/meminfo: memFree=1397904/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807348 CPUtime=11.54
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 54939 0 1 0 1122 32 0 0 25 0 8 0 30326956 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201837 54349 1507 14 0 189115 0
[pid=27939/tid=27940] ppid=27929 vsize=807348 CPUtime=4.49
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 48459 0 0 0 424 25 0 0 16 0 8 0 30326960 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523556 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807348 CPUtime=0.12
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30326964 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826724352 54349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 821072
[startup+25.6419 s]
/proc/loadavg: 2.36 2.39 2.53 4/95 27946
/proc/meminfo: memFree=1396624/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807348 CPUtime=24.42
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 61082 0 1 0 2404 38 0 0 25 0 8 0 30326956 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201837 54136 1507 14 0 189115 0
[pid=27939/tid=27940] ppid=27929 vsize=807348 CPUtime=12.01
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 54256 0 0 0 1171 30 0 0 15 0 8 0 30326960 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807348 CPUtime=0.13
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 389 0 0 0 13 0 0 0 17 0 8 0 30326964 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 821072
[startup+51.2958 s]
/proc/loadavg: 2.46 2.42 2.53 3/95 27946
/proc/meminfo: memFree=1395664/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807348 CPUtime=50.06
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 74677 0 1 0 4954 52 0 0 25 0 8 0 30326956 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201837 54138 1507 14 0 189115 0
[pid=27939/tid=27940] ppid=27929 vsize=807348 CPUtime=28.7
/proc/27939/task/27940/stat : 27940 (java) S 27929 27929 27864 0 -1 64 67274 0 0 0 2829 41 0 0 16 0 8 0 30326960 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807348 CPUtime=0.13
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 391 0 0 0 13 0 0 0 16 0 8 0 30326964 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826724352 54138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 821072
[startup+102.497 s]
/proc/loadavg: 2.69 2.47 2.55 4/95 27946
/proc/meminfo: memFree=1386832/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=807348 CPUtime=101.24
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 109988 0 1 0 10041 83 0 0 25 0 8 0 30326956 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27939/statm: 201837 55892 1507 14 0 189115 0
[pid=27939/tid=27940] ppid=27929 vsize=807348 CPUtime=65.17
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 101622 0 0 0 6449 68 0 0 16 0 8 0 30326960 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27941] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=807348 CPUtime=0.13
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 391 0 0 0 13 0 0 0 16 0 8 0 30326964 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=807348 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30326964 826724352 55892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 821072
[startup+162.547 s]
################
# More data... #
################
/proc/loadavg: 3.39 3.27 2.94 4/102 28242
/proc/meminfo: memFree=784536/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1539.13
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 914705 0 1 0 153204 709 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=992.24
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 98606 618 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134261 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.22
Current children cumulated vsize (KiB) 822096
[startup+1604.04 s]
/proc/loadavg: 3.82 3.39 3.00 5/102 28242
/proc/meminfo: memFree=750808/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1598.82
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 915178 0 1 0 159167 715 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=1026.12
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 101990 622 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.91
Current children cumulated vsize (KiB) 822096
[startup+1664.11 s]
/proc/loadavg: 3.71 3.44 3.04 5/102 28242
/proc/meminfo: memFree=727960/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1658.57
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 915639 0 1 0 165135 722 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=1060.92
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 105466 626 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.66
Current children cumulated vsize (KiB) 822096
[startup+1724.12 s]
/proc/loadavg: 3.46 3.41 3.05 5/102 28242
/proc/meminfo: memFree=722456/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1718.38
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 916001 0 1 0 171110 728 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=1101.45
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 109516 629 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.47
Current children cumulated vsize (KiB) 822096
[startup+1784.17 s]
/proc/loadavg: 3.26 3.38 3.06 5/102 28242
/proc/meminfo: memFree=711256/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1778.33
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 916317 0 1 0 177101 732 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=1144.72
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 113840 632 0 0 17 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035704 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.42
Current children cumulated vsize (KiB) 822096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.86 s]
/proc/loadavg: 3.39 3.40 3.08 4/102 28242
/proc/meminfo: memFree=711256/2055920 swapFree=4192812/4192956
[pid=27929] ppid=27927 vsize=13724 CPUtime=1.09
/proc/27929/stat : 27929 (sugar) S 27927 27929 27864 0 -1 4194304 1190 8694 0 1 3 1 97 8 15 0 1 0 30326843 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27929/statm: 3431 809 371 3 0 531 0
[pid=27939] ppid=27929 vsize=808372 CPUtime=1799.01
/proc/27939/stat : 27939 (java) R 27929 27929 27864 0 -1 0 916423 0 1 0 179167 734 0 0 25 0 8 0 30326956 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27939/statm: 202093 150996 1507 14 0 189371 0
[pid=27939/tid=27940] ppid=27929 vsize=808372 CPUtime=1159.78
/proc/27939/task/27940/stat : 27940 (java) R 27929 27929 27864 0 -1 64 890511 0 0 0 115345 633 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27939/tid=27941] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27941/stat : 27941 (java) S 27929 27929 27864 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27942] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27942/stat : 27942 (java) S 27929 27929 27864 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30326960 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27943] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27943/stat : 27943 (java) S 27929 27929 27864 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27944] ppid=27929 vsize=808372 CPUtime=0.14
/proc/27939/task/27944/stat : 27944 (java) S 27929 27929 27864 0 -1 64 393 0 0 0 14 0 0 0 16 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27945] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27945/stat : 27945 (java) S 27929 27929 27864 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27939/tid=27946] ppid=27929 vsize=808372 CPUtime=0
/proc/27939/task/27946/stat : 27946 (java) S 27929 27929 27864 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30326964 827772928 150996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 822096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27929 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=15845 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=100984
CPU time returned by wait4() is 1.11683
while last known CPU time is 1800.22
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.89
CPU time (s): 1800.22
CPU user time (s): 1792.69
CPU system time (s): 7.53
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 822096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.01585
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9964
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= 451
involuntary context switches= 369
runsolver used 2.23266 s user time and 6.17506 s system time
The end
Begin job on node5 on Mon Jan 29 20:48:40 UTC 2007
IDJOB= 224706
IDBENCH= 5788
IDSOLVER= 86
FILE ID= node5/224706-1170103720
PBS_JOBID= 3689782
Free space on /tmp= 66473 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-21_ext.xml
COMMAND LINE= /tmp/evaluation/224706-1170103720/solver /tmp/evaluation/224706-1170103720 /tmp/evaluation/224706-1170103720/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-224706-1170103720 -o ROOT/results/node5/solver-224706-1170103720 -C 1800 -M 900 /tmp/evaluation/224706-1170103720/solver /tmp/evaluation/224706-1170103720 /tmp/evaluation/224706-1170103720/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 51f2a38268dbd8e606d3e3cd8b7f5ec4
RANDOM SEED= 363746445
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: 1617328 kB
Buffers: 23900 kB
Cached: 135560 kB
SwapCached: 0 kB
Active: 351684 kB
Inactive: 34396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1617328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 246328 kB
Slab: 37188 kB
Committed_AS: 662060 kB
PageTables: 2420 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= 66546 MiB
End job on node5 on Mon Jan 29 21:18:46 UTC 2007