0.04 c # Sugar v0-40 (/tmp/evaluation/192101-1170090050/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/192101-1170090050/unknown.xml [Mon Jan 29 18:00:51 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/192101-1170090050/unknown.xml /tmp/evaluation/192101-1170090050/sugar22859.csp [Mon Jan 29 18:00:51 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/192101-1170090050/sugar-v0-40.jar -convert /tmp/evaluation/192101-1170090050/unknown.xml /tmp/evaluation/192101-1170090050/sugar22859.csp
0.21 c BEGIN convert /tmp/evaluation/192101-1170090050/unknown.xml
1.55 c END convert (1.339338 seconds)
1.57 c # CONVERT_XML END : /tmp/evaluation/192101-1170090050/sugar22859.csp 738875 bytes (2 seconds) [Mon Jan 29 18:00:53 2007]
1.57 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.57
1.57 c # GENERATE_SAT BEGIN : /tmp/evaluation/192101-1170090050/sugar22859.bcnf [Mon Jan 29 18:00:53 2007]
1.57 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/192101-1170090050/sugar-v0-40.jar -bcnf -map /tmp/evaluation/192101-1170090050/sugar22859.map /tmp/evaluation/192101-1170090050/sugar22859.csp /tmp/evaluation/192101-1170090050/sugar22859.bcnf
1.70 c BEGIN parse /tmp/evaluation/192101-1170090050/sugar22859.csp
6.83 c END parse (5.125327 seconds)
6.83 c BEGIN simplify
7.21 c END simplify (0.384475 seconds)
7.21 c BEGIN encode /tmp/evaluation/192101-1170090050/sugar22859.bcnf
1827.82
1827.82 s UNKNOWN
1827.82 c # INTERRUPTED
1827.82 c # MAIN END : (1828 seconds) [Mon Jan 29 18:31:19 2007]
1827.82 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
1827.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-192101-1170090050 -o ROOT/results/node3/solver-192101-1170090050 -C 1800 -M 900 /tmp/evaluation/192101-1170090050/solver /tmp/evaluation/192101-1170090050 /tmp/evaluation/192101-1170090050/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: 0.00 0.00 0.00 4/81 22860
/proc/meminfo: memFree=1771328/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=12268 CPUtime=0
/proc/22859/stat : 22859 (sugar) R 22857 22859 22721 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 28959953 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233632922213 0 0 4224 0 0 0 0 17 1 0 0
/proc/22859/statm: 3067 315 241 3 0 167 0
[startup+0.103629 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 22860
/proc/meminfo: memFree=1771328/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1112 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512661 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 22860
/proc/meminfo: memFree=1771328/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33973 s]
/proc/loadavg: 0.08 0.02 0.01 2/89 22868
/proc/meminfo: memFree=1727680/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 805 368 3 0 531 0
[pid=22861] ppid=22859 vsize=807396 CPUtime=1.21
/proc/22861/stat : 22861 (java) R 22859 22859 22721 0 -1 0 13660 0 1 0 113 8 0 0 16 0 8 0 28959958 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073451457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22861/statm: 201849 13406 1694 14 0 189127 0
[pid=22861/tid=22862] ppid=22859 vsize=807396 CPUtime=0.18
/proc/22861/task/22862/stat : 22862 (java) S 22859 22859 22721 0 -1 64 7050 0 0 0 16 2 0 0 16 0 8 0 28959965 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22861/tid=22863] ppid=22859 vsize=807396 CPUtime=0
/proc/22861/task/22863/stat : 22863 (java) S 22859 22859 22721 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 28959966 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22861/tid=22864] ppid=22859 vsize=807396 CPUtime=0
/proc/22861/task/22864/stat : 22864 (java) S 22859 22859 22721 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 28959966 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22861/tid=22865] ppid=22859 vsize=807396 CPUtime=0
/proc/22861/task/22865/stat : 22865 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28959969 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22861/tid=22866] ppid=22859 vsize=807396 CPUtime=0.17
/proc/22861/task/22866/stat : 22866 (java) S 22859 22859 22721 0 -1 64 428 0 0 0 16 1 0 0 16 0 8 0 28959969 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22861/tid=22867] ppid=22859 vsize=807396 CPUtime=0
/proc/22861/task/22867/stat : 22867 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28959969 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22861/tid=22868] ppid=22859 vsize=807396 CPUtime=0
/proc/22861/task/22868/stat : 22868 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28959969 826773504 13406 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 821120
[startup+2.98286 s]
/proc/loadavg: 0.08 0.02 0.01 2/90 22876
/proc/meminfo: memFree=1743232/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1.38
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 10234 0 1 0 132 6 0 0 16 0 8 0 28960111 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073590652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22869/statm: 202096 9977 1506 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=0.24
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 4029 0 0 0 22 2 0 0 16 0 8 0 28960114 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.12
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 413 0 0 0 12 0 0 0 16 0 8 0 28960118 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 9977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 822108
[startup+6.27032 s]
/proc/loadavg: 0.15 0.03 0.01 2/90 22876
/proc/meminfo: memFree=1699712/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=4.66
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 20980 0 1 0 456 10 0 0 16 0 8 0 28960111 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073581919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22869/statm: 202096 20696 1507 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=0.81
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 14737 0 0 0 75 6 0 0 16 0 8 0 28960114 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.13
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 424 0 0 0 13 0 0 0 16 0 8 0 28960118 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 20696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 822108
[startup+12.7549 s]
/proc/loadavg: 0.22 0.05 0.02 2/96 22903
/proc/meminfo: memFree=1534992/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=11.12
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 29952 0 1 0 1052 60 0 0 19 0 8 0 28960111 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22869/statm: 202096 29657 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.2
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 23668 0 0 0 111 9 0 0 16 0 8 0 28960114 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 29657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 822108
[startup+25.6477 s]
/proc/loadavg: 0.41 0.10 0.03 3/96 22954
/proc/meminfo: memFree=1302672/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=23.81
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30337 0 1 0 2227 154 0 0 16 0 8 0 28960111 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22869/statm: 202096 30041 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.22
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24052 0 0 0 113 9 0 0 16 0 8 0 28960114 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 822108
[startup+51.3108 s]
/proc/loadavg: 0.94 0.25 0.08 3/109 23041
/proc/meminfo: memFree=673000/2055920 swapFree=4192956/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=48.89
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30337 0 1 0 4550 339 0 0 25 0 8 0 28960111 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842491 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22869/statm: 202096 30041 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.22
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24052 0 0 0 113 9 0 0 16 0 8 0 28960114 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30041 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1577.4
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30462 0 1 0 145754 11986 0 0 25 0 8 0 28960111 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152049462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22869/statm: 202096 30164 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.25
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24175 0 0 0 116 9 0 0 16 0 8 0 28960114 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1578.87
Current children cumulated vsize (KiB) 822108
[startup+1663.42 s]
/proc/loadavg: 2.18 2.02 1.63 2/87 23336
/proc/meminfo: memFree=15384/2055920 swapFree=4192812/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1636.6
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30463 0 1 0 151231 12429 0 0 25 0 8 0 28960111 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22869/statm: 202096 30164 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.27
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24175 0 0 0 118 9 0 0 16 0 8 0 28960114 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1638.07
Current children cumulated vsize (KiB) 822108
[startup+1723.44 s]
/proc/loadavg: 3.29 2.36 1.77 2/87 23336
/proc/meminfo: memFree=16088/2055920 swapFree=4192812/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1695.85
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30463 0 1 0 156736 12849 0 0 25 0 8 0 28960111 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22869/statm: 202096 30164 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.27
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24175 0 0 0 118 9 0 0 16 0 8 0 28960114 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1697.32
Current children cumulated vsize (KiB) 822108
[startup+1783.45 s]
/proc/loadavg: 3.74 2.66 1.91 2/87 23336
/proc/meminfo: memFree=15000/2055920 swapFree=4192812/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1755.06
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30463 0 1 0 162226 13280 0 0 25 0 8 0 28960111 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22869/statm: 202096 30164 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.27
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24175 0 0 0 118 9 0 0 16 0 8 0 28960114 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1756.53
Current children cumulated vsize (KiB) 822108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1827.81 s]
/proc/loadavg: 3.73 2.81 2.00 2/87 23336
/proc/meminfo: memFree=15576/2055920 swapFree=4192812/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=0.04
/proc/22859/stat : 22859 (sugar) S 22857 22859 22721 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 28959953 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233641652322 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22859/statm: 3431 808 370 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=808384 CPUtime=1798.62
/proc/22869/stat : 22869 (java) R 22859 22859 22721 0 -1 0 30463 0 1 0 166260 13602 0 0 25 0 8 0 28960111 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22869/statm: 202096 30164 1511 14 0 189374 0
[pid=22869/tid=22870] ppid=22859 vsize=808384 CPUtime=1.27
/proc/22869/task/22870/stat : 22870 (java) S 22859 22859 22721 0 -1 64 24175 0 0 0 118 9 0 0 16 0 8 0 28960114 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22871] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22871/stat : 22871 (java) S 22859 22859 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22872] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22872/stat : 22872 (java) S 22859 22859 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28960115 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22869/tid=22873] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22873/stat : 22873 (java) S 22859 22859 22721 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22874] ppid=22859 vsize=808384 CPUtime=0.16
/proc/22869/task/22874/stat : 22874 (java) S 22859 22859 22721 0 -1 64 441 0 0 0 16 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22875] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22875/stat : 22875 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22869/tid=22876] ppid=22859 vsize=808384 CPUtime=0
/proc/22869/task/22876/stat : 22876 (java) S 22859 22859 22721 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 28960118 827785216 30164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 822108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1843.53 s]
/proc/loadavg: 3.19 2.74 1.98 1/80 23338
/proc/meminfo: memFree=1916888/2055920 swapFree=4192812/4192956
[pid=22859] ppid=22857 vsize=13724 CPUtime=1.65
/proc/22859/stat : 22859 (sugar) D 22857 22859 22721 0 -1 4194304 1212 0 1 0 3 162 0 0 18 0 1 0 28959953 14053376 810 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 233632928809 256 16384 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/22859/statm: 3431 810 372 3 0 531 0
[pid=22861] ppid=22859 vsize=0 CPUtime=1.43
/proc/22861/stat : 22861 (java) Z 22859 22859 22721 0 -1 1036 14053 0 1 0 134 9 0 0 16 0 1 0 28959958 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22861/statm: 0 0 0 0 0 0 0
[pid=22869] ppid=22859 vsize=0 CPUtime=1798.85
/proc/22869/stat : 22869 (java) Z 22859 22859 22721 0 -1 1036 30475 0 4 0 166279 13606 0 0 16 0 1 0 28960111 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/22869/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22859 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=33994 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=299498
CPU time returned by wait4() is 3.33349
while last known CPU time is 1803.6
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1876.95
CPU time (s): 1803.6
CPU user time (s): 1664.16
CPU system time (s): 139.44
CPU usage (%): 96.0922
Max. virtual memory (cumulated for all children) (KiB): 822624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 3.2995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 7596
involuntary context switches= 24
runsolver used 1.92371 s user time and 5.53816 s system time
The end
Begin job on node3 on Mon Jan 29 17:00:51 UTC 2007
IDJOB= 192101
IDBENCH= 3090
IDSOLVER= 86
FILE ID= node3/192101-1170090050
PBS_JOBID= 3689392
Free space on /tmp= 66559 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/queens/queens-180.xml
COMMAND LINE= /tmp/evaluation/192101-1170090050/solver /tmp/evaluation/192101-1170090050 /tmp/evaluation/192101-1170090050/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-192101-1170090050 -o ROOT/results/node3/solver-192101-1170090050 -C 1800 -M 900 /tmp/evaluation/192101-1170090050/solver /tmp/evaluation/192101-1170090050 /tmp/evaluation/192101-1170090050/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c796a276961c748e1ef388ea91350f5c
RANDOM SEED= 968005963
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.241
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.241
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: 1771744 kB
Buffers: 40368 kB
Cached: 139424 kB
SwapCached: 0 kB
Active: 187508 kB
Inactive: 51588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771744 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3552 kB
Writeback: 0 kB
Mapped: 78180 kB
Slab: 30496 kB
Committed_AS: 160652 kB
PageTables: 1856 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= 66560 MiB
End job on node3 on Mon Jan 29 17:32:08 UTC 2007