146.85/147.68 s SATISFIABLE
146.85/147.68 v 4 16 32 32 9 30 10 42 25 42 27 26 2 40 8 20 11 7 27 17 42 3 10 28 18 13 26 19 21 6 20 21 26 13 4 8 1 11 16 31 3 28 17 23 18 28 34 34 39 6 0 8 19 29 6 14 16 43 15 0 36 25 18 11 5 33 21 27 29 16 42 34 10 4 24 31 34 20 12 0 24 14 41 15 4 9 32 44 43 30 26 6 13 41 14 5 12 3 39 25 17 8 9 35 27 15 31 30 12 29 2 13 20 7 44 42 42 33 8 16 35 6 43 35 20 23 27 23 3 37 24 5 15 12 0 23 28 32 33 26 7 3 14 44 19 8 35 21 22 39 8 9 35 22 1 23 17 6 30 37 38 36 22 29 2 5 22 18 43 2 7 40 12 24 17 19 28 10 2 37 12 11 1 29 5 38 31 39 2 26 19 1 0 38 38 40 21 3 1 44 1 14 13 15 3 1 8 4 5 1 9 6 12 10 13 8 12 3 12 19 12 0 13 11 5 17 17 19 11 3 17 15 0 13 9 17 1 13 18 8 2 13 0 17 17 3 1 6 15 12 12 3 16 4 19 9 10 1 14 15 18 14 3 0 8 11 10 0 13 19 8 18 12 3 1 2 19 12 2 0 10 8 16 18 13 17 8 6 10 2 9 0 0 14 5 2 6 1 11 9 15 11 13 0 19 16 12 9 10 14 3 18 1 8 12 10 16 19 16 12 12 13 0 5 0 5 5 11 8 18 14 5 11 9 2 8 7 14 8 18 6 3 2 8 4 0 10 5 12 6 1 7 19 10 9 9 5 9 12 6 18 5 8 16 11 6 1 0 7 19 10 19 12 17 7 6 16 2 0 5 3 11 0 12 16 14 10 8 1 1 3 2 16 19 6 1 6 4 7 5
146.85/147.68 d ASSIGNMENTS 1213
146.85/147.68 c SAT 147594 TIME 1213 NDS 633 PARSTIME 1100 BUILDPB 145861 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058059-1215112824/watcher-1058059-1215112824 -o /tmp/evaluation-result-1058059-1215112824/solver-1058059-1215112824 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1058059-1215112824.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
[startup+0 s]
/proc/loadavg: 2.02 1.99 1.98 4/73 8173
/proc/meminfo: memFree=1473120/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=18572 CPUtime=0
/proc/8173/stat : 8173 (runsolver) R 8171 7718 7718 0 -1 4194368 4 0 0 0 0 0 0 0 19 0 1 0 252225122 19017728 290 996147200 4194304 4296836 548682068416 18446744073709551615 214945032955 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8173/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0741869 s]
/proc/loadavg: 2.02 1.99 1.98 4/73 8173
/proc/meminfo: memFree=1473120/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=866416 CPUtime=0.05
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 3514 0 1 0 4 1 0 0 19 0 9 0 252225122 887209984 3011 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216604 3011 1661 9 0 211076 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 866416
[startup+0.101194 s]
/proc/loadavg: 2.02 1.99 1.98 4/73 8173
/proc/meminfo: memFree=1473120/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=866544 CPUtime=0.09
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 3828 0 1 0 7 2 0 0 19 0 9 0 252225122 887341056 3297 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216636 3297 1765 9 0 211108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866544
[startup+0.301228 s]
/proc/loadavg: 2.02 1.99 1.98 4/73 8173
/proc/meminfo: memFree=1473120/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867312 CPUtime=0.28
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 4658 0 1 0 26 2 0 0 19 0 9 0 252225122 888127488 4111 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216828 4111 1854 9 0 211300 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867312
[startup+0.701306 s]
/proc/loadavg: 2.02 1.99 1.98 4/73 8173
/proc/meminfo: memFree=1473120/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867444 CPUtime=0.68
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 7262 0 1 0 64 4 0 0 19 0 9 0 252225122 888262656 6701 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216861 6701 1904 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867444
[startup+1.50146 s]
/proc/loadavg: 2.02 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1431448/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867496 CPUtime=1.47
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 18817 0 2 0 136 11 0 0 19 0 9 0 252225122 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216874 18222 1982 9 0 211346 0
[pid=8173/tid=8175] ppid=8171 vsize=867496 CPUtime=1.15
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15469 0 2 0 106 9 0 0 23 0 9 0 252225123 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867496 CPUtime=0.04
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 2005 0 0 0 4 0 0 0 16 0 9 0 252225124 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867496 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867496 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867496 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867496 CPUtime=0.25
/proc/8173/task/8180/stat : 8180 (java) R 8171 8173 7718 0 -1 64 615 0 0 0 25 0 0 0 16 0 9 0 252225126 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 102564293 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867496 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867496 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888315904 18222 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867496
[startup+3.10278 s]
/proc/loadavg: 2.02 1.99 1.98 4/82 8182
/proc/meminfo: memFree=1406296/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=3.07
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 21460 0 2 0 293 14 0 0 19 0 9 0 252225122 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 20857 1996 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=2.53
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15585 0 2 0 244 9 0 0 25 0 9 0 252225123 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4127411818 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.12
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 4423 0 0 0 10 2 0 0 16 0 9 0 252225124 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.39
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 724 0 0 0 38 1 0 0 15 0 9 0 252225126 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 20857 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867620
[startup+6.3014 s]
/proc/loadavg: 2.02 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1396312/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=6.25
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 21480 0 2 0 611 14 0 0 19 0 9 0 252225122 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 20870 1996 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=5.69
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15592 0 2 0 560 9 0 0 25 0 9 0 252225123 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4127397581 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.13
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 4423 0 0 0 11 2 0 0 16 0 9 0 252225124 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.4
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 737 0 0 0 39 1 0 0 15 0 9 0 252225126 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 20870 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867620
[startup+12.7026 s]
/proc/loadavg: 2.02 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1396128/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=12.62
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 21495 0 2 0 1248 14 0 0 19 0 9 0 252225122 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 20873 1996 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=12.04
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15604 0 2 0 1195 9 0 0 25 0 9 0 252225123 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4127371704 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.14
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 4425 0 0 0 12 2 0 0 16 0 9 0 252225124 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.41
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 738 0 0 0 40 1 0 0 16 0 9 0 252225126 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 20873 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867620
[startup+25.5011 s]
/proc/loadavg: 2.01 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1396192/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=25.36
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 21531 0 2 0 2521 15 0 0 19 0 9 0 252225122 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 20886 1996 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=24.76
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15627 0 2 0 2466 10 0 0 25 0 9 0 252225123 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4127381016 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.16
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 4437 0 0 0 14 2 0 0 16 0 9 0 252225124 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.41
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 739 0 0 0 40 1 0 0 15 0 9 0 252225126 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 867620
[startup+51.1011 s]
/proc/loadavg: 2.01 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1396256/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=50.83
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 21578 0 2 0 5068 15 0 0 19 0 9 0 252225122 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 20886 1996 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=50.19
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15674 0 2 0 5009 10 0 0 25 0 9 0 252225123 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4127416472 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.2
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 4437 0 0 0 18 2 0 0 16 0 9 0 252225124 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.41
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 739 0 0 0 40 1 0 0 16 0 9 0 252225126 888442880 20886 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
################
# More data... #
################
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22367 0 2 0 12706 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=126.37
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15815 0 2 0 12625 12 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127185715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.39
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 36 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 127.25
Current children cumulated vsize (KiB) 867620
[startup+140.702 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=139.99
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22390 0 2 0 13980 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=139.08
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15838 0 2 0 13896 12 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127372184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.41
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 38 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (KiB) 867620
[startup+143.902 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=143.17
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22396 0 2 0 14298 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=142.27
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15844 0 2 0 14214 13 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127418566 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.41
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 38 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 143.17
Current children cumulated vsize (KiB) 867620
[startup+145.502 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=144.76
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22399 0 2 0 14457 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=143.86
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15847 0 2 0 14373 13 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127372115 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.42
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 39 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 144.76
Current children cumulated vsize (KiB) 867620
[startup+147.102 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=146.36
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22402 0 2 0 14617 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=145.45
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15850 0 2 0 14532 13 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127371680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.42
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 39 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.36
Current children cumulated vsize (KiB) 867620
[startup+147.502 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867620 CPUtime=146.75
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22403 0 2 0 14656 19 0 0 19 0 9 0 252225122 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216905 21535 1997 9 0 211377 0
[pid=8173/tid=8175] ppid=8171 vsize=867620 CPUtime=145.84
/proc/8173/task/8175/stat : 8175 (java) R 8171 8173 7718 0 -1 64 15851 0 2 0 14571 13 0 0 25 0 9 0 252225123 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4127429363 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867620 CPUtime=0.42
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 39 3 0 0 16 0 9 0 252225124 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867620 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 761 0 0 0 45 1 0 0 16 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867620 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888442880 21535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.75
Current children cumulated vsize (KiB) 867620
[startup+147.702 s]
/proc/loadavg: 2.00 1.99 1.98 3/82 8182
/proc/meminfo: memFree=1393504/2055920 swapFree=4180772/4192956
[pid=8173] ppid=8171 vsize=867944 CPUtime=146.94
/proc/8173/stat : 8173 (java) S 8171 8173 7718 0 -1 0 22414 0 2 0 14675 19 0 0 19 0 9 0 252225122 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8173/statm: 216986 21545 1998 9 0 211458 0
[pid=8173/tid=8175] ppid=8171 vsize=867944 CPUtime=146.02
/proc/8173/task/8175/stat : 8175 (java) S 8171 8173 7718 0 -1 64 15856 0 2 0 14589 13 0 0 25 0 9 0 252225123 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8176] ppid=8171 vsize=867944 CPUtime=0.42
/proc/8173/task/8176/stat : 8176 (java) S 8171 8173 7718 0 -1 64 5063 0 0 0 39 3 0 0 16 0 9 0 252225124 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8177] ppid=8171 vsize=867944 CPUtime=0
/proc/8173/task/8177/stat : 8177 (java) S 8171 8173 7718 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 252225125 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8178] ppid=8171 vsize=867944 CPUtime=0
/proc/8173/task/8178/stat : 8178 (java) S 8171 8173 7718 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252225125 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8179] ppid=8171 vsize=867944 CPUtime=0
/proc/8173/task/8179/stat : 8179 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 252225126 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8180] ppid=8171 vsize=867944 CPUtime=0.46
/proc/8173/task/8180/stat : 8180 (java) S 8171 8173 7718 0 -1 64 762 0 0 0 45 1 0 0 15 0 9 0 252225126 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8181] ppid=8171 vsize=867944 CPUtime=0
/proc/8173/task/8181/stat : 8181 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 252225126 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8173/tid=8182] ppid=8171 vsize=867944 CPUtime=0
/proc/8173/task/8182/stat : 8182 (java) S 8171 8173 7718 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252225127 888774656 21545 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 146.94
Current children cumulated vsize (KiB) 867944
Child status: 0
Real time (s): 147.724
CPU time (s): 146.961
CPU user time (s): 146.753
CPU system time (s): 0.207968
CPU usage (%): 99.4834
Max. virtual memory (cumulated for all children) (KiB): 867944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.753
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22417
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6821
involuntary context switches= 8491
runsolver used 0.174973 second user time and 0.503923 second system time
The end
Begin job on node85 at 2008-07-03 21:20:24
IDJOB=1058059
IDBENCH=54104
IDSOLVER=349
FILE ID=node85/1058059-1215112824
PBS_JOBID= 7877037
Free space on /tmp= 126848 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058059-1215112824/watcher-1058059-1215112824 -o /tmp/evaluation-result-1058059-1215112824/solver-1058059-1215112824 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1058059-1215112824.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e388ff74a36a9bb17963ab4d6d8a2381
RANDOM SEED=1318226767
node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.272
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.272
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1473600 kB
Buffers: 10916 kB
Cached: 459772 kB
SwapCached: 6808 kB
Active: 142828 kB
Inactive: 403208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1473600 kB
SwapTotal: 4192956 kB
SwapFree: 4180772 kB
Dirty: 6336 kB
Writeback: 0 kB
Mapped: 82624 kB
Slab: 21896 kB
Committed_AS: 597596 kB
PageTables: 1620 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= 126840 MiB
End job on node85 at 2008-07-03 21:22:52