0.04 c # Sugar v0-40 (/tmp/evaluation/208596-1170097172/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/208596-1170097172/unknown.xml [Mon Jan 29 19:59:34 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/208596-1170097172/unknown.xml /tmp/evaluation/208596-1170097172/sugar21938.csp [Mon Jan 29 19:59:34 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208596-1170097172/sugar-v0-40.jar -convert /tmp/evaluation/208596-1170097172/unknown.xml /tmp/evaluation/208596-1170097172/sugar21938.csp
0.24 c BEGIN convert /tmp/evaluation/208596-1170097172/unknown.xml
1.53 c END convert (1.2896 seconds)
1.56 c # CONVERT_XML END : /tmp/evaluation/208596-1170097172/sugar21938.csp 7149193 bytes (1 seconds) [Mon Jan 29 19:59:35 2007]
1.56 c # CONVERT_XML CPU : 1.39 = 0 + 0 + 1.3 + 0.09
1.56
1.56 c # GENERATE_SAT BEGIN : /tmp/evaluation/208596-1170097172/sugar21938.bcnf [Mon Jan 29 19:59:35 2007]
1.56 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208596-1170097172/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208596-1170097172/sugar21938.map /tmp/evaluation/208596-1170097172/sugar21938.csp /tmp/evaluation/208596-1170097172/sugar21938.bcnf
1.67 c BEGIN parse /tmp/evaluation/208596-1170097172/sugar21938.csp
1812.14
1812.14 s UNKNOWN
1812.14 c # INTERRUPTED
1812.14 c # MAIN END : (1812 seconds) [Mon Jan 29 20:29:46 2007]
1812.14 c # MAIN CPU : 1.39 = 0 + 0 + 1.3 + 0.09
1812.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-208596-1170097172 -o ROOT/results/node30/solver-208596-1170097172 -C 1800 -M 900 /tmp/evaluation/208596-1170097172/solver /tmp/evaluation/208596-1170097172 /tmp/evaluation/208596-1170097172/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.09 1.86 1.83 4/94 21939
/proc/meminfo: memFree=1467472/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=18540 CPUtime=0
/proc/21938/stat : 21938 (runsolver) R 21936 21938 21664 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 3481433 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21938/statm: 4635 279 244 17 0 2626 0
[startup+0.106956 s]
/proc/loadavg: 2.09 1.86 1.83 4/94 21939
/proc/meminfo: memFree=1467472/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=0.03
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 3481433 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515017 s]
/proc/loadavg: 2.09 1.86 1.83 4/94 21939
/proc/meminfo: memFree=1467472/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=0.03
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3481433 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33814 s]
/proc/loadavg: 2.09 1.86 1.83 4/102 21947
/proc/meminfo: memFree=1411400/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=0.03
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3481433 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 805 368 3 0 531 0
[pid=21940] ppid=21938 vsize=807128 CPUtime=1.18
/proc/21940/stat : 21940 (java) R 21938 21938 21664 0 -1 0 9676 0 1 0 111 7 0 0 25 0 8 0 3481438 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21940/statm: 201782 9405 1695 14 0 189060 0
[pid=21940/tid=21941] ppid=21938 vsize=807128 CPUtime=0.05
/proc/21940/task/21941/stat : 21941 (java) S 21938 21938 21664 0 -1 64 3190 0 0 0 4 1 0 0 16 0 8 0 3481449 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21942] ppid=21938 vsize=807128 CPUtime=0
/proc/21940/task/21942/stat : 21942 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481449 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21943] ppid=21938 vsize=807128 CPUtime=0
/proc/21940/task/21943/stat : 21943 (java) S 21938 21938 21664 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 3481449 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21944] ppid=21938 vsize=807128 CPUtime=0
/proc/21940/task/21944/stat : 21944 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 3481453 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21945] ppid=21938 vsize=807128 CPUtime=0.05
/proc/21940/task/21945/stat : 21945 (java) S 21938 21938 21664 0 -1 64 296 0 0 0 5 0 0 0 16 0 8 0 3481453 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21946] ppid=21938 vsize=807128 CPUtime=0
/proc/21940/task/21946/stat : 21946 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 3481453 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21940/tid=21947] ppid=21938 vsize=807128 CPUtime=0
/proc/21940/task/21947/stat : 21947 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481453 826499072 9405 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 820852
[startup+2.98937 s]
/proc/loadavg: 2.09 1.86 1.83 5/102 21955
/proc/meminfo: memFree=1391240/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807064 CPUtime=1.4
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 12245 0 1 0 134 6 0 0 25 0 8 0 3481589 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201766 11984 1494 14 0 189044 0
[pid=21948/tid=21949] ppid=21938 vsize=807064 CPUtime=0.35
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 6185 0 0 0 33 2 0 0 16 0 8 0 3481592 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807064 CPUtime=0.04
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 3481596 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826433536 11984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 820788
[startup+6.27884 s]
/proc/loadavg: 2.16 1.87 1.83 3/102 21955
/proc/meminfo: memFree=1261192/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807064 CPUtime=4.66
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 27648 0 1 0 453 13 0 0 25 0 8 0 3481589 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201766 27355 1494 14 0 189044 0
[pid=21948/tid=21949] ppid=21938 vsize=807064 CPUtime=1.31
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 21556 0 0 0 121 10 0 0 16 0 8 0 3481592 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807064 CPUtime=0.04
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 3481596 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807064 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826433536 27355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 820788
[startup+12.7029 s]
/proc/loadavg: 2.15 1.88 1.83 4/102 21955
/proc/meminfo: memFree=1014216/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=10.99
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 56108 0 1 0 1069 30 0 0 25 0 8 0 3481589 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 55716 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=4.09
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 49362 0 0 0 384 25 0 0 15 0 8 0 3481592 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.1
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 380 0 0 0 10 0 0 0 16 0 8 0 3481596 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 55716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 821080
[startup+25.5286 s]
/proc/loadavg: 2.41 1.95 1.86 6/102 21955
/proc/meminfo: memFree=915080/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=23.65
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 76248 0 1 0 2322 43 0 0 25 0 8 0 3481589 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 75608 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=10.69
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 69259 0 0 0 1032 37 0 0 16 0 8 0 3481592 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 75608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 821080
[startup+51.1452 s]
/proc/loadavg: 2.73 2.06 1.90 4/102 21955
/proc/meminfo: memFree=876232/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=48.97
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 87523 0 1 0 4844 53 0 0 25 0 8 0 3481589 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 80276 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=27.02
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 80199 0 0 0 2657 45 0 0 16 0 8 0 3481592 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 80276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 821080
[startup+102.384 s]
/proc/loadavg: 3.36 2.33 1.99 4/108 22027
/proc/meminfo: memFree=839832/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=99.62
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 111537 0 1 0 9886 76 0 0 25 0 8 0 3481589 826732544 86435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 86435 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=61.39
################
# More data... #
################
/proc/loadavg: 3.77 3.60 3.21 5/102 22155
/proc/meminfo: memFree=328008/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1531.24
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 814081 0 1 0 152488 636 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1050.05
/proc/21948/task/21949/stat : 21949 (java) R 21938 21938 21664 0 -1 64 795838 0 0 0 104443 562 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) R 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.66
Current children cumulated vsize (KiB) 821080
[startup+1603.77 s]
/proc/loadavg: 3.38 3.52 3.20 3/102 22155
/proc/meminfo: memFree=327880/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1590.96
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 814410 0 1 0 158454 642 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1092.09
/proc/21948/task/21949/stat : 21949 (java) R 21938 21938 21664 0 -1 64 795838 0 0 0 108643 566 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215728 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.38
Current children cumulated vsize (KiB) 821080
[startup+1663.81 s]
/proc/loadavg: 3.43 3.51 3.21 3/102 22155
/proc/meminfo: memFree=327880/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1650.65
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 814732 0 1 0 164418 647 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1135.08
/proc/21948/task/21949/stat : 21949 (java) R 21938 21938 21664 0 -1 64 795838 0 0 0 112938 570 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134569 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.07
Current children cumulated vsize (KiB) 821080
[startup+1723.89 s]
/proc/loadavg: 3.35 3.48 3.22 4/102 22155
/proc/meminfo: memFree=327880/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1710.57
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 815063 0 1 0 170405 652 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073603817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1178.16
/proc/21948/task/21949/stat : 21949 (java) S 21938 21938 21664 0 -1 64 795838 0 0 0 117243 573 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.99
Current children cumulated vsize (KiB) 821080
[startup+1783.98 s]
/proc/loadavg: 3.44 3.47 3.23 5/102 22155
/proc/meminfo: memFree=327816/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1770.61
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 815392 0 1 0 176404 657 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1221.22
/proc/21948/task/21949/stat : 21949 (java) R 21938 21938 21664 0 -1 64 795838 0 0 0 121546 576 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.03
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.11 s]
/proc/loadavg: 3.27 3.43 3.22 4/102 22212
/proc/meminfo: memFree=899016/2055920 swapFree=4192956/4192956
[pid=21938] ppid=21936 vsize=13724 CPUtime=1.42
/proc/21938/stat : 21938 (sugar) S 21936 21938 21664 0 -1 4194304 1190 9692 0 1 3 0 130 9 15 0 1 0 3481433 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21938/statm: 3431 809 371 3 0 531 0
[pid=21948] ppid=21938 vsize=807356 CPUtime=1798.67
/proc/21948/stat : 21948 (java) R 21938 21938 21664 0 -1 0 815570 0 1 0 179207 660 0 0 25 0 8 0 3481589 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21948/statm: 201839 151141 1507 14 0 189117 0
[pid=21948/tid=21949] ppid=21938 vsize=807356 CPUtime=1240.66
/proc/21948/task/21949/stat : 21949 (java) R 21938 21938 21664 0 -1 64 795838 0 0 0 123487 579 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21950] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21950/stat : 21950 (java) S 21938 21938 21664 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21951] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21951/stat : 21951 (java) S 21938 21938 21664 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3481592 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21952] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21952/stat : 21952 (java) S 21938 21938 21664 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21953] ppid=21938 vsize=807356 CPUtime=0.12
/proc/21948/task/21953/stat : 21953 (java) S 21938 21938 21664 0 -1 64 387 0 0 0 12 0 0 0 17 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21954] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21954/stat : 21954 (java) S 21938 21938 21664 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21948/tid=21955] ppid=21938 vsize=807356 CPUtime=0
/proc/21948/task/21955/stat : 21955 (java) S 21938 21938 21664 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3481596 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21938 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=338796 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=100984
CPU time returned by wait4() is 1.43978
while last known CPU time is 1801.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1813.14
CPU time (s): 1801.02
CPU user time (s): 1794.33
CPU system time (s): 6.69
CPU usage (%): 99.3314
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3388
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10962
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= 536
involuntary context switches= 492
runsolver used 2.20666 s user time and 6.37903 s system time
The end
Begin job on node30 on Mon Jan 29 18:59:34 UTC 2007
IDJOB= 208596
IDBENCH= 4413
IDSOLVER= 86
FILE ID= node30/208596-1170097172
PBS_JOBID= 3689682
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-29_ext.xml
COMMAND LINE= /tmp/evaluation/208596-1170097172/solver /tmp/evaluation/208596-1170097172 /tmp/evaluation/208596-1170097172/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-208596-1170097172 -o ROOT/results/node30/solver-208596-1170097172 -C 1800 -M 900 /tmp/evaluation/208596-1170097172/solver /tmp/evaluation/208596-1170097172 /tmp/evaluation/208596-1170097172/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= abce4cd812d977d51ee49779285b02fd
RANDOM SEED= 236343688
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.270
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.270
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: 1470072 kB
Buffers: 39844 kB
Cached: 287032 kB
SwapCached: 0 kB
Active: 300400 kB
Inactive: 214248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1470072 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 11608 kB
Writeback: 0 kB
Mapped: 213156 kB
Slab: 55992 kB
Committed_AS: 646048 kB
PageTables: 2336 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= 66553 MiB
End job on node30 on Mon Jan 29 19:29:47 UTC 2007