0.04 c # Sugar v0-40 (/tmp/evaluation/211676-1170098174/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/211676-1170098174/unknown.xml [Mon Jan 29 20:16:16 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/211676-1170098174/unknown.xml /tmp/evaluation/211676-1170098174/sugar22053.csp [Mon Jan 29 20:16:16 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211676-1170098174/sugar-v0-40.jar -convert /tmp/evaluation/211676-1170098174/unknown.xml /tmp/evaluation/211676-1170098174/sugar22053.csp
0.19 c BEGIN convert /tmp/evaluation/211676-1170098174/unknown.xml
1.76 c END convert (1.57202 seconds)
1.82 c # CONVERT_XML END : /tmp/evaluation/211676-1170098174/sugar22053.csp 964113 bytes (2 seconds) [Mon Jan 29 20:16:18 2007]
1.82 c # CONVERT_XML CPU : 1.7 = 0 + 0.01 + 1.61 + 0.08
1.82
1.82 c # GENERATE_SAT BEGIN : /tmp/evaluation/211676-1170098174/sugar22053.bcnf [Mon Jan 29 20:16:18 2007]
1.82 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211676-1170098174/sugar-v0-40.jar -bcnf -map /tmp/evaluation/211676-1170098174/sugar22053.map /tmp/evaluation/211676-1170098174/sugar22053.csp /tmp/evaluation/211676-1170098174/sugar22053.bcnf
2.01 c BEGIN parse /tmp/evaluation/211676-1170098174/sugar22053.csp
10.47 c END parse (8.454993 seconds)
10.47 c BEGIN simplify
10.48 c END simplify (0.011256 seconds)
10.48 c BEGIN encode /tmp/evaluation/211676-1170098174/sugar22053.bcnf
2151.51
2151.51 s UNKNOWN
2151.51 c # INTERRUPTED
2151.51 c # MAIN END : (2151 seconds) [Mon Jan 29 20:52:07 2007]
2151.51 c # MAIN CPU : 1.7 = 0 + 0.01 + 1.61 + 0.08
2151.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-211676-1170098174 -o ROOT/results/node42/solver-211676-1170098174 -C 1800 -M 900 /tmp/evaluation/211676-1170098174/solver /tmp/evaluation/211676-1170098174 /tmp/evaluation/211676-1170098174/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.90 1.70 1.68 5/82 22054
/proc/meminfo: memFree=1369272/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=12132 CPUtime=0
/proc/22053/stat : 22053 (sugar) R 22051 22053 21469 0 -1 4194304 541 0 0 0 0 0 0 0 18 0 1 0 29773599 12423168 260 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259434749776 0 0 4224 0 0 0 0 17 1 0 0
/proc/22053/statm: 3066 273 203 3 0 166 0
[startup+0.107041 s]
/proc/loadavg: 2.90 1.70 1.68 5/82 22054
/proc/meminfo: memFree=1369272/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=0.04
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29773599 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22053/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51512 s]
/proc/loadavg: 2.90 1.70 1.68 5/82 22054
/proc/meminfo: memFree=1369272/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=0.04
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29773599 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22053/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33628 s]
/proc/loadavg: 2.90 1.70 1.68 4/90 22062
/proc/meminfo: memFree=1315640/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=0.04
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29773599 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22053/statm: 3431 805 368 3 0 531 0
[pid=22055] ppid=22053 vsize=807412 CPUtime=1.25
/proc/22055/stat : 22055 (java) R 22053 22053 21469 0 -1 0 10937 0 1 0 119 6 0 0 18 0 8 0 29773603 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22055/statm: 201853 10681 1695 14 0 189131 0
[pid=22055/tid=22056] ppid=22053 vsize=807412 CPUtime=0.12
/proc/22055/task/22056/stat : 22056 (java) S 22053 22053 21469 0 -1 64 4322 0 0 0 11 1 0 0 16 0 8 0 29773609 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22057] ppid=22053 vsize=807412 CPUtime=0
/proc/22055/task/22057/stat : 22057 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773610 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22058] ppid=22053 vsize=807412 CPUtime=0
/proc/22055/task/22058/stat : 22058 (java) S 22053 22053 21469 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29773610 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22059] ppid=22053 vsize=807412 CPUtime=0
/proc/22055/task/22059/stat : 22059 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773613 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22060] ppid=22053 vsize=807412 CPUtime=0.17
/proc/22055/task/22060/stat : 22060 (java) R 22053 22053 21469 0 -1 64 427 0 0 0 16 1 0 0 20 0 8 0 29773613 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22061] ppid=22053 vsize=807412 CPUtime=0
/proc/22055/task/22061/stat : 22061 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773613 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22055/tid=22062] ppid=22053 vsize=807412 CPUtime=0
/proc/22055/task/22062/stat : 22062 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773613 826789888 10681 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 821136
[startup+2.98259 s]
/proc/loadavg: 3.15 1.78 1.70 4/90 22070
/proc/meminfo: memFree=1307512/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 15 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807064 CPUtime=1.07
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 9847 0 1 0 102 5 0 0 24 0 8 0 29773781 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22063/statm: 201766 9591 1494 14 0 189044 0
[pid=22063/tid=22064] ppid=22053 vsize=807064 CPUtime=0.22
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 3740 0 0 0 21 1 0 0 16 0 8 0 29773784 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807064 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807064 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807064 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807064 CPUtime=0.05
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 293 0 0 0 5 0 0 0 16 0 8 0 29773788 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807064 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807064 CPUtime=0
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773788 826433536 9591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 820788
[startup+6.28022 s]
/proc/loadavg: 3.15 1.78 1.70 3/90 22070
/proc/meminfo: memFree=1224056/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 15 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=4.36
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 14054 0 1 0 429 7 0 0 25 0 8 0 29773781 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22063/statm: 201844 13772 1506 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.5
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 7771 0 0 0 47 3 0 0 16 0 8 0 29773784 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.15
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 420 0 0 0 15 0 0 0 16 0 8 0 29773788 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773788 826753024 13772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 821100
[startup+12.7725 s]
/proc/loadavg: 3.36 1.87 1.73 3/90 22070
/proc/meminfo: memFree=1042824/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=10.69
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17552 0 1 0 1036 33 0 0 25 0 8 0 29773781 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17231 1509 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.16
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 426 0 0 0 16 0 0 0 16 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 821100
[startup+25.6469 s]
/proc/loadavg: 3.46 1.93 1.76 3/90 22071
/proc/meminfo: memFree=495112/2055920 swapFree=4192956/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=23.06
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17552 0 1 0 2140 166 0 0 25 0 8 0 29773781 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17231 1509 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.16
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 426 0 0 0 16 0 0 0 16 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 821100
[startup+51.2958 s]
/proc/loadavg: 4.11 2.20 1.85 4/91 22073
/proc/meminfo: memFree=16000/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=46.77
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17552 0 1 0 4227 450 0 0 25 0 8 0 29773781 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17231 1509 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.16
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 426 0 0 0 16 0 0 0 16 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29773788 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.5
Current children cumulated vsize (KiB) 821100
[startup+102.552 s]
/proc/loadavg: 4.58 2.64 2.01 1/92 22077
/proc/meminfo: memFree=30008/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=77.5
/proc/22063/stat : 22063 (java) D 22053 22053 21469 0 -1 0 17552 0 1 0 6868 882 0 0 24 0 8 0 29773781 826753024 17231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17231 1509 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
################
# More data... #
################
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1559.02
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 85535 70367 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.1
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 5 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1560.75
Current children cumulated vsize (KiB) 821100
[startup+1963.89 s]
/proc/loadavg: 2.15 2.36 3.25 4/90 22169
/proc/meminfo: memFree=15112/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1617.63
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 86657 75106 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.1
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 5 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1619.36
Current children cumulated vsize (KiB) 821100
[startup+2023.9 s]
/proc/loadavg: 2.22 2.33 3.19 3/90 22169
/proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1676.24
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 87766 79858 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.1
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 5 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1677.97
Current children cumulated vsize (KiB) 821100
[startup+2084 s]
/proc/loadavg: 2.23 2.32 3.13 3/90 22169
/proc/meminfo: memFree=15560/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1734.88
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 88896 84592 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.11
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 6 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1736.61
Current children cumulated vsize (KiB) 821100
[startup+2144.09 s]
/proc/loadavg: 2.39 2.33 3.08 2/83 22171
/proc/meminfo: memFree=852096/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1791.57
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 90044 89113 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.11
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 6 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1793.3
Current children cumulated vsize (KiB) 821100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2151.5 s]
/proc/loadavg: 2.44 2.35 3.08 2/83 22171
/proc/meminfo: memFree=820928/2055920 swapFree=4192812/4192956
[pid=22053] ppid=22051 vsize=13724 CPUtime=1.73
/proc/22053/stat : 22053 (sugar) S 22051 22053 21469 0 -1 4194304 1190 11256 0 1 3 1 161 8 16 0 1 0 29773599 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22053/statm: 3431 809 371 3 0 531 0
[pid=22063] ppid=22053 vsize=807376 CPUtime=1798.29
/proc/22063/stat : 22063 (java) R 22053 22053 21469 0 -1 0 17562 0 1 0 90183 89646 0 0 25 0 8 0 29773781 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22063/statm: 201844 17240 1511 14 0 189122 0
[pid=22063/tid=22064] ppid=22053 vsize=807376 CPUtime=0.79
/proc/22063/task/22064/stat : 22064 (java) S 22053 22053 21469 0 -1 64 11216 0 0 0 74 5 0 0 16 0 8 0 29773784 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22065] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22065/stat : 22065 (java) S 22053 22053 21469 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22066] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22066/stat : 22066 (java) S 22053 22053 21469 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29773785 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22067] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22067/stat : 22067 (java) S 22053 22053 21469 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22068] ppid=22053 vsize=807376 CPUtime=0.18
/proc/22063/task/22068/stat : 22068 (java) S 22053 22053 21469 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22069] ppid=22053 vsize=807376 CPUtime=0
/proc/22063/task/22069/stat : 22069 (java) S 22053 22053 21469 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22063/tid=22070] ppid=22053 vsize=807376 CPUtime=0.11
/proc/22063/task/22070/stat : 22070 (java) S 22053 22053 21469 0 -1 64 0 0 0 0 6 5 0 0 15 0 8 0 29773788 826753024 17240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22053 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=653748 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=14389
CPU time returned by wait4() is 5.66814
while last known CPU time is 1803.98
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2189.72
CPU time (s): 1803.98
CPU user time (s): 903.47
CPU system time (s): 900.51
CPU usage (%): 82.3839
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65375
system time used= 4.01439
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12470
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= 5501
involuntary context switches= 678
runsolver used 3.67544 s user time and 9.51055 s system time
The end
Begin job on node42 on Mon Jan 29 19:16:15 UTC 2007
IDJOB= 211676
IDBENCH= 4712
IDSOLVER= 86
FILE ID= node42/211676-1170098174
PBS_JOBID= 3689717
Free space on /tmp= 66017 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-neos20.xml
COMMAND LINE= /tmp/evaluation/211676-1170098174/solver /tmp/evaluation/211676-1170098174 /tmp/evaluation/211676-1170098174/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-211676-1170098174 -o ROOT/results/node42/solver-211676-1170098174 -C 1800 -M 900 /tmp/evaluation/211676-1170098174/solver /tmp/evaluation/211676-1170098174 /tmp/evaluation/211676-1170098174/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ad8ca07b5db74c307d79945a4c71bcdb
RANDOM SEED= 337282545
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.261
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.261
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: 1380504 kB
Buffers: 2672 kB
Cached: 545748 kB
SwapCached: 0 kB
Active: 71536 kB
Inactive: 522148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1380504 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 208912 kB
Writeback: 0 kB
Mapped: 62044 kB
Slab: 66884 kB
Committed_AS: 403484 kB
PageTables: 1904 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= 66563 MiB
End job on node42 on Mon Jan 29 19:52:45 UTC 2007