0.05 c # Sugar v0-40 (/tmp/evaluation/225894-1170104658/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225894-1170104658/unknown.xml [Mon Jan 29 22:04:19 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225894-1170104658/unknown.xml /tmp/evaluation/225894-1170104658/sugar17955.csp [Mon Jan 29 22:04:19 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225894-1170104658/sugar-v0-40.jar -convert /tmp/evaluation/225894-1170104658/unknown.xml /tmp/evaluation/225894-1170104658/sugar17955.csp
0.18 c BEGIN convert /tmp/evaluation/225894-1170104658/unknown.xml
1.92 c END convert (1.743281 seconds)
1.96 c # CONVERT_XML END : /tmp/evaluation/225894-1170104658/sugar17955.csp 8772238 bytes (2 seconds) [Mon Jan 29 22:04:21 2007]
1.96 c # CONVERT_XML CPU : 1.86 = 0 + 0 + 1.76 + 0.1
1.96
1.96 c # GENERATE_SAT BEGIN : /tmp/evaluation/225894-1170104658/sugar17955.bcnf [Mon Jan 29 22:04:21 2007]
1.96 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225894-1170104658/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225894-1170104658/sugar17955.map /tmp/evaluation/225894-1170104658/sugar17955.csp /tmp/evaluation/225894-1170104658/sugar17955.bcnf
2.08 c BEGIN parse /tmp/evaluation/225894-1170104658/sugar17955.csp
1802.90
1802.90 s UNKNOWN
1802.90 c # INTERRUPTED
1802.90 c # MAIN END : (1803 seconds) [Mon Jan 29 22:34:22 2007]
1802.90 c # MAIN CPU : 1.87 = 0 + 0.01 + 1.76 + 0.1
1802.90
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-225894-1170104658 -o ROOT/results/node22/solver-225894-1170104658 -C 1800 -M 900 /tmp/evaluation/225894-1170104658/solver /tmp/evaluation/225894-1170104658 /tmp/evaluation/225894-1170104658/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.85 1.97 1.87 5/88 17956
/proc/meminfo: memFree=1567760/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=18540 CPUtime=0
/proc/17955/stat : 17955 (runsolver) R 17953 17955 17416 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30419810 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17955/statm: 4635 279 244 17 0 2626 0
[startup+0.109637 s]
/proc/loadavg: 1.85 1.97 1.87 5/88 17956
/proc/meminfo: memFree=1567760/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=0.04
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30419810 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517669 s]
/proc/loadavg: 1.85 1.97 1.87 5/88 17956
/proc/meminfo: memFree=1567760/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=0.04
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30419810 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34073 s]
/proc/loadavg: 1.85 1.97 1.87 3/96 17964
/proc/meminfo: memFree=1526352/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=0.04
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30419810 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 805 368 3 0 531 0
[pid=17957] ppid=17955 vsize=808152 CPUtime=1.27
/proc/17957/stat : 17957 (java) R 17955 17955 17416 0 -1 0 11086 0 1 0 119 8 0 0 22 0 8 0 30419815 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073417926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17957/statm: 202038 10819 1695 14 0 189316 0
[pid=17957/tid=17958] ppid=17955 vsize=808152 CPUtime=0.09
/proc/17957/task/17958/stat : 17958 (java) S 17955 17955 17416 0 -1 64 4588 0 0 0 7 2 0 0 16 0 8 0 30419818 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17959] ppid=17955 vsize=808152 CPUtime=0
/proc/17957/task/17959/stat : 17959 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30419819 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17960] ppid=17955 vsize=808152 CPUtime=0
/proc/17957/task/17960/stat : 17960 (java) S 17955 17955 17416 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 30419819 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17961] ppid=17955 vsize=808152 CPUtime=0
/proc/17957/task/17961/stat : 17961 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30419822 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17962] ppid=17955 vsize=808152 CPUtime=0.08
/proc/17957/task/17962/stat : 17962 (java) S 17955 17955 17416 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 30419822 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17963] ppid=17955 vsize=808152 CPUtime=0
/proc/17957/task/17963/stat : 17963 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30419823 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17957/tid=17964] ppid=17955 vsize=808152 CPUtime=0
/proc/17957/task/17964/stat : 17964 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30419823 827547648 10819 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 821876
[startup+2.99186 s]
/proc/loadavg: 1.85 1.97 1.87 4/96 17972
/proc/meminfo: memFree=1540816/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807064 CPUtime=1
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 9744 0 1 0 95 5 0 0 21 0 8 0 30420006 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073497968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201766 9488 1494 14 0 189044 0
[pid=17965/tid=17966] ppid=17955 vsize=807064 CPUtime=0.2
/proc/17965/task/17966/stat : 17966 (java) S 17955 17955 17416 0 -1 64 3687 0 0 0 19 1 0 0 16 0 8 0 30420010 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807064 CPUtime=0.05
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30420014 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826433536 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.2871 s]
/proc/loadavg: 1.86 1.97 1.87 3/96 17972
/proc/meminfo: memFree=1477584/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807064 CPUtime=4.28
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 23781 0 1 0 414 14 0 0 25 0 8 0 30420006 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201766 23494 1494 14 0 189044 0
[pid=17965/tid=17966] ppid=17955 vsize=807064 CPUtime=1.14
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 17693 0 0 0 106 8 0 0 16 0 8 0 30420010 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822852 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807064 CPUtime=0.05
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30420014 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807064 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826433536 23494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 820788
[startup+12.7684 s]
/proc/loadavg: 1.95 1.98 1.88 4/96 17972
/proc/meminfo: memFree=1349328/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=10.75
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 54798 0 1 0 1045 30 0 0 25 0 8 0 30420006 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 54431 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=3.31
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 48360 0 0 0 308 23 0 0 16 0 8 0 30420010 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.11
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 368 0 0 0 11 0 0 0 16 0 8 0 30420014 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 54431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 821080
[startup+25.6393 s]
/proc/loadavg: 2.03 2.00 1.89 3/96 17972
/proc/meminfo: memFree=1224784/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=23.62
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 85580 0 1 0 2316 46 0 0 25 0 8 0 30420006 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 84979 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=10.35
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 78080 0 0 0 998 37 0 0 16 0 8 0 30420010 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155167556 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 84979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 821080
[startup+51.2922 s]
/proc/loadavg: 2.10 2.02 1.89 3/96 17972
/proc/meminfo: memFree=1203856/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=49.26
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 95194 0 1 0 4872 54 0 0 25 0 8 0 30420006 826732544 90059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 90065 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=26.91
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 87345 0 0 0 2647 44 0 0 16 0 8 0 30420010 826732544 90071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 90076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 90083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 90090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 90097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 90104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 90111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 821080
[startup+102.498 s]
/proc/loadavg: 2.44 2.12 1.93 4/96 17972
/proc/meminfo: memFree=1172496/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=100.45
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 118232 0 1 0 9973 72 0 0 25 0 8 0 30420006 826732544 94232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 94232 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=63.28
################
# More data... #
################
/proc/loadavg: 3.57 3.44 3.00 4/102 18070
/proc/meminfo: memFree=638632/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1539.97
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 799809 0 1 0 153404 593 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1082.47
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 107717 530 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022726 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 821080
[startup+1604.25 s]
/proc/loadavg: 3.68 3.50 3.05 5/102 18070
/proc/meminfo: memFree=637416/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1600.03
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 800151 0 1 0 159407 596 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1127.43
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 112211 532 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022679 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 821080
[startup+1664.32 s]
/proc/loadavg: 3.56 3.50 3.07 5/102 18070
/proc/meminfo: memFree=637352/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1660.08
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 800494 0 1 0 165407 601 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1172.49
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 116714 535 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 821080
[startup+1724.33 s]
/proc/loadavg: 3.05 3.37 3.06 3/102 18070
/proc/meminfo: memFree=637224/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1719.73
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 800851 0 1 0 171368 605 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1216.67
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 121129 538 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525117 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 821080
[startup+1784.34 s]
/proc/loadavg: 2.99 3.30 3.06 4/102 18070
/proc/meminfo: memFree=637096/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1779.65
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 801199 0 1 0 177355 610 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1261.67
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 125626 541 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525198 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.88 s]
/proc/loadavg: 2.91 3.27 3.05 5/102 18070
/proc/meminfo: memFree=637096/2055920 swapFree=4192812/4192956
[pid=17955] ppid=17953 vsize=13724 CPUtime=1.9
/proc/17955/stat : 17955 (sugar) S 17953 17955 17416 0 -1 4194304 1190 11112 0 1 3 1 176 10 15 0 1 0 30419810 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17955/statm: 3431 809 371 3 0 531 0
[pid=17965] ppid=17955 vsize=807356 CPUtime=1798.2
/proc/17965/stat : 17965 (java) R 17955 17955 17416 0 -1 0 801303 0 1 0 179209 611 0 0 25 0 8 0 30420006 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17965/statm: 201839 151238 1507 14 0 189117 0
[pid=17965/tid=17966] ppid=17955 vsize=807356 CPUtime=1275.76
/proc/17965/task/17966/stat : 17966 (java) R 17955 17955 17416 0 -1 64 781283 0 0 0 127034 542 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216465 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17965/tid=17967] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17967/stat : 17967 (java) S 17955 17955 17416 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17968] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17968/stat : 17968 (java) S 17955 17955 17416 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30420010 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17969] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17969/stat : 17969 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17970] ppid=17955 vsize=807356 CPUtime=0.13
/proc/17965/task/17970/stat : 17970 (java) S 17955 17955 17416 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17971] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17971/stat : 17971 (java) S 17955 17955 17416 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17965/tid=17972] ppid=17955 vsize=807356 CPUtime=0
/proc/17965/task/17972/stat : 17972 (java) S 17955 17955 17416 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30420014 826732544 151238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
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 17955 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=798726 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=121981
CPU time returned by wait4() is 1.92071
while last known CPU time is 1800.3
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.92
CPU time (s): 1800.3
CPU user time (s): 1793.99
CPU system time (s): 6.31
CPU usage (%): 99.7994
Max. virtual memory (cumulated for all children) (KiB): 821876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.79873
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12382
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 616
involuntary context switches= 526
runsolver used 2.25766 s user time and 6.06808 s system time
The end
Begin job on node22 on Mon Jan 29 21:04:18 UTC 2007
IDJOB= 225894
IDBENCH= 5910
IDSOLVER= 86
FILE ID= node22/225894-1170104658
PBS_JOBID= 3689773
Free space on /tmp= 66476 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-25_ext.xml
COMMAND LINE= /tmp/evaluation/225894-1170104658/solver /tmp/evaluation/225894-1170104658 /tmp/evaluation/225894-1170104658/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-225894-1170104658 -o ROOT/results/node22/solver-225894-1170104658 -C 1800 -M 900 /tmp/evaluation/225894-1170104658/solver /tmp/evaluation/225894-1170104658 /tmp/evaluation/225894-1170104658/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 9f26a666bb0b42121c2d5a77d97f4fb8
RANDOM SEED= 859212894
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.235
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.235
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: 1568176 kB
Buffers: 15032 kB
Cached: 158836 kB
SwapCached: 144 kB
Active: 388876 kB
Inactive: 48492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1568176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2688 kB
Writeback: 0 kB
Mapped: 283068 kB
Slab: 34964 kB
Committed_AS: 516116 kB
PageTables: 2428 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= 66559 MiB
End job on node22 on Mon Jan 29 21:34:25 UTC 2007