0.05 c # Sugar v0-40 (/tmp/evaluation/235833-1170107453/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/235833-1170107453/unknown.xml [Mon Jan 29 22:50:54 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/235833-1170107453/unknown.xml /tmp/evaluation/235833-1170107453/sugar26798.csp [Mon Jan 29 22:50:54 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235833-1170107453/sugar-v0-40.jar -convert /tmp/evaluation/235833-1170107453/unknown.xml /tmp/evaluation/235833-1170107453/sugar26798.csp
0.17 c BEGIN convert /tmp/evaluation/235833-1170107453/unknown.xml
1.77 c END convert (1.592278 seconds)
1.80 c # CONVERT_XML END : /tmp/evaluation/235833-1170107453/sugar26798.csp 423651 bytes (2 seconds) [Mon Jan 29 22:50:56 2007]
1.80 c # CONVERT_XML CPU : 1.68 = 0 + 0 + 1.6 + 0.08
1.80
1.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/235833-1170107453/sugar26798.bcnf [Mon Jan 29 22:50:56 2007]
1.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235833-1170107453/sugar-v0-40.jar -bcnf -map /tmp/evaluation/235833-1170107453/sugar26798.map /tmp/evaluation/235833-1170107453/sugar26798.csp /tmp/evaluation/235833-1170107453/sugar26798.bcnf
1.92 c BEGIN parse /tmp/evaluation/235833-1170107453/sugar26798.csp
3.65 c END parse (1.727069 seconds)
3.65 c BEGIN simplify
3.69 c END simplify (0.040471 seconds)
3.69 c BEGIN encode /tmp/evaluation/235833-1170107453/sugar26798.bcnf
400.17 c END encode (396.475093 seconds)
400.59 c # GENERATE_SAT END : 196364385 variables 544814569 clauses 7011613380 bytes (398 seconds) [Mon Jan 29 22:57:34 2007]
400.59 c # GENERATE_SAT CPU : 382.37 = 0.28 + 0.02 + 352.95 + 29.12
400.59
400.59 c # SOLVE_SAT BEGIN : /tmp/evaluation/235833-1170107453/sugar26798.bcnf [Mon Jan 29 22:57:34 2007]
400.59 c # CMD : /tmp/evaluation/235833-1170107453/minisat /tmp/evaluation/235833-1170107453/sugar26798.bcnf /tmp/evaluation/235833-1170107453/sugar26798.out
400.62 c ERROR! Could not open file: /tmp/evaluation/235833-1170107453/sugar26798.bcnf
400.62 s UNKNOWN
400.62 c # ERROR No such file or directory /tmp/evaluation/235833-1170107453/sugar26798.out, at /tmp/evaluation/235833-1170107453/sugar line 393.
400.62
400.62 c # MAIN END : (400 seconds) [Mon Jan 29 22:57:34 2007]
400.62 c # MAIN CPU : 384.07 = 0.28 + 0.03 + 354.55 + 29.21
400.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-235833-1170107453 -o ROOT/results/node7/solver-235833-1170107453 -C 1800 -M 900 /tmp/evaluation/235833-1170107453/solver /tmp/evaluation/235833-1170107453 /tmp/evaluation/235833-1170107453/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.09 2.14 2.48 5/87 26799
/proc/meminfo: memFree=738608/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=12268 CPUtime=0
/proc/26798/stat : 26798 (sugar) R 26796 26798 26733 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 30700110 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244671281765 0 0 4224 0 0 0 0 17 1 0 0
/proc/26798/statm: 3067 316 241 3 0 167 0
[startup+0.105963 s]
/proc/loadavg: 2.09 2.14 2.48 5/87 26799
/proc/meminfo: memFree=738608/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=0.04
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30700110 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514009 s]
/proc/loadavg: 2.09 2.14 2.48 5/87 26799
/proc/meminfo: memFree=738608/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=0.04
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30700110 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33508 s]
/proc/loadavg: 2.16 2.15 2.48 4/95 26807
/proc/meminfo: memFree=707376/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=0.04
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30700110 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 805 368 3 0 531 0
[pid=26800] ppid=26798 vsize=807408 CPUtime=1.25
/proc/26800/stat : 26800 (java) R 26798 26798 26733 0 -1 0 9159 0 1 0 119 6 0 0 21 0 8 0 30700115 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073812348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26800/statm: 201852 8907 1690 14 0 189130 0
[pid=26800/tid=26801] ppid=26798 vsize=807408 CPUtime=0.05
/proc/26800/task/26801/stat : 26801 (java) S 26798 26798 26733 0 -1 64 2570 0 0 0 4 1 0 0 16 0 8 0 30700118 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26802] ppid=26798 vsize=807408 CPUtime=0
/proc/26800/task/26802/stat : 26802 (java) S 26798 26798 26733 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 30700119 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26803] ppid=26798 vsize=807408 CPUtime=0
/proc/26800/task/26803/stat : 26803 (java) S 26798 26798 26733 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30700119 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26804] ppid=26798 vsize=807408 CPUtime=0
/proc/26800/task/26804/stat : 26804 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700122 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26805] ppid=26798 vsize=807408 CPUtime=0.16
/proc/26800/task/26805/stat : 26805 (java) S 26798 26798 26733 0 -1 64 419 0 0 0 16 0 0 0 20 0 8 0 30700122 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26806] ppid=26798 vsize=807408 CPUtime=0
/proc/26800/task/26806/stat : 26806 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700122 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26800/tid=26807] ppid=26798 vsize=807408 CPUtime=0
/proc/26800/task/26807/stat : 26807 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700122 826785792 8907 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 821132
[startup+2.97326 s]
/proc/loadavg: 2.16 2.15 2.48 4/95 26815
/proc/meminfo: memFree=716336/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 15 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=1.13
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 9458 0 1 0 106 7 0 0 22 0 8 0 30700290 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 9204 1506 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.19
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 3254 0 0 0 18 1 0 0 16 0 8 0 30700294 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.14
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 415 0 0 0 14 0 0 0 16 0 8 0 30700297 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 9204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821100
[startup+6.1806 s]
/proc/loadavg: 2.15 2.15 2.48 3/95 26815
/proc/meminfo: memFree=638960/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=4.3
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13682 0 1 0 398 32 0 0 25 0 8 0 30700290 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13421 1508 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.18
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 436 0 0 0 17 1 0 0 16 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 821100
[startup+12.6653 s]
/proc/loadavg: 2.14 2.14 2.47 3/95 26815
/proc/meminfo: memFree=458480/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=10.67
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13682 0 1 0 968 99 0 0 25 0 8 0 30700290 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13421 1508 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.18
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 436 0 0 0 17 1 0 0 16 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 821100
[startup+25.5606 s]
/proc/loadavg: 2.27 2.17 2.48 3/96 26818
/proc/meminfo: memFree=143336/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=23.13
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13682 0 1 0 2066 247 0 0 25 0 8 0 30700290 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13421 1508 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.18
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 436 0 0 0 17 1 0 0 16 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 821100
[startup+51.2373 s]
/proc/loadavg: 2.37 2.20 2.48 3/95 26824
/proc/meminfo: memFree=15408/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=47.7
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13682 0 1 0 4249 521 0 0 25 0 8 0 30700290 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13421 1508 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.18
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 436 0 0 0 17 1 0 0 16 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.42
Current children cumulated vsize (KiB) 821100
[startup+102.503 s]
/proc/loadavg: 2.64 2.29 2.49 3/95 26841
/proc/meminfo: memFree=15600/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=96.08
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13692 0 1 0 8549 1059 0 0 25 0 8 0 30700290 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13431 1510 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.2
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 445 0 0 0 19 1 0 0 16 0 8 0 30700297 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.8
Current children cumulated vsize (KiB) 821100
[startup+162.515 s]
/proc/loadavg: 2.59 2.34 2.49 3/95 26841
/proc/meminfo: memFree=14832/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=154.03
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 13696 0 1 0 13976 1427 0 0 25 0 8 0 30700290 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 13434 1510 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.42
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 7429 0 0 0 39 3 0 0 16 0 8 0 30700294 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.21
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 30700297 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 13434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 155.75
Current children cumulated vsize (KiB) 821100
[startup+222.526 s]
/proc/loadavg: 2.85 2.46 2.52 3/95 26841
/proc/meminfo: memFree=15472/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=211.5
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 15106 0 1 0 19370 1780 0 0 25 0 8 0 30700290 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 14843 1510 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.44
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 8838 0 0 0 41 3 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.21
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 213.22
Current children cumulated vsize (KiB) 821100
[startup+282.536 s]
/proc/loadavg: 3.47 2.68 2.59 3/95 26841
/proc/meminfo: memFree=16176/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=269.11
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 15106 0 1 0 24747 2164 0 0 25 0 8 0 30700290 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 14843 1510 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.44
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 8838 0 0 0 41 3 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.21
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 270.83
Current children cumulated vsize (KiB) 821100
[startup+342.543 s]
/proc/loadavg: 3.73 2.93 2.68 3/95 26841
/proc/meminfo: memFree=15984/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=13724 CPUtime=1.72
/proc/26798/stat : 26798 (sugar) S 26796 26798 26733 0 -1 4194304 1190 11554 0 1 3 1 160 8 16 0 1 0 30700110 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26798/statm: 3431 809 371 3 0 531 0
[pid=26808] ppid=26798 vsize=807376 CPUtime=326.78
/proc/26808/stat : 26808 (java) R 26798 26798 26733 0 -1 0 15106 0 1 0 30130 2548 0 0 25 0 8 0 30700290 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26808/statm: 201844 14843 1510 14 0 189122 0
[pid=26808/tid=26809] ppid=26798 vsize=807376 CPUtime=0.44
/proc/26808/task/26809/stat : 26809 (java) S 26798 26798 26733 0 -1 64 8838 0 0 0 41 3 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26810] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26810/stat : 26810 (java) S 26798 26798 26733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26811] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26811/stat : 26811 (java) S 26798 26798 26733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30700294 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26812] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26812/stat : 26812 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26813] ppid=26798 vsize=807376 CPUtime=0.21
/proc/26808/task/26813/stat : 26813 (java) S 26798 26798 26733 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26814] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26814/stat : 26814 (java) S 26798 26798 26733 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26808/tid=26815] ppid=26798 vsize=807376 CPUtime=0
/proc/26808/task/26815/stat : 26815 (java) S 26798 26798 26733 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30700297 826753024 14843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 328.5
Current children cumulated vsize (KiB) 821100
[startup+402.556 s]
/proc/loadavg: 3.08 2.87 2.67 2/87 26842
/proc/meminfo: memFree=1006576/2055920 swapFree=4192812/4192956
[pid=26798] ppid=26796 vsize=31604 CPUtime=384.59
/proc/26798/stat : 26798 (sugar) D 26796 26798 26733 0 -1 4194304 5688 26729 0 11 31 52 35455 2921 18 0 1 0 30700110 32362496 5169 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 244671288361 0 0 4224 16386 18446744071563608069 0 0 17 0 0 0
/proc/26798/statm: 7901 5169 377 3 0 5001 0
Current children cumulated CPU time (s) 384.59
Current children cumulated vsize (KiB) 31604
Child status: 1
Real time (s): 408.015
CPU time (s): 385.114
CPU user time (s): 354.871
CPU system time (s): 30.2434
CPU usage (%): 94.3874
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 354.871
system time used= 30.2434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32471
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10837
involuntary context switches= 25976
runsolver used 0.497924 s user time and 1.37079 s system time
The end
Begin job on node7 on Mon Jan 29 21:50:54 UTC 2007
IDJOB= 235833
IDBENCH= 6800
IDSOLVER= 86
FILE ID= node7/235833-1170107453
PBS_JOBID= 3689920
Free space on /tmp= 66284 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER5-6-fair.xml
COMMAND LINE= /tmp/evaluation/235833-1170107453/solver /tmp/evaluation/235833-1170107453 /tmp/evaluation/235833-1170107453/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-235833-1170107453 -o ROOT/results/node7/solver-235833-1170107453 -C 1800 -M 900 /tmp/evaluation/235833-1170107453/solver /tmp/evaluation/235833-1170107453 /tmp/evaluation/235833-1170107453/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5e6ee4e46f2893821a84aaa55f2311ca
RANDOM SEED= 285012144
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: 739024 kB
Buffers: 40028 kB
Cached: 337236 kB
SwapCached: 0 kB
Active: 1214020 kB
Inactive: 52020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 739024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 908280 kB
Slab: 34112 kB
Committed_AS: 1238528 kB
PageTables: 3836 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= 66284 MiB
End job on node7 on Mon Jan 29 21:57:42 UTC 2007