0.04 c # Sugar v0-40 (/tmp/evaluation/212528-1170099024/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/212528-1170099024/unknown.xml [Mon Jan 29 20:30:25 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/212528-1170099024/unknown.xml /tmp/evaluation/212528-1170099024/sugar17726.csp [Mon Jan 29 20:30:25 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212528-1170099024/sugar-v0-40.jar -convert /tmp/evaluation/212528-1170099024/unknown.xml /tmp/evaluation/212528-1170099024/sugar17726.csp
0.16 c BEGIN convert /tmp/evaluation/212528-1170099024/unknown.xml
1.53 c END convert (1.375428 seconds)
1.58 c # CONVERT_XML END : /tmp/evaluation/212528-1170099024/sugar17726.csp 444041 bytes (1 seconds) [Mon Jan 29 20:30:26 2007]
1.58 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.58
1.58 c # GENERATE_SAT BEGIN : /tmp/evaluation/212528-1170099024/sugar17726.bcnf [Mon Jan 29 20:30:26 2007]
1.58 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212528-1170099024/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212528-1170099024/sugar17726.map /tmp/evaluation/212528-1170099024/sugar17726.csp /tmp/evaluation/212528-1170099024/sugar17726.bcnf
1.69 c BEGIN parse /tmp/evaluation/212528-1170099024/sugar17726.csp
23.71 c END parse (22.018216 seconds)
23.71 c BEGIN simplify
23.73 c END simplify (0.011942 seconds)
23.73 c BEGIN encode /tmp/evaluation/212528-1170099024/sugar17726.bcnf
1832.66
1832.66 s UNKNOWN
1832.66 c # INTERRUPTED
1832.66 c # MAIN END : (1833 seconds) [Mon Jan 29 21:00:58 2007]
1832.66 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
1832.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-212528-1170099024 -o ROOT/results/node40/solver-212528-1170099024 -C 1800 -M 900 /tmp/evaluation/212528-1170099024/solver /tmp/evaluation/212528-1170099024 /tmp/evaluation/212528-1170099024/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: 0.92 0.99 1.11 4/65 17727
/proc/meminfo: memFree=1650496/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=12132 CPUtime=0
/proc/17726/stat : 17726 (sugar) R 17724 17726 16922 0 -1 4194304 535 0 0 0 0 0 0 0 18 0 1 0 29858423 12423168 254 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264539514624 0 0 4224 0 0 0 0 17 1 0 0
/proc/17726/statm: 3033 255 189 3 0 133 0
[startup+0.107858 s]
/proc/loadavg: 0.92 0.99 1.11 4/65 17727
/proc/meminfo: memFree=1650496/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1112 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517938 s]
/proc/loadavg: 0.92 0.99 1.11 4/65 17727
/proc/meminfo: memFree=1650496/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29858423 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33811 s]
/proc/loadavg: 0.92 0.99 1.11 2/73 17735
/proc/meminfo: memFree=1623872/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29858423 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 805 368 3 0 531 0
[pid=17728] ppid=17726 vsize=807140 CPUtime=1.27
/proc/17728/stat : 17728 (java) R 17726 17726 16922 0 -1 0 8918 0 1 0 122 5 0 0 16 0 8 0 29858428 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073735374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17728/statm: 201785 8654 1697 14 0 189063 0
[pid=17728/tid=17729] ppid=17726 vsize=807140 CPUtime=0.04
/proc/17728/task/17729/stat : 17729 (java) S 17726 17726 16922 0 -1 64 2352 0 0 0 4 0 0 0 16 0 8 0 29858431 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17728/tid=17730] ppid=17726 vsize=807140 CPUtime=0
/proc/17728/task/17730/stat : 17730 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858432 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17728/tid=17731] ppid=17726 vsize=807140 CPUtime=0
/proc/17728/task/17731/stat : 17731 (java) S 17726 17726 16922 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29858432 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17728/tid=17732] ppid=17726 vsize=807140 CPUtime=0
/proc/17728/task/17732/stat : 17732 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858435 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17728/tid=17733] ppid=17726 vsize=807140 CPUtime=0.15
/proc/17728/task/17733/stat : 17733 (java) S 17726 17726 16922 0 -1 64 368 0 0 0 14 1 0 0 16 0 8 0 29858435 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17728/tid=17734] ppid=17726 vsize=807140 CPUtime=0
/proc/17728/task/17734/stat : 17734 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858435 826511360 8654 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17728/tid=17735] ppid=17726 vsize=807140 CPUtime=0
/proc/17728/task/17735/stat : 17735 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858435 826511360 8654 18446744073709551615 134512640 134570532 4294956528 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) 820864
[startup+2.98045 s]
/proc/loadavg: 0.92 0.99 1.11 2/74 17743
/proc/meminfo: memFree=1621184/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1.38
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 9282 0 1 0 132 6 0 0 17 0 8 0 29858582 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17736/statm: 201846 9026 1506 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.15
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 3020 0 0 0 14 1 0 0 15 0 8 0 29858585 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.14
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 29858588 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 9026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 9026 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) 821108
[startup+6.27915 s]
/proc/loadavg: 0.93 0.99 1.11 2/74 17743
/proc/meminfo: memFree=1613824/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=4.68
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 10446 0 1 0 461 7 0 0 17 0 8 0 29858582 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17736/statm: 201846 10172 1506 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.27
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 4165 0 0 0 25 2 0 0 15 0 8 0 29858585 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.14
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 419 0 0 0 14 0 0 0 15 0 8 0 29858588 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 10172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 821108
[startup+12.7687 s]
/proc/loadavg: 0.93 0.99 1.11 2/74 17743
/proc/meminfo: memFree=1604544/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=11.15
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 12736 0 1 0 1107 8 0 0 17 0 8 0 29858582 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17736/statm: 201846 12429 1507 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.47
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 6422 0 0 0 44 3 0 0 16 0 8 0 29858585 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.14
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 419 0 0 0 14 0 0 0 16 0 8 0 29858588 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 12429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 821108
[startup+25.6404 s]
/proc/loadavg: 0.95 0.99 1.11 2/74 17743
/proc/meminfo: memFree=1560384/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=23.99
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 15276 0 1 0 2373 26 0 0 17 0 8 0 29858582 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17736/statm: 201846 14917 1510 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.75
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 8892 0 0 0 71 4 0 0 16 0 8 0 29858585 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 429 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 14917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 821108
[startup+51.2606 s]
/proc/loadavg: 1.75 1.17 1.16 2/74 17743
/proc/meminfo: memFree=1105984/2055920 swapFree=4192956/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=49.43
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 15277 0 1 0 4746 197 0 0 17 0 8 0 29858582 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17736/statm: 201846 14918 1510 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.75
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 8892 0 0 0 71 4 0 0 16 0 8 0 29858585 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 430 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 14918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1569.34
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 16435 0 1 0 139787 17147 0 0 25 0 8 0 29858582 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17736/statm: 201846 16074 1511 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.77
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 10044 0 0 0 72 5 0 0 16 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1570.86
Current children cumulated vsize (KiB) 821108
[startup+1663.31 s]
/proc/loadavg: 1.10 1.66 1.79 2/74 17779
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1629.3
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 16435 0 1 0 141035 21895 0 0 25 0 8 0 29858582 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17736/statm: 201846 16074 1511 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.77
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 10044 0 0 0 72 5 0 0 16 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1630.82
Current children cumulated vsize (KiB) 821108
[startup+1723.33 s]
/proc/loadavg: 1.12 1.56 1.74 2/74 17779
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1689.29
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 16435 0 1 0 142285 26644 0 0 25 0 8 0 29858582 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17736/statm: 201846 16074 1511 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.77
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 10044 0 0 0 72 5 0 0 16 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1690.81
Current children cumulated vsize (KiB) 821108
[startup+1783.34 s]
/proc/loadavg: 1.04 1.45 1.70 2/74 17779
/proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1749.28
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 16435 0 1 0 143537 31391 0 0 25 0 8 0 29858582 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17736/statm: 201846 16074 1511 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.77
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 10044 0 0 0 72 5 0 0 16 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1750.8
Current children cumulated vsize (KiB) 821108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1832.64 s]
/proc/loadavg: 1.02 1.38 1.66 2/74 17779
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=0.04
/proc/17726/stat : 17726 (sugar) S 17724 17726 16922 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29858423 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264528506978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17726/statm: 3431 808 370 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=807384 CPUtime=1798.55
/proc/17736/stat : 17736 (java) R 17726 17726 16922 0 -1 0 16435 0 1 0 144557 35298 0 0 25 0 8 0 29858582 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17736/statm: 201846 16074 1511 14 0 189124 0
[pid=17736/tid=17737] ppid=17726 vsize=807384 CPUtime=0.77
/proc/17736/task/17737/stat : 17737 (java) S 17726 17726 16922 0 -1 64 10044 0 0 0 72 5 0 0 16 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17736/tid=17738] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17738/stat : 17738 (java) S 17726 17726 16922 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17739] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17739/stat : 17739 (java) S 17726 17726 16922 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29858585 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17740] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17740/stat : 17740 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17741] ppid=17726 vsize=807384 CPUtime=0.16
/proc/17736/task/17741/stat : 17741 (java) S 17726 17726 16922 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17742] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17742/stat : 17742 (java) S 17726 17726 16922 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17736/tid=17743] ppid=17726 vsize=807384 CPUtime=0
/proc/17736/task/17743/stat : 17743 (java) S 17726 17726 16922 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29858588 826761216 16074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 821108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1843.44 s]
/proc/loadavg: 1.01 1.37 1.65 1/73 17846
/proc/meminfo: memFree=1959520/2055920 swapFree=4192812/4192956
[pid=17726] ppid=17724 vsize=13724 CPUtime=1.43
/proc/17726/stat : 17726 (sugar) D 17724 17726 16922 0 -1 4194304 1212 0 1 0 3 140 0 0 18 0 1 0 29858423 14053376 810 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264519783465 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/17726/statm: 3431 810 372 3 0 531 0
[pid=17728] ppid=17726 vsize=0 CPUtime=1.48
/proc/17728/stat : 17728 (java) Z 17726 17726 16922 0 -1 1036 8938 0 1 0 142 6 0 0 16 0 1 0 29858428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17728/statm: 0 0 0 0 0 0 0
[pid=17736] ppid=17726 vsize=0 CPUtime=1798.61
/proc/17736/stat : 17736 (java) Z 17726 17726 16922 0 -1 1036 16451 0 4 0 144557 35304 0 0 15 0 1 0 29858582 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/17736/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17726 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=34994 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=967548
CPU time returned by wait4() is 3.00254
while last known CPU time is 1803.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1878.46
CPU time (s): 1803.08
CPU user time (s): 1447.02
CPU system time (s): 356.06
CPU usage (%): 95.9872
Max. virtual memory (cumulated for all children) (KiB): 821108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 2.96755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 6021
involuntary context switches= 15
runsolver used 1.82272 s user time and 5.16721 s system time
The end
Begin job on node40 on Mon Jan 29 19:30:25 UTC 2007
IDJOB= 212528
IDBENCH= 4777
IDSOLVER= 86
FILE ID= node40/212528-1170099024
PBS_JOBID= 3689670
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-scagr7.xml
COMMAND LINE= /tmp/evaluation/212528-1170099024/solver /tmp/evaluation/212528-1170099024 /tmp/evaluation/212528-1170099024/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-212528-1170099024 -o ROOT/results/node40/solver-212528-1170099024 -C 1800 -M 900 /tmp/evaluation/212528-1170099024/solver /tmp/evaluation/212528-1170099024 /tmp/evaluation/212528-1170099024/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 91ae0069b7443ea32e2843b55ef520ee
RANDOM SEED= 173152069
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.265
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.265
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: 1650848 kB
Buffers: 44012 kB
Cached: 296668 kB
SwapCached: 0 kB
Active: 150500 kB
Inactive: 206132 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650848 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1380 kB
Writeback: 0 kB
Mapped: 26164 kB
Slab: 34444 kB
Committed_AS: 139976 kB
PageTables: 1416 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 node40 on Mon Jan 29 20:01:43 UTC 2007