0.05 c # Sugar v0-40 (/tmp/evaluation/197898-1170093283/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/197898-1170093283/unknown.xml [Mon Jan 29 18:54:46 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/197898-1170093283/unknown.xml /tmp/evaluation/197898-1170093283/sugar24017.csp [Mon Jan 29 18:54:46 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/197898-1170093283/sugar-v0-40.jar -convert /tmp/evaluation/197898-1170093283/unknown.xml /tmp/evaluation/197898-1170093283/sugar24017.csp
0.17 c BEGIN convert /tmp/evaluation/197898-1170093283/unknown.xml
864.00 c END convert (863.834182 seconds)
864.18 c # CONVERT_XML END : /tmp/evaluation/197898-1170093283/sugar24017.csp 467447915 bytes (864 seconds) [Mon Jan 29 19:09:10 2007]
864.18 c # CONVERT_XML CPU : 856.55 = 0 + 0 + 852.29 + 4.26
864.18
864.18 c # GENERATE_SAT BEGIN : /tmp/evaluation/197898-1170093283/sugar24017.bcnf [Mon Jan 29 19:09:10 2007]
864.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/197898-1170093283/sugar-v0-40.jar -bcnf -map /tmp/evaluation/197898-1170093283/sugar24017.map /tmp/evaluation/197898-1170093283/sugar24017.csp /tmp/evaluation/197898-1170093283/sugar24017.bcnf
864.57 c BEGIN parse /tmp/evaluation/197898-1170093283/sugar24017.csp
1194.89 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1195.62 s UNKNOWN
1195.62 c # ERROR /tmp/evaluation/197898-1170093283/sugar24017.bcnf is not generated, at /tmp/evaluation/197898-1170093283/sugar line 310.
1195.62
1195.62 c # MAIN END : (1196 seconds) [Mon Jan 29 19:14:42 2007]
1195.62 c # MAIN CPU : 856.55 = 0 + 0 + 852.29 + 4.26
1195.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-197898-1170093283 -o ROOT/results/node2/solver-197898-1170093283 -C 1800 -M 900 /tmp/evaluation/197898-1170093283/solver /tmp/evaluation/197898-1170093283 /tmp/evaluation/197898-1170093283/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.24 2.71 2.57 5/87 24018
/proc/meminfo: memFree=1570768/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=12128 CPUtime=0
/proc/24017/stat : 24017 (sugar) R 24015 24017 23615 0 -1 4194304 482 0 0 0 0 0 0 0 20 0 1 0 29283556 12419072 201 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206381192618 0 0 4224 0 0 0 0 17 1 0 0
/proc/24017/statm: 3032 201 149 3 0 132 0
[startup+0.107627 s]
/proc/loadavg: 2.24 2.71 2.57 5/87 24018
/proc/meminfo: memFree=1570768/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515668 s]
/proc/loadavg: 2.24 2.71 2.57 5/87 24018
/proc/meminfo: memFree=1570768/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33876 s]
/proc/loadavg: 2.30 2.71 2.57 4/95 24026
/proc/meminfo: memFree=1484240/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807292 CPUtime=1.24
/proc/24019/stat : 24019 (java) R 24017 24017 23615 0 -1 0 26027 0 1 0 103 21 0 0 18 0 8 0 29283562 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201823 25769 1659 14 0 189101 0
[pid=24019/tid=24020] ppid=24017 vsize=807292 CPUtime=0.19
/proc/24019/task/24020/stat : 24020 (java) R 24017 24017 23615 0 -1 64 19558 0 0 0 10 9 0 0 16 0 8 0 29283565 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29283565 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807292 CPUtime=0.09
/proc/24019/task/24024/stat : 24024 (java) R 24017 24017 23615 0 -1 64 369 0 0 0 9 0 0 0 19 0 8 0 29283569 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 826667008 25769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 821016
[startup+2.99194 s]
/proc/loadavg: 2.30 2.71 2.57 3/95 24026
/proc/meminfo: memFree=1403280/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807292 CPUtime=2.88
/proc/24019/stat : 24019 (java) R 24017 24017 23615 0 -1 0 48854 0 1 0 252 36 0 0 25 0 8 0 29283562 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073727712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201823 48587 1691 14 0 189101 0
[pid=24019/tid=24020] ppid=24017 vsize=807292 CPUtime=0.53
/proc/24019/task/24020/stat : 24020 (java) S 24017 24017 23615 0 -1 64 42277 0 0 0 33 20 0 0 16 0 8 0 29283565 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29283565 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807292 CPUtime=0.14
/proc/24019/task/24024/stat : 24024 (java) S 24017 24017 23615 0 -1 64 399 0 0 0 14 0 0 0 16 0 8 0 29283569 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807292 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) R 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 826667008 48587 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821016
[startup+6.28626 s]
/proc/loadavg: 2.28 2.70 2.57 4/95 24026
/proc/meminfo: memFree=1291984/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807416 CPUtime=6.14
/proc/24019/stat : 24019 (java) R 24017 24017 23615 0 -1 0 78197 0 1 0 562 52 0 0 25 0 8 0 29283562 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201854 77759 1694 14 0 189132 0
[pid=24019/tid=24020] ppid=24017 vsize=807416 CPUtime=1.38
/proc/24019/task/24020/stat : 24020 (java) R 24017 24017 23615 0 -1 64 70129 0 0 0 103 35 0 0 16 0 8 0 29283565 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155772480 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29283565 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807416 CPUtime=0.15
/proc/24019/task/24024/stat : 24024 (java) S 24017 24017 23615 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 29283569 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 826793984 77759 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821140
[startup+12.6899 s]
/proc/loadavg: 2.26 2.69 2.57 4/95 24026
/proc/meminfo: memFree=1064592/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807416 CPUtime=12.48
/proc/24019/stat : 24019 (java) R 24017 24017 23615 0 -1 0 130173 0 1 0 1168 80 0 0 25 0 8 0 29283562 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073734289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201854 129658 1694 14 0 189132 0
[pid=24019/tid=24020] ppid=24017 vsize=807416 CPUtime=3.09
/proc/24019/task/24020/stat : 24020 (java) S 24017 24017 23615 0 -1 64 119671 0 0 0 247 62 0 0 16 0 8 0 29283565 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29283565 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807416 CPUtime=0.16
/proc/24019/task/24024/stat : 24024 (java) S 24017 24017 23615 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 29283569 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 826793984 129658 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 821140
[startup+25.5633 s]
/proc/loadavg: 2.29 2.68 2.56 3/95 24026
/proc/meminfo: memFree=945104/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807668 CPUtime=25.24
/proc/24019/stat : 24019 (java) S 24017 24017 23615 0 -1 0 157760 0 2 0 2426 98 0 0 18 0 8 0 29283562 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201917 156968 1697 14 0 189195 0
[pid=24019/tid=24020] ppid=24017 vsize=807668 CPUtime=12.46
/proc/24019/task/24020/stat : 24020 (java) R 24017 24017 23615 0 -1 64 147229 0 0 0 1168 78 0 0 25 0 8 0 29283565 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155222434 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29283565 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807668 CPUtime=0.17
/proc/24019/task/24024/stat : 24024 (java) S 24017 24017 23615 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 29283569 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 827052032 156968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 821392
[startup+51.2299 s]
/proc/loadavg: 2.17 2.62 2.54 3/95 24026
/proc/meminfo: memFree=932368/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807668 CPUtime=50.65
/proc/24019/stat : 24019 (java) S 24017 24017 23615 0 -1 0 158566 0 2 0 4961 104 0 0 17 0 8 0 29283562 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201917 156974 1697 14 0 189195 0
[pid=24019/tid=24020] ppid=24017 vsize=807668 CPUtime=34.99
/proc/24019/task/24020/stat : 24020 (java) R 24017 24017 23615 0 -1 64 148009 0 0 0 3421 78 0 0 25 0 8 0 29283565 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155523691 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24017 24017 23615 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29283565 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24017 24017 23615 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 29283565 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29283569 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24017 vsize=807668 CPUtime=0.18
/proc/24019/task/24024/stat : 24024 (java) S 24017 24017 23615 0 -1 64 422 0 0 0 18 0 0 0 17 0 8 0 29283569 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807668 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 821392
[startup+102.467 s]
/proc/loadavg: 2.15 2.54 2.52 3/95 24026
/proc/meminfo: memFree=904464/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=0.04
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29283556 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24017/statm: 3431 805 368 3 0 531 0
[pid=24019] ppid=24017 vsize=807668 CPUtime=101.32
/proc/24019/stat : 24019 (java) S 24017 24017 23615 0 -1 0 160206 0 2 0 10014 118 0 0 17 0 8 0 29283562 827052032 156974 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201917 156974 1697 14 0 189195 0
[pid=24019/tid=24020] ppid=24017 vsize=807668 CPUtime=79.87
################
# More data... #
################
/proc/24019/task/24025/stat : 24025 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29283569 826793984 156936 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24017 vsize=807416 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29283569 826793984 156936 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.23
Current children cumulated vsize (KiB) 821140
[startup+883.479 s]
/proc/loadavg: 2.95 2.53 2.44 3/102 24296
/proc/meminfo: memFree=15768/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=18.08
/proc/24289/stat : 24289 (java) R 24017 24017 23615 0 -1 0 84341 0 17 0 1762 46 0 0 25 0 8 0 29369975 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24289/statm: 201766 83970 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=6.06
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 76793 0 0 0 573 33 0 0 16 0 8 0 29369999 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822834 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.04
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 29370009 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 83970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 874.67
Current children cumulated vsize (KiB) 820788
[startup+943.577 s]
/proc/loadavg: 4.06 2.93 2.58 3/102 24296
/proc/meminfo: memFree=15256/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=77.64
/proc/24289/stat : 24289 (java) S 24017 24017 23615 0 -1 0 156486 0 17 0 7656 108 0 0 18 0 8 0 29369975 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 201766 156054 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=53.52
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 146573 0 0 0 5265 87 0 0 25 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134577 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.05
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 934.23
Current children cumulated vsize (KiB) 820788
[startup+1003.62 s]
/proc/loadavg: 2.98 2.84 2.57 4/102 24296
/proc/meminfo: memFree=14872/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=137.57
/proc/24289/stat : 24289 (java) S 24017 24017 23615 0 -1 0 156503 0 17 0 13625 132 0 0 17 0 8 0 29369975 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 201766 156054 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=111.6
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 146573 0 0 0 11050 110 0 0 25 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035673 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.05
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.16
Current children cumulated vsize (KiB) 820788
[startup+1063.62 s]
/proc/loadavg: 2.89 2.84 2.58 3/102 24296
/proc/meminfo: memFree=15960/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=197.35
/proc/24289/stat : 24289 (java) S 24017 24017 23615 0 -1 0 156522 0 17 0 19578 157 0 0 17 0 8 0 29369975 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 201766 156054 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=171.2
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 146573 0 0 0 16985 135 0 0 25 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134196 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.05
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1053.94
Current children cumulated vsize (KiB) 820788
[startup+1123.72 s]
/proc/loadavg: 2.55 2.74 2.56 3/102 24296
/proc/meminfo: memFree=15576/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=257.32
/proc/24289/stat : 24289 (java) S 24017 24017 23615 0 -1 0 156540 0 17 0 25553 179 0 0 17 0 8 0 29369975 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 201766 156054 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=231.16
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 146573 0 0 0 22959 157 0 0 25 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.05
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.91
Current children cumulated vsize (KiB) 820788
[startup+1183.76 s]
/proc/loadavg: 2.73 2.74 2.57 4/102 24296
/proc/meminfo: memFree=15960/2055920 swapFree=4192812/4192956
[pid=24017] ppid=24015 vsize=13724 CPUtime=856.59
/proc/24017/stat : 24017 (sugar) S 24015 24017 23615 0 -1 4194304 1190 186254 0 4 3 1 85229 426 15 0 1 0 29283556 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24017/statm: 3431 809 371 3 0 531 0
[pid=24289] ppid=24017 vsize=807064 CPUtime=317.22
/proc/24289/stat : 24289 (java) S 24017 24017 23615 0 -1 0 156558 0 17 0 31517 205 0 0 17 0 8 0 29369975 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24289/statm: 201766 156054 1495 14 0 189044 0
[pid=24289/tid=24290] ppid=24017 vsize=807064 CPUtime=291.08
/proc/24289/task/24290/stat : 24290 (java) R 24017 24017 23615 0 -1 64 146573 0 0 0 28924 184 0 0 25 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523552 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24289/tid=24291] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24291/stat : 24291 (java) S 24017 24017 23615 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24292] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24292/stat : 24292 (java) S 24017 24017 23615 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29369999 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24293] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24293/stat : 24293 (java) S 24017 24017 23615 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24294] ppid=24017 vsize=807064 CPUtime=0.05
/proc/24289/task/24294/stat : 24294 (java) S 24017 24017 23615 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24295] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24295/stat : 24295 (java) S 24017 24017 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24289/tid=24296] ppid=24017 vsize=807064 CPUtime=0
/proc/24289/task/24296/stat : 24296 (java) S 24017 24017 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29370009 826433536 156054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.81
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24017 and gives childrusage.ru_utime.tv_sec=852 childrusage.ru_utime.tv_usec=328426 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=317343
CPU time returned by wait4() is 856.646
while last known CPU time is 1185.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1197.99
CPU time (s): 1185.08
CPU user time (s): 1178.61
CPU system time (s): 6.47
CPU usage (%): 98.922
Max. virtual memory (cumulated for all children) (KiB): 821664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 852.328
system time used= 4.31734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187520
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19257
involuntary context switches= 41915
runsolver used 1.48477 s user time and 4.02239 s system time
The end
Begin job on node2 on Mon Jan 29 17:54:46 UTC 2007
IDJOB= 197898
IDBENCH= 3520
IDSOLVER= 86
FILE ID= node2/197898-1170093283
PBS_JOBID= 3689411
Free space on /tmp= 66487 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/marc/large-88-unsat_ext.xml
COMMAND LINE= /tmp/evaluation/197898-1170093283/solver /tmp/evaluation/197898-1170093283 /tmp/evaluation/197898-1170093283/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-197898-1170093283 -o ROOT/results/node2/solver-197898-1170093283 -C 1800 -M 900 /tmp/evaluation/197898-1170093283/solver /tmp/evaluation/197898-1170093283 /tmp/evaluation/197898-1170093283/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= aeaaa77092ff05a96b94f5d8f803c6c1
RANDOM SEED= 392961416
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.247
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.247
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: 1571248 kB
Buffers: 20788 kB
Cached: 296296 kB
SwapCached: 0 kB
Active: 215480 kB
Inactive: 213820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1571248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 66824 kB
Writeback: 0 kB
Mapped: 131896 kB
Slab: 40092 kB
Committed_AS: 312220 kB
PageTables: 2256 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= 56944 MiB
End job on node2 on Mon Jan 29 18:14:44 UTC 2007