0.05 c # Sugar v0-40 (/tmp/evaluation/225442-1170104522/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225442-1170104522/unknown.xml [Mon Jan 29 22:02:03 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225442-1170104522/unknown.xml /tmp/evaluation/225442-1170104522/sugar27715.csp [Mon Jan 29 22:02:03 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225442-1170104522/sugar-v0-40.jar -convert /tmp/evaluation/225442-1170104522/unknown.xml /tmp/evaluation/225442-1170104522/sugar27715.csp
0.17 c BEGIN convert /tmp/evaluation/225442-1170104522/unknown.xml
1.91 c END convert (1.7363 seconds)
1.95 c # CONVERT_XML END : /tmp/evaluation/225442-1170104522/sugar27715.csp 8766964 bytes (2 seconds) [Mon Jan 29 22:02:05 2007]
1.95 c # CONVERT_XML CPU : 1.81 = 0 + 0 + 1.69 + 0.12
1.95
1.95 c # GENERATE_SAT BEGIN : /tmp/evaluation/225442-1170104522/sugar27715.bcnf [Mon Jan 29 22:02:05 2007]
1.95 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225442-1170104522/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225442-1170104522/sugar27715.map /tmp/evaluation/225442-1170104522/sugar27715.csp /tmp/evaluation/225442-1170104522/sugar27715.bcnf
2.06 c BEGIN parse /tmp/evaluation/225442-1170104522/sugar27715.csp
1810.36
1810.36 s UNKNOWN
1810.36 c # INTERRUPTED
1810.36 c # MAIN END : (1810 seconds) [Mon Jan 29 22:32:13 2007]
1810.36 c # MAIN CPU : 1.81 = 0 + 0 + 1.69 + 0.12
1810.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-225442-1170104522 -o ROOT/results/node1/solver-225442-1170104522 -C 1800 -M 900 /tmp/evaluation/225442-1170104522/solver /tmp/evaluation/225442-1170104522 /tmp/evaluation/225442-1170104522/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.59 2.70 2.64 5/100 27716
/proc/meminfo: memFree=1426128/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=18540 CPUtime=0
/proc/27715/stat : 27715 (runsolver) R 27713 27715 27189 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30407333 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27715/statm: 4635 279 244 17 0 2626 0
[startup+0.102875 s]
/proc/loadavg: 2.59 2.70 2.64 5/100 27716
/proc/meminfo: memFree=1426128/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=0.04
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30407333 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510924 s]
/proc/loadavg: 2.59 2.70 2.64 5/100 27716
/proc/meminfo: memFree=1426128/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=0.04
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30407333 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33303 s]
/proc/loadavg: 2.59 2.70 2.64 4/108 27724
/proc/meminfo: memFree=1397136/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=0.04
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30407333 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 805 368 3 0 531 0
[pid=27717] ppid=27715 vsize=807128 CPUtime=1.23
/proc/27717/stat : 27717 (java) R 27715 27715 27189 0 -1 0 11085 0 1 0 114 9 0 0 25 0 8 0 30407339 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073606140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27717/statm: 201782 10819 1695 14 0 189060 0
[pid=27717/tid=27718] ppid=27715 vsize=807128 CPUtime=0.1
/proc/27717/task/27718/stat : 27718 (java) S 27715 27715 27189 0 -1 64 4590 0 0 0 9 1 0 0 16 0 8 0 30407342 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27719] ppid=27715 vsize=807128 CPUtime=0
/proc/27717/task/27719/stat : 27719 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407343 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27720] ppid=27715 vsize=807128 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27715 27715 27189 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30407343 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27721] ppid=27715 vsize=807128 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407346 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27722] ppid=27715 vsize=807128 CPUtime=0.07
/proc/27717/task/27722/stat : 27722 (java) S 27715 27715 27189 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 30407346 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27723] ppid=27715 vsize=807128 CPUtime=0
/proc/27717/task/27723/stat : 27723 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407346 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27717/tid=27724] ppid=27715 vsize=807128 CPUtime=0
/proc/27717/task/27724/stat : 27724 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407346 826499072 10819 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820852
[startup+2.97921 s]
/proc/loadavg: 2.54 2.68 2.64 6/107 27734
/proc/meminfo: memFree=1410008/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807064 CPUtime=1
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 9743 0 1 0 93 7 0 0 25 0 8 0 30407529 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201766 9487 1494 14 0 189044 0
[pid=27725/tid=27726] ppid=27715 vsize=807064 CPUtime=0.21
/proc/27725/task/27726/stat : 27726 (java) S 27715 27715 27189 0 -1 64 3687 0 0 0 19 2 0 0 16 0 8 0 30407532 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807064 CPUtime=0.05
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30407535 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826433536 9487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 820788
[startup+6.18759 s]
/proc/loadavg: 2.54 2.68 2.64 4/108 27750
/proc/meminfo: memFree=1341712/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807064 CPUtime=4.17
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 24245 0 1 0 402 15 0 0 25 0 8 0 30407529 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073524137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201766 23958 1494 14 0 189044 0
[pid=27725/tid=27726] ppid=27715 vsize=807064 CPUtime=1.19
/proc/27725/task/27726/stat : 27726 (java) S 27715 27715 27189 0 -1 64 18158 0 0 0 109 10 0 0 16 0 8 0 30407532 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807064 CPUtime=0.05
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 30407535 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807064 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826433536 23958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 820788
[startup+12.6163 s]
/proc/loadavg: 2.54 2.68 2.64 4/108 27758
/proc/meminfo: memFree=1210256/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=10.49
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 54790 0 1 0 1015 34 0 0 25 0 8 0 30407529 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 54424 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=3.52
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 48353 0 0 0 326 26 0 0 16 0 8 0 30407532 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.11
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 368 0 0 0 11 0 0 0 16 0 8 0 30407535 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 54424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 821080
[startup+25.4298 s]
/proc/loadavg: 2.69 2.70 2.65 5/108 27766
/proc/meminfo: memFree=1073232/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=23.13
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 83887 0 1 0 2260 53 0 0 25 0 8 0 30407529 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 83313 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=10.2
/proc/27725/task/27726/stat : 27726 (java) S 27715 27715 27189 0 -1 64 76414 0 0 0 977 43 0 0 16 0 8 0 30407532 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 16 0 8 0 30407535 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 83313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 821080
[startup+51.0898 s]
/proc/loadavg: 2.93 2.76 2.66 5/102 27792
/proc/meminfo: memFree=1051080/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=48.45
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 91276 0 1 0 4783 62 0 0 25 0 8 0 30407529 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 88464 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=25.7
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 83462 0 0 0 2519 51 0 0 16 0 8 0 30407532 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035601 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 88464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 821080
[startup+102.383 s]
/proc/loadavg: 3.04 2.81 2.69 4/102 27792
/proc/meminfo: memFree=1006792/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=99.16
/proc/27725/stat : 27725 (java) R 27715 27715 27189 0 -1 0 113454 0 1 0 9834 82 0 0 25 0 8 0 30407529 826732544 96311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 96311 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=59.3
################
# More data... #
################
/proc/loadavg: 2.82 2.92 2.94 4/102 27857
/proc/meminfo: memFree=677968/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1533.43
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 906090 0 1 0 152673 670 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1066.27
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 106018 609 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.28
Current children cumulated vsize (KiB) 821080
[startup+1603.82 s]
/proc/loadavg: 3.05 2.96 2.95 4/102 27857
/proc/meminfo: memFree=678032/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1593.15
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 906400 0 1 0 158642 673 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1109.39
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 110327 612 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525226 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595
Current children cumulated vsize (KiB) 821080
[startup+1663.9 s]
/proc/loadavg: 2.78 2.90 2.93 5/102 27857
/proc/meminfo: memFree=677648/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1652.93
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 906735 0 1 0 164616 677 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1151.75
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 114560 615 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.78
Current children cumulated vsize (KiB) 821080
[startup+1723.91 s]
/proc/loadavg: 2.91 2.92 2.93 5/102 27857
/proc/meminfo: memFree=677712/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1712.59
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 907057 0 1 0 170577 682 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1196.19
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 119001 618 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155216465 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.44
Current children cumulated vsize (KiB) 821080
[startup+1784 s]
/proc/loadavg: 3.17 2.99 2.95 4/102 27857
/proc/meminfo: memFree=677520/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1772.2
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 907390 0 1 0 176534 686 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1239.91
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 123370 621 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525231 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.05
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.35 s]
/proc/loadavg: 3.17 3.01 2.96 4/102 27857
/proc/meminfo: memFree=672848/2055920 swapFree=4192812/4192956
[pid=27715] ppid=27713 vsize=13724 CPUtime=1.85
/proc/27715/stat : 27715 (sugar) S 27713 27715 27189 0 -1 4194304 1190 11112 0 1 3 1 169 12 16 0 1 0 30407333 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27715/statm: 3431 809 371 3 0 531 0
[pid=27725] ppid=27715 vsize=807356 CPUtime=1798.23
/proc/27725/stat : 27725 (java) S 27715 27715 27189 0 -1 0 907541 0 1 0 179136 687 0 0 16 0 8 0 30407529 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27725/statm: 201839 151333 1507 14 0 189117 0
[pid=27725/tid=27726] ppid=27715 vsize=807356 CPUtime=1259.02
/proc/27725/task/27726/stat : 27726 (java) R 27715 27715 27189 0 -1 64 887900 0 0 0 125281 621 0 0 25 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525198 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27727] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27727/stat : 27727 (java) S 27715 27715 27189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27728] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27728/stat : 27728 (java) S 27715 27715 27189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407532 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27729] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27729/stat : 27729 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27730] ppid=27715 vsize=807356 CPUtime=0.13
/proc/27725/task/27730/stat : 27730 (java) S 27715 27715 27189 0 -1 64 380 0 0 0 13 0 0 0 17 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27731] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27731/stat : 27731 (java) S 27715 27715 27189 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27725/tid=27732] ppid=27715 vsize=807356 CPUtime=0
/proc/27725/task/27732/stat : 27732 (java) S 27715 27715 27189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407535 826732544 151333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
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 27715 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=731736 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=143978
CPU time returned by wait4() is 1.87571
while last known CPU time is 1800.98
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.37
CPU time (s): 1800.98
CPU user time (s): 1793.89
CPU system time (s): 7.09
CPU usage (%): 99.4262
Max. virtual memory (cumulated for all children) (KiB): 821596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73174
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12383
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= 694
involuntary context switches= 709
runsolver used 2.20167 s user time and 6.33804 s system time
The end
Begin job on node1 on Mon Jan 29 21:02:03 UTC 2007
IDJOB= 225442
IDBENCH= 5858
IDSOLVER= 86
FILE ID= node1/225442-1170104522
PBS_JOBID= 3689550
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-35_ext.xml
COMMAND LINE= /tmp/evaluation/225442-1170104522/solver /tmp/evaluation/225442-1170104522 /tmp/evaluation/225442-1170104522/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-225442-1170104522 -o ROOT/results/node1/solver-225442-1170104522 -C 1800 -M 900 /tmp/evaluation/225442-1170104522/solver /tmp/evaluation/225442-1170104522 /tmp/evaluation/225442-1170104522/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= fb4b4507e7f6489fee0b46aa958528d3
RANDOM SEED= 948915149
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.230
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.230
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: 1426544 kB
Buffers: 14088 kB
Cached: 64860 kB
SwapCached: 0 kB
Active: 545144 kB
Inactive: 31656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1426544 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2616 kB
Writeback: 0 kB
Mapped: 523868 kB
Slab: 36136 kB
Committed_AS: 901324 kB
PageTables: 3308 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= 66556 MiB
End job on node1 on Mon Jan 29 21:32:14 UTC 2007