0.05 c # Sugar v0-40 (/tmp/evaluation/225734-1170104647/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225734-1170104647/unknown.xml [Mon Jan 29 22:04:07 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225734-1170104647/unknown.xml /tmp/evaluation/225734-1170104647/sugar23712.csp [Mon Jan 29 22:04:07 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225734-1170104647/sugar-v0-40.jar -convert /tmp/evaluation/225734-1170104647/unknown.xml /tmp/evaluation/225734-1170104647/sugar23712.csp
0.18 c BEGIN convert /tmp/evaluation/225734-1170104647/unknown.xml
1.95 c END convert (1.766057 seconds)
1.96 c # CONVERT_XML END : /tmp/evaluation/225734-1170104647/sugar23712.csp 8800011 bytes (2 seconds) [Mon Jan 29 22:04:09 2007]
1.96 c # CONVERT_XML CPU : 1.87 = 0 + 0 + 1.75 + 0.12
1.96
1.96 c # GENERATE_SAT BEGIN : /tmp/evaluation/225734-1170104647/sugar23712.bcnf [Mon Jan 29 22:04:09 2007]
1.96 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225734-1170104647/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225734-1170104647/sugar23712.map /tmp/evaluation/225734-1170104647/sugar23712.csp /tmp/evaluation/225734-1170104647/sugar23712.bcnf
2.15 c BEGIN parse /tmp/evaluation/225734-1170104647/sugar23712.csp
1810.97
1810.97 s UNKNOWN
1810.97 c # INTERRUPTED
1810.97 c # MAIN END : (1811 seconds) [Mon Jan 29 22:34:18 2007]
1810.97 c # MAIN CPU : 1.87 = 0 + 0 + 1.75 + 0.12
1810.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-225734-1170104647 -o ROOT/results/node30/solver-225734-1170104647 -C 1800 -M 900 /tmp/evaluation/225734-1170104647/solver /tmp/evaluation/225734-1170104647 /tmp/evaluation/225734-1170104647/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.11 2.04 1.95 5/87 23713
/proc/meminfo: memFree=1500256/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=7504 CPUtime=0
/proc/23712/stat : 23712 (sugar) R 23710 23712 22877 0 -1 4194304 314 0 0 0 0 0 0 0 20 0 1 0 4228777 7684096 50 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264904921516 0 0 4096 0 0 0 0 17 1 0 0
/proc/23712/statm: 1876 50 37 3 0 55 0
[startup+0.105047 s]
/proc/loadavg: 2.11 2.04 1.95 5/87 23713
/proc/meminfo: memFree=1500256/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=0.03
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 4228777 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516108 s]
/proc/loadavg: 2.11 2.04 1.95 5/87 23713
/proc/meminfo: memFree=1500256/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=0.03
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4228777 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33722 s]
/proc/loadavg: 2.11 2.04 1.95 3/95 23721
/proc/meminfo: memFree=1459040/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=0.03
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4228777 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 805 368 3 0 531 0
[pid=23714] ppid=23712 vsize=807128 CPUtime=1.24
/proc/23714/stat : 23714 (java) R 23712 23712 22877 0 -1 0 11087 0 1 0 116 8 0 0 22 0 8 0 4228782 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073484514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23714/statm: 201782 10821 1695 14 0 189060 0
[pid=23714/tid=23715] ppid=23712 vsize=807128 CPUtime=0.08
/proc/23714/task/23715/stat : 23715 (java) S 23712 23712 22877 0 -1 64 4590 0 0 0 6 2 0 0 16 0 8 0 4228786 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23716] ppid=23712 vsize=807128 CPUtime=0
/proc/23714/task/23716/stat : 23716 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228787 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23717] ppid=23712 vsize=807128 CPUtime=0
/proc/23714/task/23717/stat : 23717 (java) S 23712 23712 22877 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 4228787 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23718] ppid=23712 vsize=807128 CPUtime=0
/proc/23714/task/23718/stat : 23718 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228790 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23719] ppid=23712 vsize=807128 CPUtime=0.08
/proc/23714/task/23719/stat : 23719 (java) S 23712 23712 22877 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 4228790 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23720] ppid=23712 vsize=807128 CPUtime=0
/proc/23714/task/23720/stat : 23720 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228790 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23714/tid=23721] ppid=23712 vsize=807128 CPUtime=0
/proc/23714/task/23721/stat : 23721 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228790 826499072 10821 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820852
[startup+2.98046 s]
/proc/loadavg: 2.11 2.04 1.95 4/95 23729
/proc/meminfo: memFree=1482848/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807064 CPUtime=0.92
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 9277 0 1 0 86 6 0 0 21 0 8 0 4228974 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23722/statm: 201766 9022 1494 14 0 189044 0
[pid=23722/tid=23723] ppid=23712 vsize=807064 CPUtime=0.18
/proc/23722/task/23723/stat : 23723 (java) S 23712 23712 22877 0 -1 64 3221 0 0 0 16 2 0 0 16 0 8 0 4228984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807064 CPUtime=0.04
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 4228987 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826433536 9022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 820788
[startup+6.18191 s]
/proc/loadavg: 2.02 2.03 1.94 2/89 23740
/proc/meminfo: memFree=1725840/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807064 CPUtime=4.1
/proc/23722/stat : 23722 (java) S 23712 23712 22877 0 -1 0 23706 0 1 0 398 12 0 0 17 0 8 0 4228974 826433536 23421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23722/statm: 201766 23423 1494 14 0 189044 0
[pid=23722/tid=23723] ppid=23712 vsize=807064 CPUtime=1.07
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 17623 0 0 0 100 7 0 0 16 0 8 0 4228984 826433536 23424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228984 826433536 23426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826433536 23427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826433536 23429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807064 CPUtime=0.04
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 4228987 826433536 23430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826433536 23432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807064 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826433536 23434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 820788
[startup+12.6808 s]
/proc/loadavg: 1.94 2.01 1.94 4/102 23785
/proc/meminfo: memFree=1547744/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=10.59
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 54669 0 1 0 1033 26 0 0 19 0 8 0 4228974 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23722/statm: 201839 54303 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=3.26
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 48237 0 0 0 307 19 0 0 16 0 8 0 4228984 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228984 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.1
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 368 0 0 0 10 0 0 0 16 0 8 0 4228987 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 54303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 821080
[startup+25.4945 s]
/proc/loadavg: 2.10 2.04 1.95 4/102 23793
/proc/meminfo: memFree=1246824/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=23.28
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 86215 0 1 0 2286 42 0 0 25 0 8 0 4228974 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 85608 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=10.17
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 78730 0 0 0 983 34 0 0 16 0 8 0 4228984 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228984 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 85608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 821080
[startup+51.1461 s]
/proc/loadavg: 2.59 2.16 1.99 5/102 23793
/proc/meminfo: memFree=1096936/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=48.62
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 94824 0 1 0 4812 50 0 0 25 0 8 0 4228974 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 89778 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=25.59
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 86999 0 0 0 2519 40 0 0 16 0 8 0 4228984 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4228984 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 16 0 8 0 4228987 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 89778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 821080
[startup+102.402 s]
/proc/loadavg: 2.76 2.26 2.03 5/102 23793
/proc/meminfo: memFree=1042600/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=99.26
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 116705 0 1 0 9854 72 0 0 25 0 8 0 4228974 826732544 95918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 95918 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=59.62
################
# More data... #
################
/proc/loadavg: 3.46 3.41 3.09 4/102 23795
/proc/meminfo: memFree=587880/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1532.38
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 832216 0 1 0 152613 625 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1049.88
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 813963 0 0 0 104431 557 0 0 16 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.28
Current children cumulated vsize (KiB) 821080
[startup+1603.67 s]
/proc/loadavg: 3.55 3.45 3.12 4/102 23795
/proc/meminfo: memFree=587816/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1592.03
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 832545 0 1 0 158574 629 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1092.15
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 813963 0 0 0 108655 560 0 0 16 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022747 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.93
Current children cumulated vsize (KiB) 821080
[startup+1663.72 s]
/proc/loadavg: 3.43 3.44 3.13 5/102 23795
/proc/meminfo: memFree=587752/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1651.76
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 832856 0 1 0 164541 635 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1135.91
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 813963 0 0 0 113028 563 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.66
Current children cumulated vsize (KiB) 821080
[startup+1723.82 s]
/proc/loadavg: 3.27 3.40 3.14 3/102 23795
/proc/meminfo: memFree=587624/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1711.54
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 833193 0 1 0 170514 640 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1178.16
/proc/23722/task/23723/stat : 23723 (java) S 23712 23712 22877 0 -1 64 813963 0 0 0 117250 566 0 0 16 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.44
Current children cumulated vsize (KiB) 821080
[startup+1783.91 s]
/proc/loadavg: 3.41 3.42 3.16 5/102 23795
/proc/meminfo: memFree=587560/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1771.28
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 833537 0 1 0 176483 645 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1219.95
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 813963 0 0 0 121426 569 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222430 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.18
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.94 s]
/proc/loadavg: 3.38 3.41 3.16 5/102 23795
/proc/meminfo: memFree=587496/2055920 swapFree=4192812/4192956
[pid=23712] ppid=23710 vsize=13724 CPUtime=1.9
/proc/23712/stat : 23712 (sugar) S 23710 23712 22877 0 -1 4194304 1190 11115 0 1 3 0 175 12 15 0 1 0 4228777 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23712/statm: 3431 809 371 3 0 531 0
[pid=23722] ppid=23712 vsize=807356 CPUtime=1798.17
/proc/23722/stat : 23722 (java) R 23712 23712 22877 0 -1 0 833686 0 1 0 179170 647 0 0 25 0 8 0 4228974 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23722/statm: 201839 151103 1507 14 0 189117 0
[pid=23722/tid=23723] ppid=23712 vsize=807356 CPUtime=1238.65
/proc/23722/task/23723/stat : 23723 (java) R 23712 23712 22877 0 -1 64 813963 0 0 0 123295 570 0 0 16 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23724] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23724/stat : 23724 (java) S 23712 23712 22877 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23725] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23725/stat : 23725 (java) S 23712 23712 22877 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4228984 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23726] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23726/stat : 23726 (java) S 23712 23712 22877 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23727] ppid=23712 vsize=807356 CPUtime=0.12
/proc/23722/task/23727/stat : 23727 (java) S 23712 23712 22877 0 -1 64 380 0 0 0 12 0 0 0 17 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23722/tid=23728] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23728/stat : 23728 (java) S 23712 23712 22877 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4228987 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23722/tid=23729] ppid=23712 vsize=807356 CPUtime=0
/proc/23722/task/23729/stat : 23729 (java) S 23712 23712 22877 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4228988 826732544 151103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
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 23712 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=796726 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=135979
CPU time returned by wait4() is 1.9327
while last known CPU time is 1800.23
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.98
CPU time (s): 1800.23
CPU user time (s): 1793.55
CPU system time (s): 6.68
CPU usage (%): 99.3515
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.79673
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12385
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= 617
involuntary context switches= 545
runsolver used 2.28665 s user time and 6.50301 s system time
The end
Begin job on node30 on Mon Jan 29 21:04:07 UTC 2007
IDJOB= 225734
IDBENCH= 5889
IDSOLVER= 86
FILE ID= node30/225734-1170104647
PBS_JOBID= 3689769
Free space on /tmp= 66487 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-67_ext.xml
COMMAND LINE= /tmp/evaluation/225734-1170104647/solver /tmp/evaluation/225734-1170104647 /tmp/evaluation/225734-1170104647/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-225734-1170104647 -o ROOT/results/node30/solver-225734-1170104647 -C 1800 -M 900 /tmp/evaluation/225734-1170104647/solver /tmp/evaluation/225734-1170104647 /tmp/evaluation/225734-1170104647/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ca0f53cbedd3a05c00e8e279fa63e9be
RANDOM SEED= 179549683
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: 1500672 kB
Buffers: 18652 kB
Cached: 128364 kB
SwapCached: 0 kB
Active: 473928 kB
Inactive: 30484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1500672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2588 kB
Writeback: 0 kB
Mapped: 377172 kB
Slab: 35352 kB
Committed_AS: 756556 kB
PageTables: 2608 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= 66551 MiB
End job on node30 on Mon Jan 29 21:34:19 UTC 2007