0.04 c # Sugar v0-40 (/tmp/evaluation/205510-1170096203/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/205510-1170096203/unknown.xml [Mon Jan 29 19:43:25 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/205510-1170096203/unknown.xml /tmp/evaluation/205510-1170096203/sugar22850.csp [Mon Jan 29 19:43:25 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205510-1170096203/sugar-v0-40.jar -convert /tmp/evaluation/205510-1170096203/unknown.xml /tmp/evaluation/205510-1170096203/sugar22850.csp
0.16 c BEGIN convert /tmp/evaluation/205510-1170096203/unknown.xml
3.89 c END convert (3.724957 seconds)
3.93 c # CONVERT_XML END : /tmp/evaluation/205510-1170096203/sugar22850.csp 28433044 bytes (4 seconds) [Mon Jan 29 19:43:29 2007]
3.93 c # CONVERT_XML CPU : 3.83 = 0 + 0 + 3.66 + 0.17
3.93
3.93 c # GENERATE_SAT BEGIN : /tmp/evaluation/205510-1170096203/sugar22850.bcnf [Mon Jan 29 19:43:29 2007]
3.93 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205510-1170096203/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205510-1170096203/sugar22850.map /tmp/evaluation/205510-1170096203/sugar22850.csp /tmp/evaluation/205510-1170096203/sugar22850.bcnf
4.05 c BEGIN parse /tmp/evaluation/205510-1170096203/sugar22850.csp
1807.72
1807.72 s UNKNOWN
1807.72 c # INTERRUPTED
1807.72 c # MAIN END : (1808 seconds) [Mon Jan 29 20:13:33 2007]
1807.72 c # MAIN CPU : 3.83 = 0 + 0 + 3.66 + 0.17
1807.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-205510-1170096203 -o ROOT/results/node63/solver-205510-1170096203 -C 1800 -M 900 /tmp/evaluation/205510-1170096203/solver /tmp/evaluation/205510-1170096203 /tmp/evaluation/205510-1170096203/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.83 2.53 2.80 4/76 22851
/proc/meminfo: memFree=1470152/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=12268 CPUtime=0
/proc/22850/stat : 22850 (sugar) R 22848 22850 22412 0 -1 4194304 592 0 0 0 0 0 0 0 18 0 1 0 29577912 12562432 311 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247274795283 0 0 4224 0 0 0 0 17 1 0 0
/proc/22850/statm: 3067 315 241 3 0 167 0
[startup+0.107765 s]
/proc/loadavg: 1.83 2.53 2.80 4/76 22851
/proc/meminfo: memFree=1470152/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=0.04
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29577912 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515813 s]
/proc/loadavg: 1.83 2.53 2.80 4/76 22851
/proc/meminfo: memFree=1470152/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=0.04
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29577912 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3369 s]
/proc/loadavg: 1.83 2.53 2.80 4/84 22859
/proc/meminfo: memFree=1440712/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=0.04
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29577912 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 805 368 3 0 531 0
[pid=22852] ppid=22850 vsize=807124 CPUtime=1.28
/proc/22852/stat : 22852 (java) R 22850 22850 22412 0 -1 0 7589 0 1 0 120 8 0 0 25 0 8 0 29577917 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 201781 7314 1695 14 0 189059 0
[pid=22852/tid=22853] ppid=22850 vsize=807124 CPUtime=0.07
/proc/22852/task/22853/stat : 22853 (java) S 22850 22850 22412 0 -1 64 1081 0 0 0 7 0 0 0 16 0 8 0 29577920 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22854] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22854/stat : 22854 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29577921 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29577921 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29577924 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=807124 CPUtime=0.08
/proc/22852/task/22857/stat : 22857 (java) S 22850 22850 22412 0 -1 64 311 0 0 0 8 0 0 0 16 0 8 0 29577924 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22858/stat : 22858 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29577924 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29577924 826494976 7314 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 820848
[startup+2.98508 s]
/proc/loadavg: 1.83 2.53 2.80 4/84 22859
/proc/meminfo: memFree=1430664/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=0.04
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29577912 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 805 368 3 0 531 0
[pid=22852] ppid=22850 vsize=807124 CPUtime=2.92
/proc/22852/stat : 22852 (java) R 22850 22850 22412 0 -1 0 7664 0 1 0 279 13 0 0 25 0 8 0 29577917 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 201781 7345 1695 14 0 189059 0
[pid=22852/tid=22853] ppid=22850 vsize=807124 CPUtime=0.19
/proc/22852/task/22853/stat : 22853 (java) S 22850 22850 22412 0 -1 64 1106 0 0 0 19 0 0 0 16 0 8 0 29577920 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22854] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22854/stat : 22854 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29577921 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29577921 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29577924 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=807124 CPUtime=0.09
/proc/22852/task/22857/stat : 22857 (java) S 22850 22850 22412 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 29577924 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22858/stat : 22858 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29577924 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=807124 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29577924 826494976 7345 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 820848
[startup+6.18742 s]
/proc/loadavg: 1.85 2.52 2.80 3/84 22867
/proc/meminfo: memFree=1394376/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807064 CPUtime=2.23
/proc/22860/stat : 22860 (java) R 22850 22850 22412 0 -1 0 15329 0 1 0 215 8 0 0 25 0 8 0 29578306 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 201766 15061 1494 14 0 189044 0
[pid=22860/tid=22861] ppid=22850 vsize=807064 CPUtime=0.55
/proc/22860/task/22861/stat : 22861 (java) S 22850 22850 22412 0 -1 64 9261 0 0 0 50 5 0 0 16 0 8 0 29578309 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578310 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807064 CPUtime=0.05
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29578313 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826433536 15061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 820788
[startup+12.6671 s]
/proc/loadavg: 1.94 2.53 2.80 4/84 22867
/proc/meminfo: memFree=1276424/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807064 CPUtime=8.71
/proc/22860/stat : 22860 (java) R 22850 22850 22412 0 -1 0 43259 0 1 0 849 22 0 0 25 0 8 0 29578306 826433536 42930 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 201766 42931 1494 14 0 189044 0
[pid=22860/tid=22861] ppid=22850 vsize=807064 CPUtime=2.34
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 37131 0 0 0 217 17 0 0 16 0 8 0 29578309 826433536 42931 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826433536 42932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578310 826433536 42933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826433536 42934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807064 CPUtime=0.05
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29578313 826433536 42935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826433536 42936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826433536 42937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 820788
[startup+25.5415 s]
/proc/loadavg: 2.02 2.52 2.79 4/84 22867
/proc/meminfo: memFree=1088840/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807064 CPUtime=21.58
/proc/22860/stat : 22860 (java) R 22850 22850 22412 0 -1 0 89343 0 1 0 2115 43 0 0 25 0 8 0 29578306 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22860/statm: 201766 88949 1495 14 0 189044 0
[pid=22860/tid=22861] ppid=22850 vsize=807064 CPUtime=7.99
/proc/22860/task/22861/stat : 22861 (java) S 22850 22850 22412 0 -1 64 81803 0 0 0 763 36 0 0 17 0 8 0 29578309 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578310 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807064 CPUtime=0.05
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 293 0 0 0 5 0 0 0 16 0 8 0 29578313 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807064 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826433536 88949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 820788
[startup+51.2214 s]
/proc/loadavg: 1.90 2.45 2.76 3/89 22938
/proc/meminfo: memFree=676688/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807380 CPUtime=47.22
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 148232 0 1 0 4651 71 0 0 16 0 8 0 29578306 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201845 147745 1507 14 0 189123 0
[pid=22860/tid=22861] ppid=22850 vsize=807380 CPUtime=24.66
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 137858 0 0 0 2406 60 0 0 25 0 8 0 29578309 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134566 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807380 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807380 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807380 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807380 CPUtime=0.11
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 392 0 0 0 11 0 0 0 16 0 8 0 29578313 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807380 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807380 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826757120 147745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 821104
[startup+102.425 s]
/proc/loadavg: 2.17 2.44 2.73 3/89 22938
/proc/meminfo: memFree=224144/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807348 CPUtime=98.02
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 148356 0 1 0 9730 72 0 0 17 0 8 0 29578306 826724352 147754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201837 147754 1507 14 0 189115 0
[pid=22860/tid=22861] ppid=22850 vsize=807348 CPUtime=70.07
################
# More data... #
################
/proc/loadavg: 1.00 1.08 1.59 2/73 23213
/proc/meminfo: memFree=844400/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1533.06
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154056 0 1 0 153203 103 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1456.15
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 145527 88 0 0 18 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022755 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.93
Current children cumulated vsize (KiB) 820816
[startup+1604.24 s]
/proc/loadavg: 1.00 1.06 1.55 2/73 23213
/proc/meminfo: memFree=844400/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1593.03
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154085 0 1 0 159199 104 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1515.05
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 151417 88 0 0 18 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022779 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.9
Current children cumulated vsize (KiB) 820816
[startup+1664.32 s]
/proc/loadavg: 1.00 1.05 1.51 2/73 23213
/proc/meminfo: memFree=844400/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1653.03
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154113 0 1 0 165198 105 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1574.01
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 157312 89 0 0 25 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152888981 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.9
Current children cumulated vsize (KiB) 820816
[startup+1724.39 s]
/proc/loadavg: 1.00 1.04 1.48 2/73 23213
/proc/meminfo: memFree=844464/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1712.99
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154142 0 1 0 171194 105 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1632.92
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 163203 89 0 0 20 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035711 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.86
Current children cumulated vsize (KiB) 820816
[startup+1784.47 s]
/proc/loadavg: 1.00 1.03 1.44 2/73 23213
/proc/meminfo: memFree=844464/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1772.95
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154171 0 1 0 177190 105 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1691.83
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 169093 90 0 0 20 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222385 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.82
Current children cumulated vsize (KiB) 820816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.71 s]
/proc/loadavg: 1.00 1.02 1.43 2/73 23213
/proc/meminfo: memFree=844400/2055920 swapFree=4192956/4192956
[pid=22850] ppid=22848 vsize=13724 CPUtime=3.87
/proc/22850/stat : 22850 (sugar) S 22848 22850 22412 0 -1 4194304 1190 7731 0 1 3 1 366 17 15 0 1 0 29577912 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22850/statm: 3431 809 371 3 0 531 0
[pid=22860] ppid=22850 vsize=807092 CPUtime=1796.16
/proc/22860/stat : 22860 (java) S 22850 22850 22412 0 -1 0 154182 0 1 0 179510 106 0 0 17 0 8 0 29578306 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22860/statm: 201773 152339 1507 14 0 189051 0
[pid=22860/tid=22861] ppid=22850 vsize=807092 CPUtime=1714.63
/proc/22860/task/22861/stat : 22861 (java) R 22850 22850 22412 0 -1 64 142491 0 0 0 171373 90 0 0 19 0 8 0 29578309 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525861 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22862] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22862/stat : 22862 (java) S 22850 22850 22412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22863] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22863/stat : 22863 (java) S 22850 22850 22412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29578310 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22864] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22864/stat : 22864 (java) S 22850 22850 22412 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22865] ppid=22850 vsize=807092 CPUtime=0.12
/proc/22860/task/22865/stat : 22865 (java) S 22850 22850 22412 0 -1 64 401 0 0 0 11 1 0 0 16 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22860/tid=22866] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22866/stat : 22866 (java) S 22850 22850 22412 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22860/tid=22867] ppid=22850 vsize=807092 CPUtime=0
/proc/22860/task/22867/stat : 22867 (java) S 22850 22850 22412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29578313 826462208 152339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
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 22850 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=703436 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=190970
CPU time returned by wait4() is 3.89441
while last known CPU time is 1800.97
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.73
CPU time (s): 1800.97
CPU user time (s): 1799.73
CPU system time (s): 1.24
CPU usage (%): 99.571
Max. virtual memory (cumulated for all children) (KiB): 821848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.70344
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9001
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= 1183
involuntary context switches= 1140
runsolver used 2.05369 s user time and 5.21521 s system time
The end
Begin job on node63 on Mon Jan 29 18:43:24 UTC 2007
IDJOB= 205510
IDBENCH= 4134
IDSOLVER= 86
FILE ID= node63/205510-1170096203
PBS_JOBID= 3689659
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/hanoi/hanoi-7_ext.xml
COMMAND LINE= /tmp/evaluation/205510-1170096203/solver /tmp/evaluation/205510-1170096203 /tmp/evaluation/205510-1170096203/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-205510-1170096203 -o ROOT/results/node63/solver-205510-1170096203 -C 1800 -M 900 /tmp/evaluation/205510-1170096203/solver /tmp/evaluation/205510-1170096203 /tmp/evaluation/205510-1170096203/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c08c67f756fce77fe7d340c44cf2c4b9
RANDOM SEED= 449581821
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.214
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.214
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: 1470696 kB
Buffers: 47836 kB
Cached: 435236 kB
SwapCached: 0 kB
Active: 88896 kB
Inactive: 424008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1470696 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2936 kB
Writeback: 0 kB
Mapped: 40884 kB
Slab: 57460 kB
Committed_AS: 178320 kB
PageTables: 1872 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= 66537 MiB
End job on node63 on Mon Jan 29 19:13:35 UTC 2007