0.37 c # Sugar v0-40 (/tmp/evaluation/236626-1170108234/sugar-v0-40.jar)
0.37
0.50 c # MAIN BEGIN : /tmp/evaluation/236626-1170108234/unknown.xml [Mon Jan 29 23:03:57 2007]
0.50 c # CONVERT_XML BEGIN : /tmp/evaluation/236626-1170108234/unknown.xml /tmp/evaluation/236626-1170108234/sugar25177.csp [Mon Jan 29 23:03:57 2007]
0.50 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236626-1170108234/sugar-v0-40.jar -convert /tmp/evaluation/236626-1170108234/unknown.xml /tmp/evaluation/236626-1170108234/sugar25177.csp
1.33 c BEGIN convert /tmp/evaluation/236626-1170108234/unknown.xml
3.25 c END convert (1.913208 seconds)
3.27 c # CONVERT_XML END : /tmp/evaluation/236626-1170108234/sugar25177.csp 563268 bytes (3 seconds) [Mon Jan 29 23:04:00 2007]
3.27 c # CONVERT_XML CPU : 1.96 = 0 + 0 + 1.84 + 0.12
3.27
3.27 c # GENERATE_SAT BEGIN : /tmp/evaluation/236626-1170108234/sugar25177.bcnf [Mon Jan 29 23:04:00 2007]
3.27 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236626-1170108234/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236626-1170108234/sugar25177.map /tmp/evaluation/236626-1170108234/sugar25177.csp /tmp/evaluation/236626-1170108234/sugar25177.bcnf
3.39 c BEGIN parse /tmp/evaluation/236626-1170108234/sugar25177.csp
5.44 c END parse (2.049208 seconds)
5.44 c BEGIN simplify
5.55 c END simplify (0.112532 seconds)
5.55 c BEGIN encode /tmp/evaluation/236626-1170108234/sugar25177.bcnf
589.33 c END encode (583.779369 seconds)
590.33 c # GENERATE_SAT END : 258911877 variables 717891965 clauses 9237544356 bytes (587 seconds) [Mon Jan 29 23:13:47 2007]
590.33 c # GENERATE_SAT CPU : 490.72 = 0.34 + 0.05 + 449.13 + 41.2
590.33
590.33 c # SOLVE_SAT BEGIN : /tmp/evaluation/236626-1170108234/sugar25177.bcnf [Mon Jan 29 23:13:47 2007]
591.34 c # CMD : /tmp/evaluation/236626-1170108234/minisat /tmp/evaluation/236626-1170108234/sugar25177.bcnf /tmp/evaluation/236626-1170108234/sugar25177.out
591.70 c ERROR! Could not open file: /tmp/evaluation/236626-1170108234/sugar25177.bcnf
591.71 s UNKNOWN
591.71 c # ERROR No such file or directory /tmp/evaluation/236626-1170108234/sugar25177.out, at /tmp/evaluation/236626-1170108234/sugar line 393.
591.71
591.71 c # MAIN END : (591 seconds) [Mon Jan 29 23:13:48 2007]
591.71 c # MAIN CPU : 492.69 = 0.34 + 0.05 + 450.97 + 41.33
591.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-236626-1170108234 -o ROOT/results/node67/solver-236626-1170108234 -C 1800 -M 900 /tmp/evaluation/236626-1170108234/solver /tmp/evaluation/236626-1170108234 /tmp/evaluation/236626-1170108234/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: 8.17 5.13 3.63 5/92 25178
/proc/meminfo: memFree=16344/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=12268 CPUtime=0
/proc/25177/stat : 25177 (sugar) D 25175 25177 25105 0 -1 4194304 601 0 0 0 0 0 0 0 20 0 1 0 30781266 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/25177/statm: 3067 320 242 3 0 167 0
[startup+0.109889 s]
/proc/loadavg: 8.17 5.13 3.63 5/92 25178
/proc/meminfo: memFree=16344/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=12536 CPUtime=0
/proc/25177/stat : 25177 (sugar) R 25175 25177 25105 0 -1 4194304 715 0 0 0 0 0 0 0 18 0 1 0 30781266 12836864 434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271651849438 0 0 4224 0 0 0 0 17 1 0 0
/proc/25177/statm: 3134 434 289 3 0 234 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12536
[startup+0.519928 s]
/proc/loadavg: 8.17 5.13 3.63 5/92 25178
/proc/meminfo: memFree=16344/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=0.04
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1097 0 0 0 3 1 0 0 18 0 1 0 30781266 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25177/statm: 3431 804 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34802 s]
/proc/loadavg: 8.17 5.13 3.63 2/93 25179
/proc/meminfo: memFree=16016/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=0.04
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30781266 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25177/statm: 3431 805 368 3 0 531 0
[pid=25179] ppid=25177 vsize=807004 CPUtime=0.12
/proc/25179/stat : 25179 (java) D 25177 25177 25105 0 -1 0 2883 0 12 0 10 2 0 0 18 0 8 0 30781316 826372096 2643 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25179/statm: 201751 2643 1469 14 0 189029 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 820728
[startup+2.98819 s]
/proc/loadavg: 8.17 5.13 3.63 3/100 25186
/proc/meminfo: memFree=16280/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=0.04
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30781266 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25177/statm: 3431 805 368 3 0 531 0
[pid=25179] ppid=25177 vsize=807404 CPUtime=1.69
/proc/25179/stat : 25179 (java) R 25177 25177 25105 0 -1 0 12071 0 25 0 159 10 0 0 25 0 8 0 30781316 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25179/statm: 201851 11842 1690 14 0 189129 0
[pid=25179/tid=25180] ppid=25177 vsize=807404 CPUtime=0.11
/proc/25179/task/25180/stat : 25180 (java) S 25177 25177 25105 0 -1 64 5507 0 0 0 9 2 0 0 16 0 8 0 30781390 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25179/tid=25181] ppid=25177 vsize=807404 CPUtime=0
/proc/25179/task/25181/stat : 25181 (java) S 25177 25177 25105 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30781391 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25179/tid=25182] ppid=25177 vsize=807404 CPUtime=0
/proc/25179/task/25182/stat : 25182 (java) S 25177 25177 25105 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30781391 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25179/tid=25183] ppid=25177 vsize=807404 CPUtime=0
/proc/25179/task/25183/stat : 25183 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30781394 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25179/tid=25184] ppid=25177 vsize=807404 CPUtime=0.15
/proc/25179/task/25184/stat : 25184 (java) S 25177 25177 25105 0 -1 64 418 0 0 0 15 0 0 0 16 0 8 0 30781394 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25179/tid=25185] ppid=25177 vsize=807404 CPUtime=0
/proc/25179/task/25185/stat : 25185 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30781394 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25179/tid=25186] ppid=25177 vsize=807404 CPUtime=0
/proc/25179/task/25186/stat : 25186 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781394 826781696 11842 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 821128
[startup+6.27854 s]
/proc/loadavg: 7.92 5.13 3.63 2/98 25194
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=2.76
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 15674 0 1 0 256 20 0 0 25 0 8 0 30781594 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 15411 1508 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.5
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 9419 0 0 0 46 4 0 0 16 0 8 0 30781597 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.18
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 821100
[startup+12.7772 s]
/proc/loadavg: 8.41 5.28 3.69 3/98 25194
/proc/meminfo: memFree=15528/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=9.15
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 15675 0 1 0 809 106 0 0 25 0 8 0 30781594 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 15411 1508 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.5
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 9419 0 0 0 46 4 0 0 16 0 8 0 30781597 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.18
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 821100
[startup+25.6616 s]
/proc/loadavg: 7.63 5.26 3.71 3/89 25194
/proc/meminfo: memFree=16048/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=21.08
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 15675 0 1 0 1876 232 0 0 25 0 8 0 30781594 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25187/statm: 201844 15411 1508 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.5
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 9419 0 0 0 46 4 0 0 16 0 8 0 30781597 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.18
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.08
Current children cumulated vsize (KiB) 821100
[startup+51.2952 s]
/proc/loadavg: 6.57 5.21 3.73 4/89 25196
/proc/meminfo: memFree=14768/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=35.13
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 15675 0 1 0 3112 401 0 0 25 0 8 0 30781594 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25187/statm: 201844 15411 1508 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.5
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 9419 0 0 0 46 4 0 0 16 0 8 0 30781597 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.18
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.13
Current children cumulated vsize (KiB) 821100
[startup+102.499 s]
/proc/loadavg: 7.34 5.56 3.92 3/98 25211
/proc/meminfo: memFree=15336/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=82.09
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 15675 0 1 0 7216 993 0 0 19 0 8 0 30781594 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 15411 1508 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.5
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 9419 0 0 0 46 4 0 0 16 0 8 0 30781597 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.18
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.09
################
# More data... #
################
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 15423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 189.79
Current children cumulated vsize (KiB) 821100
[startup+282.656 s]
/proc/loadavg: 6.04 5.84 4.32 3/90 25213
/proc/meminfo: memFree=14960/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=244.43
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 17042 0 1 0 22229 2214 0 0 25 0 8 0 30781594 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25187/statm: 201844 16776 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.52
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 10772 0 0 0 48 4 0 0 16 0 8 0 30781597 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 246.43
Current children cumulated vsize (KiB) 821100
[startup+342.695 s]
/proc/loadavg: 5.76 5.79 4.40 3/90 25213
/proc/meminfo: memFree=15280/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=301.86
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 17042 0 1 0 27549 2637 0 0 25 0 8 0 30781594 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 16776 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.52
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 10772 0 0 0 48 4 0 0 16 0 8 0 30781597 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 303.86
Current children cumulated vsize (KiB) 821100
[startup+402.756 s]
/proc/loadavg: 5.41 5.70 4.46 3/89 25217
/proc/meminfo: memFree=16184/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=341.47
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 17042 0 1 0 31187 2960 0 0 25 0 8 0 30781594 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 16776 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.52
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 10772 0 0 0 48 4 0 0 16 0 8 0 30781597 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 16776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 343.47
Current children cumulated vsize (KiB) 821100
[startup+462.817 s]
/proc/loadavg: 5.07 5.53 4.47 3/90 25221
/proc/meminfo: memFree=16112/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=394.46
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 17422 0 1 0 36061 3385 0 0 25 0 8 0 30781594 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154590336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25187/statm: 201844 17155 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.54
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 11151 0 0 0 49 5 0 0 16 0 8 0 30781597 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 396.46
Current children cumulated vsize (KiB) 821100
[startup+522.869 s]
/proc/loadavg: 5.88 5.67 4.58 1/92 25224
/proc/meminfo: memFree=18336/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=443.9
/proc/25187/stat : 25187 (java) D 25177 25177 25105 0 -1 0 17422 0 1 0 40607 3783 0 0 25 0 8 0 30781594 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25187/statm: 201844 17155 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.54
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 11151 0 0 0 49 5 0 0 16 0 8 0 30781597 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 445.9
Current children cumulated vsize (KiB) 821100
[startup+582.943 s]
/proc/loadavg: 5.97 5.73 4.67 3/91 25225
/proc/meminfo: memFree=15016/2055920 swapFree=4192812/4192956
[pid=25177] ppid=25175 vsize=13724 CPUtime=2
/proc/25177/stat : 25177 (sugar) S 25175 25177 25105 0 -1 4194304 1190 12682 0 26 3 1 184 12 16 0 1 0 30781266 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25177/statm: 3431 809 371 3 0 531 0
[pid=25187] ppid=25177 vsize=807376 CPUtime=487.05
/proc/25187/stat : 25187 (java) R 25177 25177 25105 0 -1 0 17422 0 1 0 44613 4092 0 0 25 0 8 0 30781594 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25187/statm: 201844 17155 1510 14 0 189122 0
[pid=25187/tid=25188] ppid=25177 vsize=807376 CPUtime=0.54
/proc/25187/task/25188/stat : 25188 (java) S 25177 25177 25105 0 -1 64 11151 0 0 0 49 5 0 0 16 0 8 0 30781597 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25189] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25189/stat : 25189 (java) S 25177 25177 25105 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25190] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25190/stat : 25190 (java) S 25177 25177 25105 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30781598 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25191] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25191/stat : 25191 (java) S 25177 25177 25105 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25192] ppid=25177 vsize=807376 CPUtime=0.2
/proc/25187/task/25192/stat : 25192 (java) S 25177 25177 25105 0 -1 64 448 0 0 0 19 1 0 0 16 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25193] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25193/stat : 25193 (java) S 25177 25177 25105 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25187/tid=25194] ppid=25177 vsize=807376 CPUtime=0
/proc/25187/task/25194/stat : 25194 (java) S 25177 25177 25105 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30781601 826753024 17155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 489.05
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 613.182
CPU time (s): 493.845
CPU user time (s): 451.357
CPU system time (s): 42.4875
CPU usage (%): 80.538
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 451.357
system time used= 42.4875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37579
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14577
involuntary context switches= 28355
runsolver used 0.741887 s user time and 2.09568 s system time
The end
Begin job on node67 on Mon Jan 29 22:03:56 UTC 2007
IDJOB= 236626
IDBENCH= 6861
IDSOLVER= 86
FILE ID= node67/236626-1170108234
PBS_JOBID= 3689935
Free space on /tmp= 61517 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER5-8-fair.xml
COMMAND LINE= /tmp/evaluation/236626-1170108234/solver /tmp/evaluation/236626-1170108234 /tmp/evaluation/236626-1170108234/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-236626-1170108234 -o ROOT/results/node67/solver-236626-1170108234 -C 1800 -M 900 /tmp/evaluation/236626-1170108234/solver /tmp/evaluation/236626-1170108234 /tmp/evaluation/236626-1170108234/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 759b287a619b7d1444302c4a6aaa485e
RANDOM SEED= 880489922
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.236
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.236
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: 15032 kB
Buffers: 3208 kB
Cached: 1828984 kB
SwapCached: 0 kB
Active: 132960 kB
Inactive: 1809308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 830656 kB
Writeback: 0 kB
Mapped: 126808 kB
Slab: 83560 kB
Committed_AS: 689032 kB
PageTables: 2068 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= 53249 MiB
End job on node67 on Mon Jan 29 22:14:10 UTC 2007