0.13 c # Sugar v0-40 (/tmp/evaluation/218298-1170102022/sugar-v0-40.jar)
0.13
0.14 c # MAIN BEGIN : /tmp/evaluation/218298-1170102022/unknown.xml [Mon Jan 29 21:20:22 2007]
0.14 c # CONVERT_XML BEGIN : /tmp/evaluation/218298-1170102022/unknown.xml /tmp/evaluation/218298-1170102022/sugar26062.csp [Mon Jan 29 21:20:22 2007]
0.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218298-1170102022/sugar-v0-40.jar -convert /tmp/evaluation/218298-1170102022/unknown.xml /tmp/evaluation/218298-1170102022/sugar26062.csp
0.34 c BEGIN convert /tmp/evaluation/218298-1170102022/unknown.xml
1.77 c END convert (1.425234 seconds)
1.81 c # CONVERT_XML END : /tmp/evaluation/218298-1170102022/sugar26062.csp 7354386 bytes (2 seconds) [Mon Jan 29 21:20:24 2007]
1.81 c # CONVERT_XML CPU : 1.49 = 0 + 0 + 1.35 + 0.14
1.81
1.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/218298-1170102022/sugar26062.bcnf [Mon Jan 29 21:20:24 2007]
1.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/218298-1170102022/sugar-v0-40.jar -bcnf -map /tmp/evaluation/218298-1170102022/sugar26062.map /tmp/evaluation/218298-1170102022/sugar26062.csp /tmp/evaluation/218298-1170102022/sugar26062.bcnf
1.93 c BEGIN parse /tmp/evaluation/218298-1170102022/sugar26062.csp
1805.70
1805.70 s UNKNOWN
1805.70 c # INTERRUPTED
1805.70 c # MAIN END : (1806 seconds) [Mon Jan 29 21:50:28 2007]
1805.70 c # MAIN CPU : 1.49 = 0 + 0 + 1.35 + 0.14
1805.70
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-218298-1170102022 -o ROOT/results/node7/solver-218298-1170102022 -C 1800 -M 900 /tmp/evaluation/218298-1170102022/solver /tmp/evaluation/218298-1170102022 /tmp/evaluation/218298-1170102022/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.29 2.81 2.91 5/87 26063
/proc/meminfo: memFree=1859512/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=5352 CPUtime=0
/proc/26062/stat : 26062 (solver) R 26060 26062 25392 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30156927 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 244671114535 0 0 4096 0 0 0 0 17 1 0 0
/proc/26062/statm: 1338 231 193 169 0 49 0
[startup+0.10908 s]
/proc/loadavg: 2.29 2.81 2.91 5/87 26063
/proc/meminfo: memFree=1859512/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=12800 CPUtime=0.01
/proc/26062/stat : 26062 (sugar) R 26060 26062 25392 0 -1 4194304 810 0 4 0 1 0 0 0 18 0 1 0 30156927 13107200 533 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680004663 0 0 4224 0 0 0 0 17 1 0 0
/proc/26062/statm: 3200 533 316 3 0 300 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12800
[startup+0.517126 s]
/proc/loadavg: 2.29 2.81 2.91 5/87 26063
/proc/meminfo: memFree=1859512/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=0.03
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1117 0 4 0 3 0 0 0 15 0 1 0 30156927 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26062/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33921 s]
/proc/loadavg: 2.29 2.81 2.91 3/95 26071
/proc/meminfo: memFree=1816376/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=0.03
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1117 0 4 0 3 0 0 0 15 0 1 0 30156927 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26062/statm: 3431 805 368 3 0 531 0
[pid=26064] ppid=26062 vsize=807128 CPUtime=1.06
/proc/26064/stat : 26064 (java) R 26062 26062 25392 0 -1 0 9707 0 31 0 94 12 0 0 24 0 8 0 30156941 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26064/statm: 201782 9472 1695 14 0 189060 0
[pid=26064/tid=26065] ppid=26062 vsize=807128 CPUtime=0.05
/proc/26064/task/26065/stat : 26065 (java) S 26062 26062 25392 0 -1 64 3255 0 0 0 4 1 0 0 16 0 8 0 30156952 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26064/tid=26066] ppid=26062 vsize=807128 CPUtime=0
/proc/26064/task/26066/stat : 26066 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30156953 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26064/tid=26067] ppid=26062 vsize=807128 CPUtime=0
/proc/26064/task/26067/stat : 26067 (java) S 26062 26062 25392 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 30156953 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26064/tid=26068] ppid=26062 vsize=807128 CPUtime=0
/proc/26064/task/26068/stat : 26068 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30156956 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26064/tid=26069] ppid=26062 vsize=807128 CPUtime=0.05
/proc/26064/task/26069/stat : 26069 (java) S 26062 26062 25392 0 -1 64 296 0 0 0 5 0 0 0 16 0 8 0 30156956 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26064/tid=26070] ppid=26062 vsize=807128 CPUtime=0
/proc/26064/task/26070/stat : 26070 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30156956 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26064/tid=26071] ppid=26062 vsize=807128 CPUtime=0
/proc/26064/task/26071/stat : 26071 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30156956 826499072 9472 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 820852
[startup+2.98139 s]
/proc/loadavg: 2.35 2.81 2.91 3/95 26079
/proc/meminfo: memFree=1819640/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807064 CPUtime=1.11
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 10805 0 1 0 106 5 0 0 25 0 8 0 30157109 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201766 10547 1494 14 0 189044 0
[pid=26072/tid=26073] ppid=26062 vsize=807064 CPUtime=0.25
/proc/26072/task/26073/stat : 26073 (java) S 26062 26062 25392 0 -1 64 4746 0 0 0 23 2 0 0 16 0 8 0 30157112 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807064 CPUtime=0.04
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 30157116 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826433536 10547 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 820788
[startup+6.18972 s]
/proc/loadavg: 2.35 2.81 2.91 3/95 26079
/proc/meminfo: memFree=1753912/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807064 CPUtime=4.31
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 26208 0 1 0 418 13 0 0 25 0 8 0 30157109 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201766 25918 1494 14 0 189044 0
[pid=26072/tid=26073] ppid=26062 vsize=807064 CPUtime=1.2
/proc/26072/task/26073/stat : 26073 (java) S 26062 26062 25392 0 -1 64 20117 0 0 0 112 8 0 0 16 0 8 0 30157112 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807064 CPUtime=0.05
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30157116 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807064 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826433536 25918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 820788
[startup+12.6774 s]
/proc/loadavg: 2.37 2.80 2.91 3/95 26079
/proc/meminfo: memFree=1625016/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=10.77
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 56237 0 2 0 1049 28 0 0 19 0 8 0 30157109 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201839 55847 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=4
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 49365 0 1 0 379 21 0 0 15 0 8 0 30157112 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155242179 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.11
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 377 0 0 0 11 0 0 0 16 0 8 0 30157116 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 55847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 821080
[startup+25.5668 s]
/proc/loadavg: 2.54 2.82 2.91 5/95 26079
/proc/meminfo: memFree=1536440/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=23.6
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 79776 0 2 0 2322 38 0 0 25 0 8 0 30157109 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201839 78596 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=11.09
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 72632 0 1 0 1079 30 0 0 16 0 8 0 30157112 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022669 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.11
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 11 0 0 0 16 0 8 0 30157116 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 78596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 821080
[startup+51.2395 s]
/proc/loadavg: 2.64 2.82 2.91 4/95 26079
/proc/meminfo: memFree=1515384/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=49.12
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 90805 0 2 0 4864 48 0 0 25 0 8 0 30157109 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201839 83155 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=28.07
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 83289 0 1 0 2768 39 0 0 16 0 8 0 30157112 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525081 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 83155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 821080
[startup+102.47 s]
/proc/loadavg: 2.59 2.77 2.89 4/95 26079
/proc/meminfo: memFree=1490552/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=100.07
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 132355 0 2 0 9932 75 0 0 25 0 8 0 30157109 826732544 91494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26072/statm: 201839 91494 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=64
################
# More data... #
################
/proc/loadavg: 2.63 2.85 2.81 4/95 26180
/proc/meminfo: memFree=1023160/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1536.9
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 824287 0 2 0 153134 556 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1080.9
/proc/26072/task/26073/stat : 26073 (java) S 26062 26062 25392 0 -1 64 805166 0 1 0 107597 493 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.42
Current children cumulated vsize (KiB) 821080
[startup+1604.07 s]
/proc/loadavg: 2.81 2.86 2.82 3/95 26180
/proc/meminfo: memFree=1022200/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1596.94
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 824639 0 2 0 159134 560 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1125.29
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 805166 0 1 0 112033 496 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134250 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 821080
[startup+1664.13 s]
/proc/loadavg: 2.85 2.86 2.82 3/95 26180
/proc/meminfo: memFree=1022072/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1656.98
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 824961 0 2 0 165134 564 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073603822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1170.82
/proc/26072/task/26073/stat : 26073 (java) S 26062 26062 25392 0 -1 64 805166 0 1 0 116584 498 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.5
Current children cumulated vsize (KiB) 821080
[startup+1724.19 s]
/proc/loadavg: 2.82 2.86 2.82 4/95 26180
/proc/meminfo: memFree=1016120/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1717.02
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 825281 0 2 0 171133 569 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1216.41
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 805166 0 1 0 121139 502 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) R 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.54
Current children cumulated vsize (KiB) 821080
[startup+1784.24 s]
/proc/loadavg: 2.75 2.83 2.81 3/95 26180
/proc/meminfo: memFree=1008440/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1777.06
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 825604 0 2 0 177133 573 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1261.76
/proc/26072/task/26073/stat : 26073 (java) S 26062 26062 25392 0 -1 64 805166 0 1 0 125671 505 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.58
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.68 s]
/proc/loadavg: 2.76 2.83 2.81 4/95 26180
/proc/meminfo: memFree=1006072/2055920 swapFree=4192812/4192956
[pid=26062] ppid=26060 vsize=13724 CPUtime=1.52
/proc/26062/stat : 26062 (sugar) S 26060 26062 25392 0 -1 4194304 1186 9730 4 31 3 0 135 14 15 0 1 0 30156927 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26062/statm: 3431 809 371 3 0 531 0
[pid=26072] ppid=26062 vsize=807356 CPUtime=1798.49
/proc/26072/stat : 26072 (java) R 26062 26062 25392 0 -1 0 825727 0 2 0 179274 575 0 0 25 0 8 0 30157109 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26072/statm: 201839 151189 1507 14 0 189117 0
[pid=26072/tid=26073] ppid=26062 vsize=807356 CPUtime=1277.74
/proc/26072/task/26073/stat : 26073 (java) R 26062 26062 25392 0 -1 64 805166 0 1 0 127267 507 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215794 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26072/tid=26074] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26074/stat : 26074 (java) S 26062 26062 25392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26075] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26075/stat : 26075 (java) S 26062 26062 25392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30157112 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26076] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26076/stat : 26076 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30157115 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26077] ppid=26062 vsize=807356 CPUtime=0.12
/proc/26072/task/26077/stat : 26077 (java) S 26062 26062 25392 0 -1 64 383 0 0 0 12 0 0 0 17 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26078] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26078/stat : 26078 (java) S 26062 26062 25392 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26072/tid=26079] ppid=26062 vsize=807356 CPUtime=0
/proc/26072/task/26079/stat : 26079 (java) S 26062 26062 25392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30157116 826732544 151189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
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 26062 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=397787 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=154976
CPU time returned by wait4() is 1.55276
while last known CPU time is 1800.85
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.71
CPU time (s): 1800.85
CPU user time (s): 1794.86
CPU system time (s): 5.99
CPU usage (%): 99.6757
Max. virtual memory (cumulated for all children) (KiB): 821596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.39779
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10997
page faults= 35
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 667
involuntary context switches= 595
runsolver used 2.24866 s user time and 6.09707 s system time
The end
Begin job on node7 on Mon Jan 29 20:20:22 UTC 2007
IDJOB= 218298
IDBENCH= 5223
IDSOLVER= 86
FILE ID= node7/218298-1170102022
PBS_JOBID= 3689521
Free space on /tmp= 66559 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-15_ext.xml
COMMAND LINE= /tmp/evaluation/218298-1170102022/solver /tmp/evaluation/218298-1170102022 /tmp/evaluation/218298-1170102022/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-218298-1170102022 -o ROOT/results/node7/solver-218298-1170102022 -C 1800 -M 900 /tmp/evaluation/218298-1170102022/solver /tmp/evaluation/218298-1170102022 /tmp/evaluation/218298-1170102022/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1840635371b1f59e2c7afab36019d4cd
RANDOM SEED= 599219014
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1860184 kB
Buffers: 31268 kB
Cached: 39180 kB
SwapCached: 0 kB
Active: 118324 kB
Inactive: 33152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1860184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 100440 kB
Slab: 29176 kB
Committed_AS: 385316 kB
PageTables: 2192 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= 66478 MiB
End job on node7 on Mon Jan 29 20:50:29 UTC 2007