0.04 c # Sugar v0-40 (/tmp/evaluation/195905-1170092261/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/195905-1170092261/unknown.xml [Mon Jan 29 18:37:42 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/195905-1170092261/unknown.xml /tmp/evaluation/195905-1170092261/sugar15874.csp [Mon Jan 29 18:37:42 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195905-1170092261/sugar-v0-40.jar -convert /tmp/evaluation/195905-1170092261/unknown.xml /tmp/evaluation/195905-1170092261/sugar15874.csp
0.50 c BEGIN convert /tmp/evaluation/195905-1170092261/unknown.xml
3.56 c END convert (3.055029 seconds)
3.58 c # CONVERT_XML END : /tmp/evaluation/195905-1170092261/sugar15874.csp 17248413 bytes (3 seconds) [Mon Jan 29 18:37:45 2007]
3.58 c # CONVERT_XML CPU : 3.15 = 0 + 0 + 2.97 + 0.18
3.58
3.58 c # GENERATE_SAT BEGIN : /tmp/evaluation/195905-1170092261/sugar15874.bcnf [Mon Jan 29 18:37:45 2007]
3.58 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195905-1170092261/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195905-1170092261/sugar15874.map /tmp/evaluation/195905-1170092261/sugar15874.csp /tmp/evaluation/195905-1170092261/sugar15874.bcnf
3.74 c BEGIN parse /tmp/evaluation/195905-1170092261/sugar15874.csp
1808.41
1808.41 s UNKNOWN
1808.41 c # INTERRUPTED
1808.41 c # MAIN END : (1808 seconds) [Mon Jan 29 19:07:50 2007]
1808.41 c # MAIN CPU : 3.15 = 0 + 0 + 2.97 + 0.18
1808.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-195905-1170092261 -o ROOT/results/node41/solver-195905-1170092261 -C 1800 -M 900 /tmp/evaluation/195905-1170092261/solver /tmp/evaluation/195905-1170092261 /tmp/evaluation/195905-1170092261/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.91 1.97 1.95 5/73 15875
/proc/meminfo: memFree=1623488/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=9652 CPUtime=0
/proc/15874/stat : 15874 (sugar) R 15869 15874 15769 0 -1 4194304 324 0 0 0 0 0 0 0 18 0 1 0 29182090 9883648 61 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238387528992 0 0 4096 0 0 0 0 17 1 0 0
/proc/15874/statm: 2976 65 48 3 0 64 0
[startup+0.105467 s]
/proc/loadavg: 1.91 1.97 1.95 5/73 15875
/proc/meminfo: memFree=1623488/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=0.04
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29182090 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513508 s]
/proc/loadavg: 1.91 1.97 1.95 5/73 15875
/proc/meminfo: memFree=1623488/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=0.04
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182090 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33458 s]
/proc/loadavg: 1.92 1.97 1.95 4/89 15891
/proc/meminfo: memFree=1536768/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=0.04
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182090 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 805 368 3 0 531 0
[pid=15877] ppid=15874 vsize=807124 CPUtime=0.91
/proc/15877/stat : 15877 (java) R 15874 15874 15769 0 -1 0 12167 0 103 0 83 8 0 0 20 0 8 0 29182095 826494976 12014 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15877/statm: 201781 12016 1693 14 0 189059 0
[pid=15877/tid=15879] ppid=15874 vsize=807124 CPUtime=0.08
/proc/15877/task/15879/stat : 15879 (java) R 15874 15874 15769 0 -1 64 5797 0 0 0 6 2 0 0 16 0 8 0 29182130 826494976 12017 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15881] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15881/stat : 15881 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182130 826494976 12019 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15883] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15883/stat : 15883 (java) S 15874 15874 15769 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29182130 826494976 12021 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15884] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15884/stat : 15884 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182135 826494976 12023 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15885] ppid=15874 vsize=807124 CPUtime=0.07
/proc/15877/task/15885/stat : 15885 (java) S 15874 15874 15769 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 29182135 826494976 12025 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15886] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15886/stat : 15886 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182135 826494976 12027 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15887] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15887/stat : 15887 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182135 826494976 12029 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 820848
[startup+2.98073 s]
/proc/loadavg: 1.92 1.97 1.95 3/89 15891
/proc/meminfo: memFree=1499904/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=0.04
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182090 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 805 368 3 0 531 0
[pid=15877] ppid=15874 vsize=807124 CPUtime=2.56
/proc/15877/stat : 15877 (java) R 15874 15874 15769 0 -1 0 12952 0 103 0 241 15 0 0 25 0 8 0 29182095 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073595545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15877/statm: 201781 12761 1696 14 0 189059 0
[pid=15877/tid=15879] ppid=15874 vsize=807124 CPUtime=0.19
/proc/15877/task/15879/stat : 15879 (java) S 15874 15874 15769 0 -1 64 6518 0 0 0 16 3 0 0 16 0 8 0 29182130 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15881] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15881/stat : 15881 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182130 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15883] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15883/stat : 15883 (java) S 15874 15874 15769 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29182130 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15884] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15884/stat : 15884 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182135 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15885] ppid=15874 vsize=807124 CPUtime=0.09
/proc/15877/task/15885/stat : 15885 (java) S 15874 15874 15769 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 29182135 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15886] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15886/stat : 15886 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182135 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15877/tid=15887] ppid=15874 vsize=807124 CPUtime=0
/proc/15877/task/15887/stat : 15887 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182135 826494976 12761 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 820848
[startup+6.28101 s]
/proc/loadavg: 2.09 2.00 1.96 3/89 15907
/proc/meminfo: memFree=1458432/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807064 CPUtime=2.64
/proc/15900/stat : 15900 (java) R 15874 15874 15769 0 -1 0 17538 0 1 0 256 8 0 0 25 0 8 0 29182449 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073485845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201766 17266 1494 14 0 189044 0
[pid=15900/tid=15901] ppid=15874 vsize=807064 CPUtime=0.69
/proc/15900/task/15901/stat : 15901 (java) S 15874 15874 15769 0 -1 64 11466 0 0 0 65 4 0 0 16 0 8 0 29182456 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182456 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29182456 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807064 CPUtime=0.05
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29182460 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826433536 17266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 820788
[startup+12.7748 s]
/proc/loadavg: 2.08 2.00 1.96 4/89 15907
/proc/meminfo: memFree=1204672/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807064 CPUtime=9.14
/proc/15900/stat : 15900 (java) R 15874 15874 15769 0 -1 0 47153 0 1 0 893 21 0 0 25 0 8 0 29182449 826433536 46819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201766 46820 1494 14 0 189044 0
[pid=15900/tid=15901] ppid=15874 vsize=807064 CPUtime=2.6
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 41021 0 0 0 244 16 0 0 16 0 8 0 29182456 826433536 46821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182456 826433536 46823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29182456 826433536 46824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826433536 46826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807064 CPUtime=0.05
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29182460 826433536 46827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826433536 46829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807064 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826433536 46830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 820788
[startup+25.6057 s]
/proc/loadavg: 2.22 2.03 1.97 4/89 15907
/proc/meminfo: memFree=807744/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=21.96
/proc/15900/stat : 15900 (java) R 15874 15874 15769 0 -1 0 96193 0 1 0 2151 45 0 0 22 0 8 0 29182449 826757120 95802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 95803 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=8.79
/proc/15900/task/15901/stat : 15901 (java) S 15874 15874 15769 0 -1 64 86026 0 0 0 843 36 0 0 16 0 8 0 29182456 826757120 95803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 95804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29182456 826757120 95805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 95806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.08
/proc/15900/task/15905/stat : 15905 (java) R 15874 15874 15769 0 -1 64 363 0 0 0 8 0 0 0 16 0 8 0 29182460 826757120 95810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2429916 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 95810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 95812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 821104
[startup+51.2399 s]
/proc/loadavg: 2.59 2.14 2.01 5/89 15907
/proc/meminfo: memFree=395328/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=47.59
/proc/15900/stat : 15900 (java) R 15874 15874 15769 0 -1 0 148483 0 1 0 4687 72 0 0 25 0 8 0 29182449 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 147873 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=22.44
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 138052 0 0 0 2182 62 0 0 17 0 8 0 29182456 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523704 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 401 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 147873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 821104
[startup+102.502 s]
/proc/loadavg: 3.11 2.33 2.08 4/89 15907
/proc/meminfo: memFree=372160/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=98.84
/proc/15900/stat : 15900 (java) R 15874 15874 15769 0 -1 0 151829 0 1 0 9806 78 0 0 25 0 8 0 29182449 826757120 150881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 150881 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=55.5
################
# More data... #
################
/proc/loadavg: 2.23 2.82 2.94 3/89 16105
/proc/meminfo: memFree=367232/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1533.7
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 156533 0 1 0 153230 140 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1266.55
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 126550 105 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.89
Current children cumulated vsize (KiB) 821104
[startup+1604.11 s]
/proc/loadavg: 2.24 2.72 2.90 3/89 16105
/proc/meminfo: memFree=366976/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1593.51
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 156665 0 1 0 159209 142 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1319.63
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 131857 106 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525117 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.7
Current children cumulated vsize (KiB) 821104
[startup+1664.21 s]
/proc/loadavg: 2.31 2.65 2.86 3/89 16105
/proc/meminfo: memFree=366976/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1653.32
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 156795 0 1 0 165189 143 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1372.8
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 137173 107 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035600 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.51
Current children cumulated vsize (KiB) 821104
[startup+1724.21 s]
/proc/loadavg: 2.52 2.65 2.84 3/89 16105
/proc/meminfo: memFree=366976/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1713.05
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 156917 0 1 0 171161 144 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1426.39
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 142531 108 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.24
Current children cumulated vsize (KiB) 821104
[startup+1784.26 s]
/proc/loadavg: 2.53 2.62 2.82 4/89 16105
/proc/meminfo: memFree=366976/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1772.81
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 157034 0 1 0 177136 145 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1480.22
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 147913 109 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776
Current children cumulated vsize (KiB) 821104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.38 s]
/proc/loadavg: 2.35 2.57 2.80 3/89 16105
/proc/meminfo: memFree=366976/2055920 swapFree=4192956/4192956
[pid=15874] ppid=15869 vsize=13724 CPUtime=3.19
/proc/15874/stat : 15874 (sugar) S 15869 15874 15769 0 -1 4194304 1190 12977 0 103 3 1 297 18 15 0 1 0 29182090 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15874/statm: 3431 809 371 3 0 531 0
[pid=15900] ppid=15874 vsize=807380 CPUtime=1796.82
/proc/15900/stat : 15900 (java) S 15874 15874 15769 0 -1 0 157081 0 1 0 179536 146 0 0 16 0 8 0 29182449 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15900/statm: 201845 151280 1507 14 0 189123 0
[pid=15900/tid=15901] ppid=15874 vsize=807380 CPUtime=1501.77
/proc/15900/task/15901/stat : 15901 (java) R 15874 15874 15769 0 -1 64 141458 0 0 0 150067 110 0 0 25 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15902] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15902/stat : 15902 (java) S 15874 15874 15769 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15903] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15903/stat : 15903 (java) S 15874 15874 15769 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182456 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15904] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15904/stat : 15904 (java) S 15874 15874 15769 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15905] ppid=15874 vsize=807380 CPUtime=0.13
/proc/15900/task/15905/stat : 15905 (java) S 15874 15874 15769 0 -1 64 402 0 0 0 13 0 0 0 17 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15906] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15906/stat : 15906 (java) S 15874 15874 15769 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15900/tid=15907] ppid=15874 vsize=807380 CPUtime=0
/proc/15900/task/15907/stat : 15907 (java) S 15874 15874 15769 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182460 826757120 151280 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 821104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 15874 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=11542 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=205968
CPU time returned by wait4() is 3.21751
while last known CPU time is 1800.15
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.42
CPU time (s): 1800.15
CPU user time (s): 1798.41
CPU system time (s): 1.74
CPU usage (%): 99.4879
Max. virtual memory (cumulated for all children) (KiB): 821104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.01154
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14247
page faults= 103
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1097
involuntary context switches= 859
runsolver used 2.11068 s user time and 6.12707 s system time
The end
Begin job on node41 on Mon Jan 29 17:37:41 UTC 2007
IDJOB= 195905
IDBENCH= 3310
IDSOLVER= 86
FILE ID= node41/195905-1170092261
PBS_JOBID= 3689595
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-22_ext.xml
COMMAND LINE= /tmp/evaluation/195905-1170092261/solver /tmp/evaluation/195905-1170092261 /tmp/evaluation/195905-1170092261/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-195905-1170092261 -o ROOT/results/node41/solver-195905-1170092261 -C 1800 -M 900 /tmp/evaluation/195905-1170092261/solver /tmp/evaluation/195905-1170092261 /tmp/evaluation/195905-1170092261/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3f91470deb50812f5025dbd993c53a3e
RANDOM SEED= 704053921
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.231
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.231
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: 1625800 kB
Buffers: 47604 kB
Cached: 292736 kB
SwapCached: 0 kB
Active: 153700 kB
Inactive: 206792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625800 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7524 kB
Writeback: 0 kB
Mapped: 30280 kB
Slab: 55120 kB
Committed_AS: 60176 kB
PageTables: 1700 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= 66542 MiB
End job on node41 on Mon Jan 29 18:07:51 UTC 2007