0.16 c # Sugar v0-40 (/tmp/evaluation/236080-1170107900/sugar-v0-40.jar)
0.16
0.16 c # MAIN BEGIN : /tmp/evaluation/236080-1170107900/unknown.xml [Mon Jan 29 22:58:20 2007]
0.16 c # CONVERT_XML BEGIN : /tmp/evaluation/236080-1170107900/unknown.xml /tmp/evaluation/236080-1170107900/sugar25855.csp [Mon Jan 29 22:58:20 2007]
0.16 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236080-1170107900/sugar-v0-40.jar -convert /tmp/evaluation/236080-1170107900/unknown.xml /tmp/evaluation/236080-1170107900/sugar25855.csp
0.44 c BEGIN convert /tmp/evaluation/236080-1170107900/unknown.xml
2.84 c END convert (2.401774 seconds)
2.90 c # CONVERT_XML END : /tmp/evaluation/236080-1170107900/sugar25855.csp 775299 bytes (3 seconds) [Mon Jan 29 22:58:23 2007]
2.90 c # CONVERT_XML CPU : 2.49 = 0.01 + 0.01 + 2.35 + 0.12
2.90
2.90 c # GENERATE_SAT BEGIN : /tmp/evaluation/236080-1170107900/sugar25855.bcnf [Mon Jan 29 22:58:23 2007]
2.90 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236080-1170107900/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236080-1170107900/sugar25855.map /tmp/evaluation/236080-1170107900/sugar25855.csp /tmp/evaluation/236080-1170107900/sugar25855.bcnf
3.02 c BEGIN parse /tmp/evaluation/236080-1170107900/sugar25855.csp
5.67 c END parse (2.649244 seconds)
5.67 c BEGIN simplify
5.82 c END simplify (0.142897 seconds)
5.82 c BEGIN encode /tmp/evaluation/236080-1170107900/sugar25855.bcnf
710.25 c END encode (704.429023 seconds)
710.87 c # GENERATE_SAT END : 349182415 variables 968754258 clauses 12465180968 bytes (708 seconds) [Mon Jan 29 23:10:11 2007]
710.87 c # GENERATE_SAT CPU : 677.5 = 0.51 + 0.04 + 625.64 + 51.31
710.87
710.88 c # SOLVE_SAT BEGIN : /tmp/evaluation/236080-1170107900/sugar25855.bcnf [Mon Jan 29 23:10:11 2007]
710.88 c # CMD : /tmp/evaluation/236080-1170107900/minisat /tmp/evaluation/236080-1170107900/sugar25855.bcnf /tmp/evaluation/236080-1170107900/sugar25855.out
710.90 c ERROR! Could not open file: /tmp/evaluation/236080-1170107900/sugar25855.bcnf
710.91 s UNKNOWN
710.91 c # ERROR No such file or directory /tmp/evaluation/236080-1170107900/sugar25855.out, at /tmp/evaluation/236080-1170107900/sugar line 393.
710.91
710.91 c # MAIN END : (711 seconds) [Mon Jan 29 23:10:11 2007]
710.91 c # MAIN CPU : 679.99 = 0.52 + 0.05 + 627.99 + 51.43
710.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-236080-1170107900 -o ROOT/results/node34/solver-236080-1170107900 -C 1800 -M 900 /tmp/evaluation/236080-1170107900/solver /tmp/evaluation/236080-1170107900 /tmp/evaluation/236080-1170107900/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.90 3.22 3.01 5/74 25856
/proc/meminfo: memFree=1630968/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=5352 CPUtime=0
/proc/25855/stat : 25855 (solver) D 25853 25855 25694 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 4553787 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 254195330343 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/25855/statm: 1338 231 193 169 0 49 0
[startup+0.109222 s]
/proc/loadavg: 2.90 3.22 3.01 5/74 25856
/proc/meminfo: memFree=1630968/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=12404 CPUtime=0
/proc/25855/stat : 25855 (sugar) D 25853 25855 25694 0 -1 4194304 657 0 4 0 0 0 0 0 18 0 1 0 4553787 12701696 380 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/25855/statm: 3101 380 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404
[startup+0.517264 s]
/proc/loadavg: 2.90 3.22 3.01 5/74 25856
/proc/meminfo: memFree=1630968/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=0.05
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1117 0 4 0 4 1 0 0 15 0 1 0 4553787 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25855/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13724
[startup+1.33833 s]
/proc/loadavg: 2.83 3.20 3.00 4/82 25864
/proc/meminfo: memFree=1582136/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=0.05
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1117 0 4 0 4 1 0 0 15 0 1 0 4553787 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25855/statm: 3431 805 368 3 0 531 0
[pid=25857] ppid=25855 vsize=807408 CPUtime=0.96
/proc/25857/stat : 25857 (java) R 25855 25855 25694 0 -1 0 11964 0 30 0 87 9 0 0 22 0 8 0 4553804 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072934131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25857/statm: 201852 11740 1690 14 0 189130 0
[pid=25857/tid=25858] ppid=25855 vsize=807408 CPUtime=0.1
/proc/25857/task/25858/stat : 25858 (java) S 25855 25855 25694 0 -1 64 5425 0 0 0 8 2 0 0 16 0 8 0 4553822 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25857/tid=25859] ppid=25855 vsize=807408 CPUtime=0
/proc/25857/task/25859/stat : 25859 (java) S 25855 25855 25694 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 4553823 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25857/tid=25860] ppid=25855 vsize=807408 CPUtime=0
/proc/25857/task/25860/stat : 25860 (java) S 25855 25855 25694 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 4553823 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25857/tid=25861] ppid=25855 vsize=807408 CPUtime=0
/proc/25857/task/25861/stat : 25861 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4553826 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25857/tid=25862] ppid=25855 vsize=807408 CPUtime=0.13
/proc/25857/task/25862/stat : 25862 (java) R 25855 25855 25694 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 4553826 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25857/tid=25863] ppid=25855 vsize=807408 CPUtime=0
/proc/25857/task/25863/stat : 25863 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4553827 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25857/tid=25864] ppid=25855 vsize=807408 CPUtime=0
/proc/25857/task/25864/stat : 25864 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4553827 826785792 11740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 821132
[startup+2.98446 s]
/proc/loadavg: 2.83 3.20 3.00 3/82 25864
/proc/meminfo: memFree=1570552/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1177 14951 4 31 4 1 235 12 17 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13724
[startup+6.18872 s]
/proc/loadavg: 2.76 3.18 3.00 3/82 25872
/proc/meminfo: memFree=1558904/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=3.25
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 18951 0 1 0 311 14 0 0 25 0 8 0 4554078 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 18683 1508 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.74
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 12693 0 0 0 68 6 0 0 16 0 8 0 4554081 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.17
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 436 0 0 0 16 1 0 0 16 0 8 0 4554085 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 18683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 821100
[startup+12.6722 s]
/proc/loadavg: 2.70 3.16 2.99 3/82 25872
/proc/meminfo: memFree=1377784/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=9.66
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 18953 0 1 0 891 75 0 0 25 0 8 0 4554078 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 18684 1508 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.74
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 12693 0 0 0 68 6 0 0 16 0 8 0 4554081 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.17
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 437 0 0 0 16 1 0 0 16 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 821100
[startup+25.5513 s]
/proc/loadavg: 2.75 3.16 2.99 3/86 25877
/proc/meminfo: memFree=1060568/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=22.23
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 18953 0 1 0 2016 207 0 0 25 0 8 0 4554078 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 18684 1508 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.74
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 12693 0 0 0 68 6 0 0 16 0 8 0 4554081 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.17
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 437 0 0 0 16 1 0 0 16 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 821100
[startup+51.2164 s]
/proc/loadavg: 3.90 3.38 3.07 3/85 25883
/proc/meminfo: memFree=388576/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=47.55
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 18953 0 1 0 4290 465 0 0 25 0 8 0 4554078 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 18684 1508 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.74
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 12693 0 0 0 68 6 0 0 16 0 8 0 4554081 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.17
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 437 0 0 0 16 1 0 0 16 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 821100
[startup+102.435 s]
/proc/loadavg: 6.95 4.28 3.39 3/87 25894
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=97.44
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 18953 0 1 0 8721 1023 0 0 25 0 8 0 4554078 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 18684 1508 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.74
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 12693 0 0 0 68 6 0 0 16 0 8 0 4554081 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.17
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 437 0 0 0 16 1 0 0 16 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 18684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (KiB) 821100
[startup+162.522 s]
################
# More data... #
################
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 329.28
Current children cumulated vsize (KiB) 821100
[startup+402.68 s]
/proc/loadavg: 2.85 4.25 3.73 3/82 26114
/proc/meminfo: memFree=16176/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=384.09
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20374 0 2 0 35222 3187 0 0 25 0 8 0 4554078 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25865/statm: 201844 20104 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.76
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14103 0 0 0 70 6 0 0 16 0 8 0 4554081 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 386.61
Current children cumulated vsize (KiB) 821100
[startup+462.692 s]
/proc/loadavg: 2.69 3.93 3.65 3/82 26116
/proc/meminfo: memFree=15024/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=441.36
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20720 0 2 0 40574 3562 0 0 25 0 8 0 4554078 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25865/statm: 201844 20449 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.79
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14448 0 0 0 72 7 0 0 16 0 8 0 4554081 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.88
Current children cumulated vsize (KiB) 821100
[startup+522.791 s]
/proc/loadavg: 3.00 3.79 3.61 3/82 26116
/proc/meminfo: memFree=16304/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=498.94
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20720 0 2 0 45971 3923 0 0 25 0 8 0 4554078 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25865/statm: 201844 20449 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.79
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14448 0 0 0 72 7 0 0 16 0 8 0 4554081 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 501.46
Current children cumulated vsize (KiB) 821100
[startup+582.89 s]
/proc/loadavg: 3.00 3.64 3.57 3/82 26116
/proc/meminfo: memFree=15984/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=556.34
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20720 0 2 0 51348 4286 0 0 25 0 8 0 4554078 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25865/statm: 201844 20449 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.79
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14448 0 0 0 72 7 0 0 16 0 8 0 4554081 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 558.86
Current children cumulated vsize (KiB) 821100
[startup+642.976 s]
/proc/loadavg: 3.82 3.73 3.60 3/82 26120
/proc/meminfo: memFree=14840/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=613.96
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20721 0 2 0 56709 4687 0 0 25 0 8 0 4554078 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 20449 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.8
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14448 0 0 0 73 7 0 0 16 0 8 0 4554081 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 616.48
Current children cumulated vsize (KiB) 821100
[startup+703.037 s]
/proc/loadavg: 3.46 3.67 3.59 3/83 26131
/proc/meminfo: memFree=16112/2055920 swapFree=4192812/4192956
[pid=25855] ppid=25853 vsize=13724 CPUtime=2.52
/proc/25855/stat : 25855 (sugar) S 25853 25855 25694 0 -1 4194304 1186 14951 4 31 4 1 235 12 16 0 1 0 4553787 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25855/statm: 3431 809 371 3 0 531 0
[pid=25865] ppid=25855 vsize=807376 CPUtime=671.18
/proc/25865/stat : 25865 (java) R 25855 25855 25694 0 -1 0 20721 0 2 0 62030 5088 0 0 25 0 8 0 4554078 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25865/statm: 201844 20449 1510 14 0 189122 0
[pid=25865/tid=25866] ppid=25855 vsize=807376 CPUtime=0.8
/proc/25865/task/25866/stat : 25866 (java) S 25855 25855 25694 0 -1 64 14448 0 0 0 73 7 0 0 16 0 8 0 4554081 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25867] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25867/stat : 25867 (java) S 25855 25855 25694 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25868] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25868/stat : 25868 (java) S 25855 25855 25694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4554082 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25869] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25869/stat : 25869 (java) S 25855 25855 25694 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25870] ppid=25855 vsize=807376 CPUtime=0.19
/proc/25865/task/25870/stat : 25870 (java) S 25855 25855 25694 0 -1 64 445 0 1 0 18 1 0 0 16 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25865/tid=25871] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25871/stat : 25871 (java) S 25855 25855 25694 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25865/tid=25872] ppid=25855 vsize=807376 CPUtime=0
/proc/25865/task/25872/stat : 25872 (java) S 25855 25855 25694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4554085 826753024 20449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 673.7
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 731.297
CPU time (s): 681.719
CPU user time (s): 628.553
CPU system time (s): 53.1659
CPU usage (%): 93.2206
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 628.553
system time used= 53.1659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44907
page faults= 46
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18756
involuntary context switches= 35442
runsolver used 0.898863 s user time and 2.49162 s system time
The end
Begin job on node34 on Mon Jan 29 21:58:20 UTC 2007
IDJOB= 236080
IDBENCH= 6819
IDSOLVER= 86
FILE ID= node34/236080-1170107900
PBS_JOBID= 3689919
Free space on /tmp= 66446 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER6-9-fair.xml
COMMAND LINE= /tmp/evaluation/236080-1170107900/solver /tmp/evaluation/236080-1170107900 /tmp/evaluation/236080-1170107900/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-236080-1170107900 -o ROOT/results/node34/solver-236080-1170107900 -C 1800 -M 900 /tmp/evaluation/236080-1170107900/solver /tmp/evaluation/236080-1170107900 /tmp/evaluation/236080-1170107900/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 0d771d6ff98823fb4d1a9a2377463478
RANDOM SEED= 933359740
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.234
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.234
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: 1631640 kB
Buffers: 8868 kB
Cached: 32816 kB
SwapCached: 0 kB
Active: 366340 kB
Inactive: 15740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1631640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3356 kB
Writeback: 0 kB
Mapped: 351332 kB
Slab: 26992 kB
Committed_AS: 616368 kB
PageTables: 2444 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= 66446 MiB
End job on node34 on Mon Jan 29 22:10:32 UTC 2007