0.07 c # Sugar v0-40 (/tmp/evaluation/249164-1170111115/sugar-v0-40.jar)
0.07
0.07 c # MAIN BEGIN : /tmp/evaluation/249164-1170111115/unknown.xml [Mon Jan 29 23:51:55 2007]
0.07 c # CONVERT_XML BEGIN : /tmp/evaluation/249164-1170111115/unknown.xml /tmp/evaluation/249164-1170111115/sugar28950.csp [Mon Jan 29 23:51:55 2007]
0.07 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/249164-1170111115/sugar-v0-40.jar -convert /tmp/evaluation/249164-1170111115/unknown.xml /tmp/evaluation/249164-1170111115/sugar28950.csp
0.24 c BEGIN convert /tmp/evaluation/249164-1170111115/unknown.xml
0.51 c END convert (0.273 seconds)
0.56 c # CONVERT_XML END : /tmp/evaluation/249164-1170111115/sugar28950.csp 7345 bytes (0 seconds) [Mon Jan 29 23:51:55 2007]
0.56 c # CONVERT_XML CPU : 0.35 = 0 + 0 + 0.31 + 0.04
0.56
0.56 c # GENERATE_SAT BEGIN : /tmp/evaluation/249164-1170111115/sugar28950.bcnf [Mon Jan 29 23:51:55 2007]
0.56 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/249164-1170111115/sugar-v0-40.jar -bcnf -map /tmp/evaluation/249164-1170111115/sugar28950.map /tmp/evaluation/249164-1170111115/sugar28950.csp /tmp/evaluation/249164-1170111115/sugar28950.bcnf
0.74 c BEGIN parse /tmp/evaluation/249164-1170111115/sugar28950.csp
1.04 c END parse (0.298351 seconds)
1.04 c BEGIN simplify
1.04 c END simplify (0.003107 seconds)
1.04 c BEGIN encode /tmp/evaluation/249164-1170111115/sugar28950.bcnf
1839.11
1839.11 s UNKNOWN
1839.11 c # INTERRUPTED
1839.11 c # MAIN END : (1839 seconds) [Tue Jan 30 00:22:34 2007]
1839.11 c # MAIN CPU : 0.36 = 0 + 0.01 + 0.31 + 0.04
1839.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-249164-1170111115 -o ROOT/results/node14/solver-249164-1170111115 -C 1800 -M 900 /tmp/evaluation/249164-1170111115/solver /tmp/evaluation/249164-1170111115 /tmp/evaluation/249164-1170111115/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.33 4.51 3.98 5/95 28951
/proc/meminfo: memFree=1767240/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=18540 CPUtime=0
/proc/28950/stat : 28950 (runsolver) R 28948 28950 28885 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 31065902 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28950/statm: 4635 279 244 17 0 2626 0
[startup+0.110411 s]
/proc/loadavg: 3.33 4.51 3.98 5/95 28951
/proc/meminfo: memFree=1767240/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.03
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 31065902 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.522449 s]
/proc/loadavg: 3.33 4.51 3.98 5/95 28951
/proc/meminfo: memFree=1767240/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.03
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 31065902 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34753 s]
/proc/loadavg: 3.33 4.51 3.98 4/103 28967
/proc/meminfo: memFree=1735240/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=0.7
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5948 0 1 0 64 6 0 0 20 0 8 0 31065959 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5699 1496 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 31065962 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.11
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 386 0 0 0 11 0 0 0 18 0 8 0 31065972 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 821068
[startup+2.98468 s]
/proc/loadavg: 3.33 4.51 3.98 3/103 28967
/proc/meminfo: memFree=1709576/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=2.31
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5957 0 1 0 214 17 0 0 25 0 8 0 31065959 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5706 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 31065962 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 390 0 0 0 12 0 0 0 16 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 821068
[startup+6.276 s]
/proc/loadavg: 3.31 4.49 3.98 4/103 28967
/proc/meminfo: memFree=1640264/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=5.55
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5957 0 1 0 513 42 0 0 25 0 8 0 31065959 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073720935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5706 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 390 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 821068
[startup+12.7753 s]
/proc/loadavg: 3.36 4.48 3.98 3/103 28967
/proc/meminfo: memFree=1497352/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=11.93
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5958 0 1 0 1103 90 0 0 25 0 8 0 31065959 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5707 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 390 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 821068
[startup+25.5818 s]
/proc/loadavg: 3.74 4.50 3.99 3/103 28968
/proc/meminfo: memFree=1239816/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=24.46
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5959 0 1 0 2266 180 0 0 25 0 8 0 31065959 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073720232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5708 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 390 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 821068
[startup+51.2692 s]
/proc/loadavg: 4.02 4.51 4.01 4/103 28971
/proc/meminfo: memFree=694600/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=49.5
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5962 0 1 0 4579 371 0 0 25 0 8 0 31065959 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152049430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5711 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 390 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 821068
[startup+102.51 s]
/proc/loadavg: 4.44 4.55 4.05 5/103 28974
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=97.91
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 5966 0 1 0 9031 760 0 0 24 0 8 0 31065959 826720256 5715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073709038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28960/statm: 201836 5715 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
################
# More data... #
################
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1508.57
Current children cumulated vsize (KiB) 821068
[startup+1603.81 s]
/proc/loadavg: 2.06 2.51 2.92 3/95 29321
/proc/meminfo: memFree=15184/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=1567.49
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 6001 0 1 0 43851 112898 0 0 25 0 8 0 31065959 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073720372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28960/statm: 201836 5750 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1567.88
Current children cumulated vsize (KiB) 821068
[startup+1663.88 s]
/proc/loadavg: 2.02 2.42 2.86 3/95 29321
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=1626.8
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 6003 0 1 0 45148 117532 0 0 25 0 8 0 31065959 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28960/statm: 201836 5752 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1627.19
Current children cumulated vsize (KiB) 821068
[startup+1723.97 s]
/proc/loadavg: 2.00 2.34 2.80 3/95 29321
/proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=1686.1
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 6004 0 1 0 46428 122182 0 0 25 0 8 0 31065959 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28960/statm: 201836 5753 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1686.49
Current children cumulated vsize (KiB) 821068
[startup+1783.97 s]
/proc/loadavg: 2.00 2.27 2.75 3/95 29321
/proc/meminfo: memFree=15952/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=1745.32
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 6005 0 1 0 47701 126831 0 0 25 0 8 0 31065959 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28960/statm: 201836 5754 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1745.71
Current children cumulated vsize (KiB) 821068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1839.09 s]
/proc/loadavg: 2.24 2.30 2.73 3/95 29321
/proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=0.39
/proc/28950/stat : 28950 (sugar) S 28948 28950 28885 0 -1 4194304 1190 3842 0 28 3 1 31 4 15 0 1 0 31065902 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28950/statm: 3431 809 371 3 0 531 0
[pid=28960] ppid=28950 vsize=807344 CPUtime=1799.66
/proc/28960/stat : 28960 (java) R 28950 28950 28885 0 -1 0 6008 0 1 0 48873 131093 0 0 25 0 8 0 31065959 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28960/statm: 201836 5757 1499 14 0 189114 0
[pid=28960/tid=28961] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28961/stat : 28961 (java) S 28950 28950 28885 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31065962 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28962] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28962/stat : 28962 (java) S 28950 28950 28885 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 31065963 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28963] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28963/stat : 28963 (java) S 28950 28950 28885 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31065963 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28964] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28964/stat : 28964 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 31065972 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28965] ppid=28950 vsize=807344 CPUtime=0.12
/proc/28960/task/28965/stat : 28965 (java) S 28950 28950 28885 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 31065972 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28960/tid=28966] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28966/stat : 28966 (java) S 28950 28950 28885 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31065972 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28960/tid=28967] ppid=28950 vsize=807344 CPUtime=0
/proc/28960/task/28967/stat : 28967 (java) S 28950 28950 28885 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31065972 826720256 5757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 821068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1844.06 s]
/proc/loadavg: 2.24 2.30 2.73 2/88 29324
/proc/meminfo: memFree=1833168/2055920 swapFree=4192812/4192956
[pid=28950] ppid=28948 vsize=13724 CPUtime=2.13
/proc/28950/stat : 28950 (sugar) D 28948 28950 28885 0 -1 4194304 1215 3842 0 28 3 175 31 4 18 0 1 0 31065902 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212234638377 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/28950/statm: 3431 811 373 3 0 531 0
[pid=28960] ppid=28950 vsize=0 CPUtime=1799.7
/proc/28960/stat : 28960 (java) Z 28950 28950 28885 0 -1 1036 6030 0 2 0 48874 131096 0 0 25 0 1 0 31065959 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28960/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28950 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=348946 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=242507
CPU time returned by wait4() is 3.59145
while last known CPU time is 1803.24
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1853.3
CPU time (s): 1803.24
CPU user time (s): 489.08
CPU system time (s): 1314.16
CPU usage (%): 97.299
Max. virtual memory (cumulated for all children) (KiB): 821068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.348946
system time used= 3.24251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5057
page faults= 28
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2030
involuntary context switches= 445
runsolver used 3.58645 s user time and 9.44256 s system time
The end
Begin job on node14 on Mon Jan 29 22:51:55 UTC 2007
IDJOB= 249164
IDBENCH= 11762
IDSOLVER= 86
FILE ID= node14/249164-1170111115
PBS_JOBID= 3690033
Free space on /tmp= 56076 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-15/primes-15-60-3-5.xml
COMMAND LINE= /tmp/evaluation/249164-1170111115/solver /tmp/evaluation/249164-1170111115 /tmp/evaluation/249164-1170111115/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-249164-1170111115 -o ROOT/results/node14/solver-249164-1170111115 -C 1800 -M 900 /tmp/evaluation/249164-1170111115/solver /tmp/evaluation/249164-1170111115 /tmp/evaluation/249164-1170111115/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a6c63105dd9b62ba32a6970ebe963998
RANDOM SEED= 782562265
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.216
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.216
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: 1767912 kB
Buffers: 5452 kB
Cached: 153532 kB
SwapCached: 0 kB
Active: 112600 kB
Inactive: 126820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 49088 kB
Writeback: 0 kB
Mapped: 105948 kB
Slab: 33364 kB
Committed_AS: 709872 kB
PageTables: 2224 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= 66557 MiB
End job on node14 on Mon Jan 29 23:22:48 UTC 2007