0.12 c # Sugar v0-40 (/tmp/evaluation/236041-1170107864/sugar-v0-40.jar)
0.12
0.13 c # MAIN BEGIN : /tmp/evaluation/236041-1170107864/unknown.xml [Mon Jan 29 22:57:44 2007]
0.13 c # CONVERT_XML BEGIN : /tmp/evaluation/236041-1170107864/unknown.xml /tmp/evaluation/236041-1170107864/sugar26888.csp [Mon Jan 29 22:57:44 2007]
0.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236041-1170107864/sugar-v0-40.jar -convert /tmp/evaluation/236041-1170107864/unknown.xml /tmp/evaluation/236041-1170107864/sugar26888.csp
0.35 c BEGIN convert /tmp/evaluation/236041-1170107864/unknown.xml
3.74 c END convert (3.388608 seconds)
3.80 c # CONVERT_XML END : /tmp/evaluation/236041-1170107864/sugar26888.csp 1166654 bytes (4 seconds) [Mon Jan 29 22:57:48 2007]
3.80 c # CONVERT_XML CPU : 3.44 = 0 + 0 + 3.27 + 0.17
3.80
3.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/236041-1170107864/sugar26888.bcnf [Mon Jan 29 22:57:48 2007]
3.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236041-1170107864/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236041-1170107864/sugar26888.map /tmp/evaluation/236041-1170107864/sugar26888.csp /tmp/evaluation/236041-1170107864/sugar26888.bcnf
3.92 c BEGIN parse /tmp/evaluation/236041-1170107864/sugar26888.csp
7.70 c END parse (3.77961 seconds)
7.70 c BEGIN simplify
7.86 c END simplify (0.160515 seconds)
7.86 c BEGIN encode /tmp/evaluation/236041-1170107864/sugar26888.bcnf
1020.33 c END encode (1012.473164 seconds)
1021.29 c # GENERATE_SAT END : 519452055 variables 1442756757 clauses 18564202064 bytes (1017 seconds) [Mon Jan 29 23:14:45 2007]
1021.29 c # GENERATE_SAT CPU : 970.24 = 0.82 + 0.08 + 893.44 + 75.9
1021.29
1021.29 c # SOLVE_SAT BEGIN : /tmp/evaluation/236041-1170107864/sugar26888.bcnf [Mon Jan 29 23:14:45 2007]
1021.32 c # CMD : /tmp/evaluation/236041-1170107864/minisat /tmp/evaluation/236041-1170107864/sugar26888.bcnf /tmp/evaluation/236041-1170107864/sugar26888.out
1021.34 c ERROR! Could not open file: /tmp/evaluation/236041-1170107864/sugar26888.bcnf
1021.35 s UNKNOWN
1021.35 c # ERROR No such file or directory /tmp/evaluation/236041-1170107864/sugar26888.out, at /tmp/evaluation/236041-1170107864/sugar line 393.
1021.35
1021.35 c # MAIN END : (1021 seconds) [Mon Jan 29 23:14:45 2007]
1021.35 c # MAIN CPU : 973.69 = 0.82 + 0.08 + 896.71 + 76.08
1021.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-236041-1170107864 -o ROOT/results/node7/solver-236041-1170107864 -C 1800 -M 900 /tmp/evaluation/236041-1170107864/solver /tmp/evaluation/236041-1170107864 /tmp/evaluation/236041-1170107864/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.99 2.85 2.67 5/87 26889
/proc/meminfo: memFree=1054448/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=5352 CPUtime=0
/proc/26888/stat : 26888 (solver) R 26886 26888 26733 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30741123 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 244671114535 0 0 4096 0 0 0 0 17 1 0 0
/proc/26888/statm: 1338 231 193 169 0 49 0
[startup+0.110495 s]
/proc/loadavg: 2.99 2.85 2.67 5/87 26889
/proc/meminfo: memFree=1054448/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=12932 CPUtime=0.02
/proc/26888/stat : 26888 (sugar) R 26886 26888 26733 0 -1 4194304 862 0 4 0 1 1 0 0 18 0 1 0 30741123 13242368 585 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244670960353 0 0 4224 0 0 0 0 17 1 0 0
/proc/26888/statm: 3233 585 316 3 0 333 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12932
[startup+0.522549 s]
/proc/loadavg: 2.99 2.85 2.67 5/87 26889
/proc/meminfo: memFree=1054448/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=0.04
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 30741123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34462 s]
/proc/loadavg: 2.91 2.84 2.66 3/95 26897
/proc/meminfo: memFree=1004272/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=0.04
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 30741123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 805 368 3 0 531 0
[pid=26890] ppid=26888 vsize=807280 CPUtime=1.05
/proc/26890/stat : 26890 (java) R 26888 26888 26733 0 -1 0 14719 0 29 0 93 12 0 0 22 0 8 0 30741136 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073688583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26890/statm: 201820 14493 1690 14 0 189098 0
[pid=26890/tid=26891] ppid=26888 vsize=807280 CPUtime=0.18
/proc/26890/task/26891/stat : 26891 (java) S 26888 26888 26733 0 -1 64 8186 0 0 0 13 5 0 0 16 0 8 0 30741148 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26890/tid=26892] ppid=26888 vsize=807280 CPUtime=0
/proc/26890/task/26892/stat : 26892 (java) S 26888 26888 26733 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30741149 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26893] ppid=26888 vsize=807280 CPUtime=0
/proc/26890/task/26893/stat : 26893 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 30741149 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26894] ppid=26888 vsize=807280 CPUtime=0
/proc/26890/task/26894/stat : 26894 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30741152 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26895] ppid=26888 vsize=807280 CPUtime=0.13
/proc/26890/task/26895/stat : 26895 (java) S 26888 26888 26733 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 30741152 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26890/tid=26896] ppid=26888 vsize=807280 CPUtime=0
/proc/26890/task/26896/stat : 26896 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30741152 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26897] ppid=26888 vsize=807280 CPUtime=0
/proc/26890/task/26897/stat : 26897 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741152 826654720 14493 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 821004
[startup+2.9818 s]
/proc/loadavg: 2.91 2.84 2.66 3/95 26897
/proc/meminfo: memFree=981168/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=0.04
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 30741123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 805 368 3 0 531 0
[pid=26890] ppid=26888 vsize=807408 CPUtime=2.68
/proc/26890/stat : 26890 (java) R 26888 26888 26733 0 -1 0 18669 0 29 0 253 15 0 0 25 0 8 0 30741136 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073824267 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26890/statm: 201852 18440 1690 14 0 189130 0
[pid=26890/tid=26891] ppid=26888 vsize=807408 CPUtime=0.34
/proc/26890/task/26891/stat : 26891 (java) S 26888 26888 26733 0 -1 64 12102 0 0 0 27 7 0 0 17 0 8 0 30741148 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26890/tid=26892] ppid=26888 vsize=807408 CPUtime=0
/proc/26890/task/26892/stat : 26892 (java) S 26888 26888 26733 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30741149 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26893] ppid=26888 vsize=807408 CPUtime=0
/proc/26890/task/26893/stat : 26893 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 30741149 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26894] ppid=26888 vsize=807408 CPUtime=0
/proc/26890/task/26894/stat : 26894 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30741152 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26895] ppid=26888 vsize=807408 CPUtime=0.17
/proc/26890/task/26895/stat : 26895 (java) S 26888 26888 26733 0 -1 64 420 0 0 0 16 1 0 0 16 0 8 0 30741152 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26890/tid=26896] ppid=26888 vsize=807408 CPUtime=0
/proc/26890/task/26896/stat : 26896 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30741152 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26890/tid=26897] ppid=26888 vsize=807408 CPUtime=0
/proc/26890/task/26897/stat : 26897 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741152 826785792 18440 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 821132
[startup+6.27914 s]
/proc/loadavg: 2.84 2.82 2.66 4/95 26905
/proc/meminfo: memFree=1000560/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 15 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=2.45
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 15213 0 1 0 236 9 0 0 25 0 8 0 30741503 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 14949 1506 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=0.57
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 8989 0 0 0 53 4 0 0 16 0 8 0 30741506 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.14
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 423 0 0 0 14 0 0 0 16 0 8 0 30741510 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 14949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 821100
[startup+12.7648 s]
/proc/loadavg: 2.77 2.81 2.66 3/95 26905
/proc/meminfo: memFree=826224/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=8.87
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 24229 0 2 0 826 61 0 0 25 0 8 0 30741503 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 23952 1509 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.05
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 17959 0 1 0 96 9 0 0 16 0 8 0 30741506 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.16
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 821100
[startup+25.6582 s]
/proc/loadavg: 2.97 2.85 2.67 3/95 26907
/proc/meminfo: memFree=477744/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=21.41
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 24229 0 2 0 1937 204 0 0 25 0 8 0 30741503 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 23952 1509 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.05
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 17959 0 1 0 96 9 0 0 16 0 8 0 30741506 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.16
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 821100
[startup+51.3209 s]
/proc/loadavg: 3.77 3.05 2.74 3/96 26917
/proc/meminfo: memFree=15976/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=46.23
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 24229 0 2 0 4146 477 0 0 25 0 8 0 30741503 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 23952 1509 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.05
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 17959 0 1 0 96 9 0 0 16 0 8 0 30741506 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.16
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 821100
[startup+102.54 s]
/proc/loadavg: 4.46 3.35 2.86 3/97 26930
/proc/meminfo: memFree=15392/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=95.28
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 24229 0 2 0 8475 1053 0 0 25 0 8 0 30741503 826753024 23952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 23952 1509 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.05
################
# More data... #
################
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 616.03
Current children cumulated vsize (KiB) 821100
[startup+703.12 s]
/proc/loadavg: 4.08 3.41 3.06 3/102 27233
/proc/meminfo: memFree=15864/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=666.51
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26886 0 4 0 61168 5483 0 0 25 0 8 0 30741503 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26898/statm: 201844 26607 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.15
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20602 0 1 0 105 10 0 0 16 0 8 0 30741506 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (KiB) 821100
[startup+763.195 s]
/proc/loadavg: 4.46 3.64 3.16 3/102 27233
/proc/meminfo: memFree=15544/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=723.24
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26886 0 4 0 66420 5904 0 0 25 0 8 0 30741503 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 26607 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.15
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20602 0 1 0 105 10 0 0 16 0 8 0 30741506 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 726.72
Current children cumulated vsize (KiB) 821100
[startup+823.283 s]
/proc/loadavg: 4.69 3.85 3.26 3/102 27233
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=779.86
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26989 0 4 0 71708 6278 0 0 25 0 8 0 30741503 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26898/statm: 201844 26709 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.17
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20704 0 1 0 107 10 0 0 16 0 8 0 30741506 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 783.34
Current children cumulated vsize (KiB) 821100
[startup+883.36 s]
/proc/loadavg: 4.67 4.00 3.35 4/90 27235
/proc/meminfo: memFree=523928/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=837.73
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26989 0 4 0 77093 6680 0 0 25 0 8 0 30741503 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 26709 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.17
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20704 0 1 0 107 10 0 0 16 0 8 0 30741506 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 841.21
Current children cumulated vsize (KiB) 821100
[startup+943.377 s]
/proc/loadavg: 3.34 3.73 3.29 4/102 27333
/proc/meminfo: memFree=15800/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=896.02
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26989 0 4 0 82518 7084 0 0 25 0 8 0 30741503 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26898/statm: 201844 26709 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.17
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20704 0 1 0 107 10 0 0 16 0 8 0 30741506 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 899.5
Current children cumulated vsize (KiB) 821100
[startup+1003.46 s]
/proc/loadavg: 2.82 3.50 3.24 3/102 27333
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=26888] ppid=26886 vsize=13724 CPUtime=3.48
/proc/26888/stat : 26888 (sugar) S 26886 26888 26733 0 -1 4194304 1186 19090 4 30 3 1 327 17 16 0 1 0 30741123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26888/statm: 3431 809 371 3 0 531 0
[pid=26898] ppid=26888 vsize=807376 CPUtime=953.64
/proc/26898/stat : 26898 (java) R 26888 26888 26733 0 -1 0 26990 0 4 0 87877 7487 0 0 25 0 8 0 30741503 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26898/statm: 201844 26709 1511 14 0 189122 0
[pid=26898/tid=26899] ppid=26888 vsize=807376 CPUtime=1.18
/proc/26898/task/26899/stat : 26899 (java) S 26888 26888 26733 0 -1 64 20704 0 1 0 108 10 0 0 16 0 8 0 30741506 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26900] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26900/stat : 26900 (java) S 26888 26888 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26901] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26901/stat : 26901 (java) S 26888 26888 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30741507 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26902] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26902/stat : 26902 (java) S 26888 26888 26733 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26903] ppid=26888 vsize=807376 CPUtime=0.18
/proc/26898/task/26903/stat : 26903 (java) S 26888 26888 26733 0 -1 64 443 0 1 0 18 0 0 0 17 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26904] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26904/stat : 26904 (java) S 26888 26888 26733 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26898/tid=26905] ppid=26888 vsize=807376 CPUtime=0
/proc/26898/task/26905/stat : 26905 (java) S 26888 26888 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30741510 826753024 26709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 957.12
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 1046.08
CPU time (s): 975.834
CPU user time (s): 897.575
CPU system time (s): 78.2591
CPU usage (%): 93.2845
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 897.575
system time used= 78.2591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59760
page faults= 47
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26672
involuntary context switches= 57662
runsolver used 1.2978 s user time and 3.58845 s system time
The end
Begin job on node7 on Mon Jan 29 21:57:44 UTC 2007
IDJOB= 236041
IDBENCH= 6816
IDSOLVER= 86
FILE ID= node7/236041-1170107864
PBS_JOBID= 3689920
Free space on /tmp= 66282 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER8-10-fair.xml
COMMAND LINE= /tmp/evaluation/236041-1170107864/solver /tmp/evaluation/236041-1170107864 /tmp/evaluation/236041-1170107864/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-236041-1170107864 -o ROOT/results/node7/solver-236041-1170107864 -C 1800 -M 900 /tmp/evaluation/236041-1170107864/solver /tmp/evaluation/236041-1170107864 /tmp/evaluation/236041-1170107864/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 88eb46ef92134bc665a262645576d825
RANDOM SEED= 137579290
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.232
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.232
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: 1055184 kB
Buffers: 7472 kB
Cached: 43596 kB
SwapCached: 0 kB
Active: 942640 kB
Inactive: 15112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1055184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4592 kB
Writeback: 0 kB
Mapped: 926124 kB
Slab: 26260 kB
Committed_AS: 1261572 kB
PageTables: 3868 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= 66530 MiB
End job on node7 on Mon Jan 29 22:15:10 UTC 2007