0.05 c # Sugar v0-40 (/tmp/evaluation/226817-1170105481/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/226817-1170105481/unknown.xml [Mon Jan 29 22:18:01 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/226817-1170105481/unknown.xml /tmp/evaluation/226817-1170105481/sugar27840.csp [Mon Jan 29 22:18:01 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226817-1170105481/sugar-v0-40.jar -convert /tmp/evaluation/226817-1170105481/unknown.xml /tmp/evaluation/226817-1170105481/sugar27840.csp
0.29 c BEGIN convert /tmp/evaluation/226817-1170105481/unknown.xml
0.91 c END convert (0.615727 seconds)
0.93 c # CONVERT_XML END : /tmp/evaluation/226817-1170105481/sugar27840.csp 2349635 bytes (1 seconds) [Mon Jan 29 22:18:02 2007]
0.93 c # CONVERT_XML CPU : 0.72 = 0 + 0 + 0.66 + 0.06
0.93
0.93 c # GENERATE_SAT BEGIN : /tmp/evaluation/226817-1170105481/sugar27840.bcnf [Mon Jan 29 22:18:02 2007]
0.93 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226817-1170105481/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226817-1170105481/sugar27840.map /tmp/evaluation/226817-1170105481/sugar27840.csp /tmp/evaluation/226817-1170105481/sugar27840.bcnf
1.04 c BEGIN parse /tmp/evaluation/226817-1170105481/sugar27840.csp
1806.57
1806.57 s UNKNOWN
1806.57 c # INTERRUPTED
1806.57 c # MAIN END : (1806 seconds) [Mon Jan 29 22:48:07 2007]
1806.57 c # MAIN CPU : 0.73 = 0.01 + 0 + 0.66 + 0.06
1806.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-226817-1170105481 -o ROOT/results/node1/solver-226817-1170105481 -C 1800 -M 900 /tmp/evaluation/226817-1170105481/solver /tmp/evaluation/226817-1170105481 /tmp/evaluation/226817-1170105481/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: 3.04 3.21 3.03 4/94 27841
/proc/meminfo: memFree=1308944/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=18540 CPUtime=0
/proc/27840/stat : 27840 (runsolver) R 27838 27840 26103 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30503154 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27840/statm: 4635 279 244 17 0 2626 0
[startup+0.107106 s]
/proc/loadavg: 3.04 3.21 3.03 4/94 27841
/proc/meminfo: memFree=1308944/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.04
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30503154 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515153 s]
/proc/loadavg: 3.04 3.21 3.03 4/94 27841
/proc/meminfo: memFree=1308944/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.04
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30503154 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33725 s]
/proc/loadavg: 3.04 3.21 3.03 4/102 27857
/proc/meminfo: memFree=1298704/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807064 CPUtime=0.39
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 6561 0 1 0 35 4 0 0 25 0 8 0 30503247 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201766 6310 1494 14 0 189044 0
[pid=27850/tid=27851] ppid=27840 vsize=807064 CPUtime=0.03
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 511 0 0 0 3 0 0 0 16 0 8 0 30503250 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822972 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807064 CPUtime=0.04
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30503254 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826433536 6310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 820788
[startup+2.99013 s]
/proc/loadavg: 3.04 3.21 3.03 3/102 27857
/proc/meminfo: memFree=1278672/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807064 CPUtime=2.02
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 14423 0 1 0 194 8 0 0 25 0 8 0 30503247 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073495345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201766 14157 1494 14 0 189044 0
[pid=27850/tid=27851] ppid=27840 vsize=807064 CPUtime=0.55
/proc/27850/task/27851/stat : 27851 (java) S 27840 27840 26103 0 -1 64 8358 0 0 0 51 4 0 0 16 0 8 0 30503250 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807064 CPUtime=0.04
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30503254 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807064 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826433536 14157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 820788
[startup+6.22183 s]
/proc/loadavg: 2.96 3.19 3.02 3/102 27857
/proc/meminfo: memFree=1172560/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807340 CPUtime=5.2
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 36831 0 1 0 501 19 0 0 25 0 8 0 30503247 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201835 36478 1506 14 0 189113 0
[pid=27850/tid=27851] ppid=27840 vsize=807340 CPUtime=1.63
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 30541 0 0 0 148 15 0 0 15 0 8 0 30503250 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807340 CPUtime=0.11
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 383 0 0 0 11 0 0 0 16 0 8 0 30503254 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826716160 36478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 821064
[startup+12.6856 s]
/proc/loadavg: 2.88 3.17 3.02 4/102 27857
/proc/meminfo: memFree=1100368/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807340 CPUtime=11.58
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 55126 0 1 0 1127 31 0 0 25 0 8 0 30503247 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201835 54099 1507 14 0 189113 0
[pid=27850/tid=27851] ppid=27840 vsize=807340 CPUtime=4.28
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 48630 0 0 0 403 25 0 0 16 0 8 0 30503250 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807340 CPUtime=0.12
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 387 0 0 0 12 0 0 0 16 0 8 0 30503254 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) R 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826716160 54099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 821064
[startup+25.5871 s]
/proc/loadavg: 2.69 3.11 3.00 4/102 27857
/proc/meminfo: memFree=1084496/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807340 CPUtime=24.32
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 58283 0 1 0 2395 37 0 0 25 0 8 0 30503247 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073584671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201835 54103 1507 14 0 189113 0
[pid=27850/tid=27851] ppid=27840 vsize=807340 CPUtime=10.6
/proc/27850/task/27851/stat : 27851 (java) S 27840 27840 26103 0 -1 64 51427 0 0 0 1030 30 0 0 16 0 8 0 30503250 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807340 CPUtime=0.13
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 391 0 0 0 13 0 0 0 17 0 8 0 30503254 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826716160 54103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 821064
[startup+51.2273 s]
/proc/loadavg: 2.78 3.10 3.00 4/102 27857
/proc/meminfo: memFree=1091024/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807340 CPUtime=49.64
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 63949 0 1 0 4913 51 0 0 25 0 8 0 30503247 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201835 54126 1507 14 0 189113 0
[pid=27850/tid=27851] ppid=27840 vsize=807340 CPUtime=22.8
/proc/27850/task/27851/stat : 27851 (java) S 27840 27840 26103 0 -1 64 56342 0 0 0 2240 40 0 0 15 0 8 0 30503250 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807340 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 397 0 0 0 14 0 0 0 17 0 8 0 30503254 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807340 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 826716160 54126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 821064
[startup+102.477 s]
/proc/loadavg: 2.65 3.00 2.97 3/102 27857
/proc/meminfo: memFree=1077456/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807340 CPUtime=100.25
/proc/27850/stat : 27850 (java) R 27840 27840 26103 0 -1 0 76635 0 1 0 9947 78 0 0 25 0 8 0 30503247 826716160 54128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27850/statm: 201835 54128 1507 14 0 189113 0
[pid=27850/tid=27851] ppid=27840 vsize=807340 CPUtime=48.1
################
# More data... #
################
/proc/loadavg: 2.11 2.16 2.48 3/95 27960
/proc/meminfo: memFree=1245064/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1536.47
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 267356 0 1 0 153325 322 0 0 17 0 8 0 30503247 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 152904 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1069.11
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 248159 0 0 0 106656 255 0 0 25 0 8 0 30503250 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.23
Current children cumulated vsize (KiB) 821568
[startup+1603.69 s]
/proc/loadavg: 2.04 2.13 2.44 3/95 27960
/proc/meminfo: memFree=1244872/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1596.49
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 271721 0 1 0 159324 325 0 0 17 0 8 0 30503247 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 152904 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1126.8
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 252479 0 0 0 112422 258 0 0 25 0 8 0 30503250 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155222438 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 152904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.25
Current children cumulated vsize (KiB) 821568
[startup+1663.73 s]
/proc/loadavg: 2.12 2.15 2.43 3/95 27960
/proc/meminfo: memFree=1239880/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1656.51
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 277197 0 1 0 165321 330 0 0 17 0 8 0 30503247 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 154015 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1184.54
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 257910 0 0 0 118191 263 0 0 25 0 8 0 30503250 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022632 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 154015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.27
Current children cumulated vsize (KiB) 821568
[startup+1723.76 s]
/proc/loadavg: 2.09 2.13 2.41 3/95 27960
/proc/meminfo: memFree=1235592/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1716.53
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 282489 0 1 0 171319 334 0 0 17 0 8 0 30503247 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 154942 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1242.31
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 263157 0 0 0 123964 267 0 0 25 0 8 0 30503250 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022652 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 154942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.29
Current children cumulated vsize (KiB) 821568
[startup+1783.8 s]
/proc/loadavg: 2.03 2.11 2.38 3/95 27960
/proc/meminfo: memFree=1231816/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1776.55
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 287336 0 1 0 177317 338 0 0 17 0 8 0 30503247 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 155521 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1300.1
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 267960 0 0 0 129740 270 0 0 25 0 8 0 30503250 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 155521 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.31
Current children cumulated vsize (KiB) 821568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.55 s]
/proc/loadavg: 2.14 2.13 2.37 3/95 27960
/proc/meminfo: memFree=1230472/2055920 swapFree=4192812/4192956
[pid=27840] ppid=27838 vsize=13724 CPUtime=0.76
/proc/27840/stat : 27840 (sugar) S 27838 27840 26103 0 -1 4194304 1190 7938 0 1 3 1 66 6 15 0 1 0 30503154 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27840/statm: 3431 809 371 3 0 531 0
[pid=27850] ppid=27840 vsize=807844 CPUtime=1799.3
/proc/27850/stat : 27850 (java) S 27840 27840 26103 0 -1 0 289301 0 1 0 179591 339 0 0 17 0 8 0 30503247 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27850/statm: 201961 155837 1507 14 0 189239 0
[pid=27850/tid=27851] ppid=27840 vsize=807844 CPUtime=1321.99
/proc/27850/task/27851/stat : 27851 (java) R 27840 27840 26103 0 -1 64 269908 0 0 0 131927 272 0 0 25 0 8 0 30503250 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022707 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27850/tid=27852] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27852/stat : 27852 (java) S 27840 27840 26103 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30503251 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27853] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27853/stat : 27853 (java) S 27840 27840 26103 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30503251 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27854] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27854/stat : 27854 (java) S 27840 27840 26103 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30503254 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27855] ppid=27840 vsize=807844 CPUtime=0.14
/proc/27850/task/27855/stat : 27855 (java) S 27840 27840 26103 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30503254 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27856] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27856/stat : 27856 (java) S 27840 27840 26103 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30503254 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27850/tid=27857] ppid=27840 vsize=807844 CPUtime=0
/proc/27850/task/27857/stat : 27857 (java) S 27840 27840 26103 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30503254 827232256 155837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 821568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 27840 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=694894 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=74988
CPU time returned by wait4() is 0.769882
while last known CPU time is 1801
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1807.58
CPU time (s): 1801
CPU user time (s): 1797.54
CPU system time (s): 3.46
CPU usage (%): 99.6362
Max. virtual memory (cumulated for all children) (KiB): 821568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.694894
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9209
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= 504
involuntary context switches= 418
runsolver used 2.29165 s user time and 6.05308 s system time
The end
Begin job on node1 on Mon Jan 29 21:18:01 UTC 2007
IDJOB= 226817
IDBENCH= 6015
IDSOLVER= 86
FILE ID= node1/226817-1170105481
PBS_JOBID= 3689531
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-37_ext.xml
COMMAND LINE= /tmp/evaluation/226817-1170105481/solver /tmp/evaluation/226817-1170105481 /tmp/evaluation/226817-1170105481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-226817-1170105481 -o ROOT/results/node1/solver-226817-1170105481 -C 1800 -M 900 /tmp/evaluation/226817-1170105481/solver /tmp/evaluation/226817-1170105481 /tmp/evaluation/226817-1170105481/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 6187c5c96d7099a8ef3a0bbc8135cc5b
RANDOM SEED= 218484576
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.230
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.230
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: 1321968 kB
Buffers: 15436 kB
Cached: 69496 kB
SwapCached: 0 kB
Active: 648260 kB
Inactive: 33412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1321968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1208 kB
Writeback: 0 kB
Mapped: 622292 kB
Slab: 36024 kB
Committed_AS: 1002812 kB
PageTables: 3300 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= 66556 MiB
End job on node1 on Mon Jan 29 21:48:08 UTC 2007