0.04 c # Sugar v0-40 (/tmp/evaluation/224641-1170103576/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/224641-1170103576/unknown.xml [Mon Jan 29 21:46:16 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/224641-1170103576/unknown.xml /tmp/evaluation/224641-1170103576/sugar21741.csp [Mon Jan 29 21:46:16 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224641-1170103576/sugar-v0-40.jar -convert /tmp/evaluation/224641-1170103576/unknown.xml /tmp/evaluation/224641-1170103576/sugar21741.csp
0.16 c BEGIN convert /tmp/evaluation/224641-1170103576/unknown.xml
1.01 c END convert (0.856913 seconds)
1.05 c # CONVERT_XML END : /tmp/evaluation/224641-1170103576/sugar21741.csp 4122663 bytes (1 seconds) [Mon Jan 29 21:46:17 2007]
1.05 c # CONVERT_XML CPU : 0.01 = 0 + 0.01 + 0 + 0
1.05
1.05 c # GENERATE_SAT BEGIN : /tmp/evaluation/224641-1170103576/sugar21741.bcnf [Mon Jan 29 21:46:17 2007]
1.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/224641-1170103576/sugar-v0-40.jar -bcnf -map /tmp/evaluation/224641-1170103576/sugar21741.map /tmp/evaluation/224641-1170103576/sugar21741.csp /tmp/evaluation/224641-1170103576/sugar21741.bcnf
1.17 c BEGIN parse /tmp/evaluation/224641-1170103576/sugar21741.csp
1803.12
1803.12 s UNKNOWN
1803.12 c # INTERRUPTED
1803.12 c # MAIN END : (1803 seconds) [Mon Jan 29 22:16:19 2007]
1803.12 c # MAIN CPU : 0.01 = 0 + 0.01 + 0 + 0
1803.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-224641-1170103576 -o ROOT/results/node69/solver-224641-1170103576 -C 1800 -M 900 /tmp/evaluation/224641-1170103576/solver /tmp/evaluation/224641-1170103576 /tmp/evaluation/224641-1170103576/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.00 1.00 1.20 4/65 21742
/proc/meminfo: memFree=1918480/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=12132 CPUtime=0
/proc/21741/stat : 21741 (sugar) R 21739 21741 20707 0 -1 4194304 533 0 0 0 0 0 0 0 18 0 1 0 30315319 12423168 252 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237947819001 0 0 4224 0 0 0 0 17 1 0 0
/proc/21741/statm: 3033 254 189 3 0 133 0
[startup+0.10677 s]
/proc/loadavg: 1.00 1.00 1.20 4/65 21742
/proc/meminfo: memFree=1918480/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1112 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514834 s]
/proc/loadavg: 1.00 1.00 1.20 4/65 21742
/proc/meminfo: memFree=1918480/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33597 s]
/proc/loadavg: 1.00 1.00 1.20 3/74 21758
/proc/meminfo: memFree=1909256/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807064 CPUtime=0.26
/proc/21751/stat : 21751 (java) R 21741 21741 20707 0 -1 0 5790 0 1 0 23 3 0 0 17 0 8 0 30315425 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201766 5541 1482 14 0 189044 0
[pid=21751/tid=21752] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21752/stat : 21752 (java) S 21741 21741 20707 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 30315428 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30315428 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30315428 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807064 CPUtime=0.04
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 30315431 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 30315431 826433536 5541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.98824 s]
/proc/loadavg: 1.00 1.00 1.19 2/74 21758
/proc/meminfo: memFree=1876616/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807064 CPUtime=1.91
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 14099 0 1 0 184 7 0 0 17 0 8 0 30315425 826433536 13835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201766 13836 1494 14 0 189044 0
[pid=21751/tid=21752] ppid=21741 vsize=807064 CPUtime=0.47
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 8036 0 0 0 44 3 0 0 17 0 8 0 30315428 826433536 13837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30315428 826433536 13838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826433536 13839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826433536 13840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807064 CPUtime=0.04
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 30315431 826433536 13841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826433536 13842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807064 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826433536 13844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820788
[startup+6.28078 s]
/proc/loadavg: 1.00 1.00 1.19 2/74 21758
/proc/meminfo: memFree=1811336/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=5.18
/proc/21751/stat : 21751 (java) R 21741 21741 20707 0 -1 0 32634 0 1 0 503 15 0 0 16 0 8 0 30315425 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201837 32316 1506 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1.52
/proc/21751/task/21752/stat : 21752 (java) S 21741 21741 20707 0 -1 64 26351 0 0 0 141 11 0 0 16 0 8 0 30315428 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30315428 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.09
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 378 0 0 0 9 0 0 0 16 0 8 0 30315431 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821072
[startup+12.7728 s]
/proc/loadavg: 1.00 1.00 1.19 2/74 21758
/proc/meminfo: memFree=1701136/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=11.68
/proc/21751/stat : 21751 (java) R 21741 21741 20707 0 -1 0 55163 0 1 0 1142 26 0 0 16 0 8 0 30315425 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201837 54131 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=4.71
/proc/21751/task/21752/stat : 21752 (java) S 21741 21741 20707 0 -1 64 48631 0 0 0 451 20 0 0 16 0 8 0 30315428 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30315428 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.11
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 386 0 0 0 11 0 0 0 16 0 8 0 30315431 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 54131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 821072
[startup+25.6501 s]
/proc/loadavg: 1.00 1.00 1.19 2/74 21758
/proc/meminfo: memFree=1701264/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=24.53
/proc/21751/stat : 21751 (java) R 21741 21741 20707 0 -1 0 60510 0 1 0 2421 32 0 0 16 0 8 0 30315425 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 201837 54136 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=12.81
/proc/21751/task/21752/stat : 21752 (java) S 21741 21741 20707 0 -1 64 53610 0 0 0 1256 25 0 0 16 0 8 0 30315428 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30315428 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.12
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 391 0 0 0 12 0 0 0 16 0 8 0 30315431 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 54136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 821072
[startup+51.2993 s]
/proc/loadavg: 1.00 1.00 1.18 2/74 21758
/proc/meminfo: memFree=1701072/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=50.12
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 80192 0 1 0 4967 45 0 0 16 0 8 0 30315425 826724352 54226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201837 54226 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=30.43
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 72664 0 0 0 3006 37 0 0 17 0 8 0 30315428 826724352 54226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222385 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30315428 826724352 54226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 54226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 54226 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.12
################
# More data... #
################
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.2
Current children cumulated vsize (KiB) 821072
[startup+1604.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 21956
/proc/meminfo: memFree=1312144/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=1600.2
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 957479 0 1 0 159379 641 0 0 17 0 8 0 30315425 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 201837 150986 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1097.42
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 931241 0 0 0 109176 566 0 0 16 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525114 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.2
Current children cumulated vsize (KiB) 821072
[startup+1664.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 21956
/proc/meminfo: memFree=1312208/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=1660.17
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 957769 0 1 0 165373 644 0 0 17 0 8 0 30315425 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 201837 150986 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1146.61
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 931241 0 0 0 114094 567 0 0 17 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 821072
[startup+1724.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 21956
/proc/meminfo: memFree=1312144/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=1720.15
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 958131 0 1 0 171367 648 0 0 17 0 8 0 30315425 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 201837 150987 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1192.49
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 931241 0 0 0 118679 570 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153931898 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.15
Current children cumulated vsize (KiB) 821072
[startup+1784.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 21956
/proc/meminfo: memFree=1312144/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=1780.11
/proc/21751/stat : 21751 (java) S 21741 21741 20707 0 -1 0 958579 0 1 0 177359 652 0 0 17 0 8 0 30315425 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 201837 150987 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1235.11
/proc/21751/task/21752/stat : 21752 (java) R 21741 21741 20707 0 -1 64 931241 0 0 0 122938 573 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (KiB) 821072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/74 21956
/proc/meminfo: memFree=1312144/2055920 swapFree=4192812/4192956
[pid=21741] ppid=21739 vsize=13724 CPUtime=0.04
/proc/21741/stat : 21741 (sugar) S 21739 21741 20707 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30315319 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21741/statm: 3431 809 371 3 0 531 0
[pid=21743] ppid=21741 vsize=0 CPUtime=0.96
/proc/21743/stat : 21743 (java) Z 21741 21741 20707 0 -1 1036 8688 0 1 0 89 7 0 0 18 0 1 0 30315323 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/21743/statm: 0 0 0 0 0 0 0
[pid=21751] ppid=21741 vsize=807348 CPUtime=1799.02
/proc/21751/stat : 21751 (java) R 21741 21741 20707 0 -1 0 958662 0 1 0 179249 653 0 0 16 0 8 0 30315425 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 201837 150987 1507 14 0 189115 0
[pid=21751/tid=21752] ppid=21741 vsize=807348 CPUtime=1250.93
/proc/21751/task/21752/stat : 21752 (java) S 21741 21741 20707 0 -1 64 931241 0 0 0 124519 574 0 0 17 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21753] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21753/stat : 21753 (java) S 21741 21741 20707 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21741 21741 20707 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30315428 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21741 21741 20707 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21756] ppid=21741 vsize=807348 CPUtime=0.13
/proc/21751/task/21756/stat : 21756 (java) S 21741 21741 20707 0 -1 64 394 0 0 0 13 0 0 0 16 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21757/stat : 21757 (java) S 21741 21741 20707 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21751/tid=21758] ppid=21741 vsize=807348 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21741 21741 20707 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30315431 826724352 150987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21741 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=34994 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=13997
CPU time returned by wait4() is 0.048991
while last known CPU time is 1800.17
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1804.13
CPU time (s): 1800.17
CPU user time (s): 1793.46
CPU system time (s): 6.71
CPU usage (%): 99.7803
Max. virtual memory (cumulated for all children) (KiB): 821072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 2
runsolver used 1.9797 s user time and 5.62814 s system time
The end
Begin job on node69 on Mon Jan 29 20:46:16 UTC 2007
IDJOB= 224641
IDBENCH= 5774
IDSOLVER= 86
FILE ID= node69/224641-1170103576
PBS_JOBID= 3689730
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-37_ext.xml
COMMAND LINE= /tmp/evaluation/224641-1170103576/solver /tmp/evaluation/224641-1170103576 /tmp/evaluation/224641-1170103576/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-224641-1170103576 -o ROOT/results/node69/solver-224641-1170103576 -C 1800 -M 900 /tmp/evaluation/224641-1170103576/solver /tmp/evaluation/224641-1170103576 /tmp/evaluation/224641-1170103576/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 4f1efc87014a8b5ba672ff295cc5cd98
RANDOM SEED= 724464878
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.261
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.261
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: 1918960 kB
Buffers: 32316 kB
Cached: 39152 kB
SwapCached: 0 kB
Active: 45344 kB
Inactive: 42012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1918960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1504 kB
Writeback: 0 kB
Mapped: 26072 kB
Slab: 35596 kB
Committed_AS: 252252 kB
PageTables: 1476 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= 66563 MiB
End job on node69 on Mon Jan 29 21:16:20 UTC 2007