0.05 c # Sugar v0-40 (/tmp/evaluation/195608-1170092208/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/195608-1170092208/unknown.xml [Mon Jan 29 18:36:55 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/195608-1170092208/unknown.xml /tmp/evaluation/195608-1170092208/sugar23612.csp [Mon Jan 29 18:36:55 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195608-1170092208/sugar-v0-40.jar -convert /tmp/evaluation/195608-1170092208/unknown.xml /tmp/evaluation/195608-1170092208/sugar23612.csp
0.47 c BEGIN convert /tmp/evaluation/195608-1170092208/unknown.xml
1.22 c END convert (0.748796 seconds)
1.28 c # CONVERT_XML END : /tmp/evaluation/195608-1170092208/sugar23612.csp 541054 bytes (1 seconds) [Mon Jan 29 18:36:56 2007]
1.28 c # CONVERT_XML CPU : 0.66 = 0 + 0 + 0.6 + 0.06
1.28
1.28 c # GENERATE_SAT BEGIN : /tmp/evaluation/195608-1170092208/sugar23612.bcnf [Mon Jan 29 18:36:56 2007]
1.28 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195608-1170092208/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195608-1170092208/sugar23612.map /tmp/evaluation/195608-1170092208/sugar23612.csp /tmp/evaluation/195608-1170092208/sugar23612.bcnf
1.39 c BEGIN parse /tmp/evaluation/195608-1170092208/sugar23612.csp
3.13 c END parse (1.73258 seconds)
3.13 c BEGIN simplify
3.15 c END simplify (0.025402 seconds)
3.15 c BEGIN encode /tmp/evaluation/195608-1170092208/sugar23612.bcnf
2037.53
2037.53 s UNKNOWN
2037.53 c # INTERRUPTED
2037.53 c # MAIN END : (2037 seconds) [Mon Jan 29 19:10:52 2007]
2037.53 c # MAIN CPU : 0.66 = 0 + 0 + 0.6 + 0.06
2037.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-195608-1170092208 -o ROOT/results/node24/solver-195608-1170092208 -C 1800 -M 900 /tmp/evaluation/195608-1170092208/solver /tmp/evaluation/195608-1170092208 /tmp/evaluation/195608-1170092208/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: 1.36 1.87 1.90 4/87 23613
/proc/meminfo: memFree=1586928/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=5344 CPUtime=0
/proc/23612/stat : 23612 (solver) R 23610 23612 23504 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 29175764 5472256 116 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 4296001 0 0 4096 0 0 0 0 17 0 0 0
/proc/23612/statm: 1338 133 107 169 0 49 0
[startup+0.107405 s]
/proc/loadavg: 1.36 1.87 1.90 4/87 23613
/proc/meminfo: memFree=1586928/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.04
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29175764 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515451 s]
/proc/loadavg: 1.36 1.87 1.90 4/87 23613
/proc/meminfo: memFree=1586928/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.04
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29175764 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33854 s]
/proc/loadavg: 1.36 1.87 1.90 4/102 23628
/proc/meminfo: memFree=1535408/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1181 7551 0 32 3 1 60 6 17 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13724
[startup+2.98273 s]
/proc/loadavg: 1.36 1.87 1.90 3/102 23644
/proc/meminfo: memFree=1514864/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 15 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1.67
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 11222 0 4 0 160 7 0 0 25 0 8 0 29175892 826716160 10966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23629/statm: 201835 10969 1507 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.29
/proc/23629/task/23630/stat : 23630 (java) R 23612 23612 23504 0 -1 64 5030 0 0 0 27 2 0 0 16 0 8 0 29175896 826716160 10972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 10977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 10982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 10987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.14
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 29175899 826716160 10991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 10996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 11000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 821064
[startup+6.18607 s]
/proc/loadavg: 1.41 1.87 1.90 3/102 23644
/proc/meminfo: memFree=1374256/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=4.84
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13578 0 4 0 452 32 0 0 25 0 8 0 29175892 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13318 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 821064
[startup+12.6546 s]
/proc/loadavg: 1.69 1.92 1.92 3/102 23644
/proc/meminfo: memFree=1100216/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=11.08
/proc/23629/stat : 23629 (java) D 23612 23612 23504 0 -1 0 13579 0 4 0 1035 73 0 0 25 0 8 0 29175892 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13318 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 821064
[startup+25.535 s]
/proc/loadavg: 2.67 2.12 1.99 3/105 23649
/proc/meminfo: memFree=647840/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=23.37
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13579 0 4 0 2169 168 0 0 25 0 8 0 29175892 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13318 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 821064
[startup+51.1917 s]
/proc/loadavg: 4.51 2.60 2.14 3/109 23655
/proc/meminfo: memFree=15552/2055920 swapFree=4144968/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=47.64
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13579 0 4 0 4378 386 0 0 25 0 8 0 29175892 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23629/statm: 201835 13318 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.34
Current children cumulated vsize (KiB) 821064
[startup+102.4 s]
/proc/loadavg: 6.84 3.57 2.50 3/106 23657
/proc/meminfo: memFree=15704/2055920 swapFree=4144972/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=96.93
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13579 0 4 0 8867 826 0 0 25 0 8 0 29175892 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13318 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175899 826716160 13318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.63
Current children cumulated vsize (KiB) 821064
[startup+162.418 s]
################
# More data... #
################
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1549.66
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 54816 100150 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.13
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1550.36
Current children cumulated vsize (KiB) 821064
[startup+1843.67 s]
/proc/loadavg: 2.19 2.26 2.76 3/102 23900
/proc/meminfo: memFree=16248/2055920 swapFree=4145168/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1608.4
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 55936 104904 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.13
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1609.1
Current children cumulated vsize (KiB) 821064
[startup+1903.72 s]
/proc/loadavg: 2.19 2.25 2.72 3/102 23900
/proc/meminfo: memFree=15288/2055920 swapFree=4145168/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1667.97
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 57064 109733 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.13
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1668.67
Current children cumulated vsize (KiB) 821064
[startup+1963.76 s]
/proc/loadavg: 2.18 2.23 2.69 3/102 23900
/proc/meminfo: memFree=16056/2055920 swapFree=4145168/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1727.55
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 58161 114594 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.14
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 8 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1728.25
Current children cumulated vsize (KiB) 821064
[startup+2023.86 s]
/proc/loadavg: 2.45 2.28 2.67 3/102 23965
/proc/meminfo: memFree=627704/2055920 swapFree=4145168/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1785.85
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 59301 119284 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.14
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 8 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 821064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2037.51 s]
/proc/loadavg: 2.42 2.29 2.67 4/102 23965
/proc/meminfo: memFree=305848/2055920 swapFree=4145168/4192956
[pid=23612] ppid=23610 vsize=13724 CPUtime=0.7
/proc/23612/stat : 23612 (sugar) S 23610 23612 23504 0 -1 4194304 1190 7551 0 32 3 1 60 6 16 0 1 0 29175764 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23612/statm: 3431 809 371 3 0 531 0
[pid=23629] ppid=23612 vsize=807340 CPUtime=1799.32
/proc/23629/stat : 23629 (java) R 23612 23612 23504 0 -1 0 13580 0 4 0 59564 120368 0 0 25 0 8 0 29175892 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23629/statm: 201835 13319 1511 14 0 189113 0
[pid=23629/tid=23630] ppid=23612 vsize=807340 CPUtime=0.36
/proc/23629/task/23630/stat : 23630 (java) S 23612 23612 23504 0 -1 64 7328 0 0 0 33 3 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23631] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23631/stat : 23631 (java) S 23612 23612 23504 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23632] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23632/stat : 23632 (java) S 23612 23612 23504 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175896 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23633] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23633/stat : 23633 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23634] ppid=23612 vsize=807340 CPUtime=0.18
/proc/23629/task/23634/stat : 23634 (java) S 23612 23612 23504 0 -1 64 433 0 0 0 18 0 0 0 16 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23635] ppid=23612 vsize=807340 CPUtime=0
/proc/23629/task/23635/stat : 23635 (java) S 23612 23612 23504 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23629/tid=23636] ppid=23612 vsize=807340 CPUtime=0.14
/proc/23629/task/23636/stat : 23636 (java) S 23612 23612 23504 0 -1 64 1 0 0 0 6 8 0 0 15 0 8 0 29175899 826716160 13319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23612 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=643902 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=426327
CPU time returned by wait4() is 5.07023
while last known CPU time is 1804.4
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2059.81
CPU time (s): 1804.4
CPU user time (s): 596.29
CPU system time (s): 1208.11
CPU usage (%): 87.6002
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.643902
system time used= 4.42633
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8765
page faults= 32
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3357
involuntary context switches= 762
runsolver used 4.04938 s user time and 10.2224 s system time
The end
Begin job on node24 on Mon Jan 29 17:36:55 UTC 2007
IDJOB= 195608
IDBENCH= 3289
IDSOLVER= 86
FILE ID= node24/195608-1170092208
PBS_JOBID= 3689573
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph7.xml
COMMAND LINE= /tmp/evaluation/195608-1170092208/solver /tmp/evaluation/195608-1170092208 /tmp/evaluation/195608-1170092208/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-195608-1170092208 -o ROOT/results/node24/solver-195608-1170092208 -C 1800 -M 900 /tmp/evaluation/195608-1170092208/solver /tmp/evaluation/195608-1170092208 /tmp/evaluation/195608-1170092208/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 6894350c4fec852e84b11a6ff9a12c54
RANDOM SEED= 715879911
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.232
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.232
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: 1596728 kB
Buffers: 31308 kB
Cached: 340700 kB
SwapCached: 7364 kB
Active: 46592 kB
Inactive: 344580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1596728 kB
SwapTotal: 4192956 kB
SwapFree: 4144968 kB
Dirty: 2556 kB
Writeback: 0 kB
Mapped: 23388 kB
Slab: 53084 kB
Committed_AS: 156372 kB
PageTables: 2028 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= 66545 MiB
End job on node24 on Mon Jan 29 18:11:15 UTC 2007