0.04 c # Sugar v0-40 (/tmp/evaluation/195892-1170092247/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/195892-1170092247/unknown.xml [Mon Jan 29 18:37:28 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/195892-1170092247/unknown.xml /tmp/evaluation/195892-1170092247/sugar21760.csp [Mon Jan 29 18:37:28 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195892-1170092247/sugar-v0-40.jar -convert /tmp/evaluation/195892-1170092247/unknown.xml /tmp/evaluation/195892-1170092247/sugar21760.csp
0.31 c BEGIN convert /tmp/evaluation/195892-1170092247/unknown.xml
3.13 c END convert (2.817664 seconds)
3.17 c # CONVERT_XML END : /tmp/evaluation/195892-1170092247/sugar21760.csp 16844765 bytes (3 seconds) [Mon Jan 29 18:37:31 2007]
3.17 c # CONVERT_XML CPU : 2.91 = 0 + 0 + 2.74 + 0.17
3.17
3.17 c # GENERATE_SAT BEGIN : /tmp/evaluation/195892-1170092247/sugar21760.bcnf [Mon Jan 29 18:37:31 2007]
3.17 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195892-1170092247/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195892-1170092247/sugar21760.map /tmp/evaluation/195892-1170092247/sugar21760.csp /tmp/evaluation/195892-1170092247/sugar21760.bcnf
3.29 c BEGIN parse /tmp/evaluation/195892-1170092247/sugar21760.csp
1808.46
1808.46 s UNKNOWN
1808.46 c # INTERRUPTED
1808.46 c # MAIN END : (1808 seconds) [Mon Jan 29 19:07:36 2007]
1808.46 c # MAIN CPU : 2.92 = 0 + 0.01 + 2.74 + 0.17
1808.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-195892-1170092247 -o ROOT/results/node75/solver-195892-1170092247 -C 1800 -M 900 /tmp/evaluation/195892-1170092247/solver /tmp/evaluation/195892-1170092247 /tmp/evaluation/195892-1170092247/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.35 1.82 1.92 6/71 21761
/proc/meminfo: memFree=1537352/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=12668 CPUtime=0
/proc/21760/stat : 21760 (sugar) R 21751 21760 21647 0 -1 4194304 778 0 0 0 0 0 0 0 18 0 1 0 29190631 12972032 497 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231882848869 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/21760/statm: 3167 497 315 3 0 267 0
[startup+0.107081 s]
/proc/loadavg: 1.35 1.82 1.92 6/71 21761
/proc/meminfo: memFree=1537352/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=0.03
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29190631 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21760/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.517117 s]
/proc/loadavg: 1.35 1.82 1.92 6/71 21761
/proc/meminfo: memFree=1537352/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=0.03
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29190631 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34016 s]
/proc/loadavg: 1.35 1.82 1.92 3/89 21798
/proc/meminfo: memFree=1431736/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=0.03
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29190631 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 805 368 3 0 531 0
[pid=21773] ppid=21760 vsize=807136 CPUtime=1.11
/proc/21773/stat : 21773 (java) R 21760 21760 21647 0 -1 0 12774 0 124 0 101 10 0 0 23 0 8 0 29190636 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073484685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21773/statm: 201784 12637 1693 14 0 189062 0
[pid=21773/tid=21785] ppid=21760 vsize=807136 CPUtime=0.1
/proc/21773/task/21785/stat : 21785 (java) S 21760 21760 21647 0 -1 64 6413 0 0 0 8 2 0 0 16 0 8 0 29190651 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21787] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21787/stat : 21787 (java) S 21760 21760 21647 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29190652 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21788] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21788/stat : 21788 (java) S 21760 21760 21647 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29190652 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21791] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21791/stat : 21791 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190656 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21792] ppid=21760 vsize=807136 CPUtime=0.07
/proc/21773/task/21792/stat : 21792 (java) S 21760 21760 21647 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 29190656 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21793] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21793/stat : 21793 (java) S 21760 21760 21647 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29190656 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21794] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21794/stat : 21794 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29190656 826507264 12637 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 820860
[startup+2.98536 s]
/proc/loadavg: 1.35 1.82 1.92 3/89 21798
/proc/meminfo: memFree=1410232/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=0.03
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29190631 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 805 368 3 0 531 0
[pid=21773] ppid=21760 vsize=807136 CPUtime=2.75
/proc/21773/stat : 21773 (java) R 21760 21760 21647 0 -1 0 12822 0 124 0 260 15 0 0 25 0 8 0 29190636 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073484695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21773/statm: 201784 12643 1693 14 0 189062 0
[pid=21773/tid=21785] ppid=21760 vsize=807136 CPUtime=0.21
/proc/21773/task/21785/stat : 21785 (java) S 21760 21760 21647 0 -1 64 6413 0 0 0 18 3 0 0 15 0 8 0 29190651 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21787] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21787/stat : 21787 (java) S 21760 21760 21647 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 29190652 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21788] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21788/stat : 21788 (java) S 21760 21760 21647 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29190652 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21791] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21791/stat : 21791 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190656 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21792] ppid=21760 vsize=807136 CPUtime=0.09
/proc/21773/task/21792/stat : 21792 (java) S 21760 21760 21647 0 -1 64 311 0 0 0 9 0 0 0 16 0 8 0 29190656 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21793] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21793/stat : 21793 (java) S 21760 21760 21647 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29190656 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21773/tid=21794] ppid=21760 vsize=807136 CPUtime=0
/proc/21773/task/21794/stat : 21794 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29190656 826507264 12643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 820860
[startup+6.18973 s]
/proc/loadavg: 1.48 1.84 1.93 3/89 21814
/proc/meminfo: memFree=1354304/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807064 CPUtime=2.98
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 19934 0 1 0 288 10 0 0 25 0 8 0 29190949 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073504491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201766 19657 1494 14 0 189044 0
[pid=21807/tid=21808] ppid=21760 vsize=807064 CPUtime=0.8
/proc/21807/task/21808/stat : 21808 (java) S 21760 21760 21647 0 -1 64 13856 0 0 0 74 6 0 0 16 0 8 0 29190952 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29190952 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807064 CPUtime=0.04
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 29190956 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826433536 19657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 820788
[startup+12.6815 s]
/proc/loadavg: 1.53 1.84 1.93 3/89 21814
/proc/meminfo: memFree=1094472/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807064 CPUtime=9.46
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 51179 0 1 0 921 25 0 0 25 0 8 0 29190949 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21807/statm: 201766 50836 1494 14 0 189044 0
[pid=21807/tid=21808] ppid=21760 vsize=807064 CPUtime=2.74
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 45035 0 0 0 255 19 0 0 15 0 8 0 29190952 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822960 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29190952 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807064 CPUtime=0.04
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 29190956 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807064 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826433536 50836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 820788
[startup+25.499 s]
/proc/loadavg: 1.85 1.89 1.95 4/89 21814
/proc/meminfo: memFree=660872/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807348 CPUtime=22.13
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 104822 0 1 0 2163 50 0 0 25 0 8 0 29190949 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21807/statm: 201837 104416 1507 14 0 189115 0
[pid=21807/tid=21808] ppid=21760 vsize=807348 CPUtime=9.03
/proc/21807/task/21808/stat : 21808 (java) S 21760 21760 21647 0 -1 64 94537 0 0 0 863 40 0 0 16 0 8 0 29190952 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29190952 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807348 CPUtime=0.1
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 394 0 0 0 10 0 0 0 16 0 8 0 29190956 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826724352 104416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 821072
[startup+51.1641 s]
/proc/loadavg: 2.20 1.97 1.97 4/89 21814
/proc/meminfo: memFree=310536/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807348 CPUtime=47.55
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 148367 0 1 0 4680 75 0 0 25 0 8 0 29190949 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21807/statm: 201837 147745 1507 14 0 189115 0
[pid=21807/tid=21808] ppid=21760 vsize=807348 CPUtime=22.66
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 137861 0 0 0 2202 64 0 0 16 0 8 0 29190952 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807348 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 400 0 0 0 12 0 0 0 17 0 8 0 29190956 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807348 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826724352 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 821072
[startup+102.447 s]
/proc/loadavg: 3.00 2.22 2.05 4/89 21814
/proc/meminfo: memFree=284872/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=98.54
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 151911 0 1 0 9771 83 0 0 25 0 8 0 29190949 826462208 150890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21807/statm: 201773 150890 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=54.66
################
# More data... #
################
/proc/loadavg: 3.03 3.20 3.06 4/89 22012
/proc/meminfo: memFree=282184/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1533.63
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 156761 0 1 0 153213 150 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1249.5
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 141316 0 0 0 124836 114 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022779 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.58
Current children cumulated vsize (KiB) 820816
[startup+1603.69 s]
/proc/loadavg: 3.24 3.21 3.07 4/89 22012
/proc/meminfo: memFree=282120/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1593.34
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 156892 0 1 0 159183 151 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1303.15
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 141316 0 0 0 130200 115 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.29
Current children cumulated vsize (KiB) 820816
[startup+1663.72 s]
/proc/loadavg: 3.35 3.25 3.09 4/89 22012
/proc/meminfo: memFree=282248/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1653.09
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 157034 0 1 0 165155 154 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1355.77
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 141316 0 0 0 135461 116 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.04
Current children cumulated vsize (KiB) 820816
[startup+1723.82 s]
/proc/loadavg: 3.11 3.20 3.08 3/89 22012
/proc/meminfo: memFree=282184/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1712.9
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 157172 0 1 0 171135 155 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1408.68
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 141316 0 0 0 140750 118 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022592 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.85
Current children cumulated vsize (KiB) 820816
[startup+1783.83 s]
/proc/loadavg: 2.96 3.14 3.07 3/89 22012
/proc/meminfo: memFree=282248/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1772.64
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 157320 0 1 0 177106 158 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1460.68
/proc/21807/task/21808/stat : 21808 (java) S 21760 21760 21647 0 -1 64 141316 0 0 0 145949 119 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.59
Current children cumulated vsize (KiB) 820816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.45 s]
/proc/loadavg: 2.85 3.10 3.06 4/89 22012
/proc/meminfo: memFree=282184/2055920 swapFree=4192956/4192956
[pid=21760] ppid=21751 vsize=13724 CPUtime=2.95
/proc/21760/stat : 21760 (sugar) S 21751 21760 21647 0 -1 4194304 1190 12838 0 124 3 1 274 17 15 0 1 0 29190631 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21760/statm: 3431 809 371 3 0 531 0
[pid=21807] ppid=21760 vsize=807092 CPUtime=1797.14
/proc/21807/stat : 21807 (java) R 21760 21760 21647 0 -1 0 157370 0 1 0 179555 159 0 0 25 0 8 0 29190949 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21807/statm: 201773 151153 1507 14 0 189051 0
[pid=21807/tid=21808] ppid=21760 vsize=807092 CPUtime=1482.52
/proc/21807/task/21808/stat : 21808 (java) R 21760 21760 21647 0 -1 64 141316 0 0 0 148132 120 0 0 17 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523593 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21809] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21809/stat : 21809 (java) S 21760 21760 21647 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21810] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21810/stat : 21810 (java) S 21760 21760 21647 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29190952 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21811] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21811/stat : 21811 (java) S 21760 21760 21647 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21812] ppid=21760 vsize=807092 CPUtime=0.12
/proc/21807/task/21812/stat : 21812 (java) S 21760 21760 21647 0 -1 64 401 0 0 0 12 0 0 0 17 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21807/tid=21813] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21813/stat : 21813 (java) S 21760 21760 21647 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21807/tid=21814] ppid=21760 vsize=807092 CPUtime=0
/proc/21807/task/21814/stat : 21814 (java) S 21760 21760 21647 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29190956 826462208 151153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 820816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21760 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=779577 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=194970
CPU time returned by wait4() is 2.97455
while last known CPU time is 1800.73
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.48
CPU time (s): 1800.73
CPU user time (s): 1798.88
CPU system time (s): 1.85
CPU usage (%): 99.5166
Max. virtual memory (cumulated for all children) (KiB): 821104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.77958
system time used= 0.19497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14108
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1082
involuntary context switches= 886
runsolver used 2.09168 s user time and 5.9311 s system time
The end
Begin job on node75 on Mon Jan 29 17:37:28 UTC 2007
IDJOB= 195892
IDBENCH= 3309
IDSOLVER= 86
FILE ID= node75/195892-1170092247
PBS_JOBID= 3689592
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-45_ext.xml
COMMAND LINE= /tmp/evaluation/195892-1170092247/solver /tmp/evaluation/195892-1170092247 /tmp/evaluation/195892-1170092247/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-195892-1170092247 -o ROOT/results/node75/solver-195892-1170092247 -C 1800 -M 900 /tmp/evaluation/195892-1170092247/solver /tmp/evaluation/195892-1170092247 /tmp/evaluation/195892-1170092247/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 98b2c3eb7c5ef9b6c13b42e20f078dd6
RANDOM SEED= 919837053
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1540992 kB
Buffers: 50552 kB
Cached: 373088 kB
SwapCached: 0 kB
Active: 175200 kB
Inactive: 268652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1540992 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 5484 kB
Writeback: 0 kB
Mapped: 30444 kB
Slab: 56612 kB
Committed_AS: 60348 kB
PageTables: 1676 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= 66543 MiB
End job on node75 on Mon Jan 29 18:07:38 UTC 2007