runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3500247-1307992455/watcher-3500247-1307992455 -o /tmp/evaluation-result-3500247-1307992455/solver-3500247-1307992455 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500247-1307992455.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.15 4.05 3.89 3/177 30842
/proc/meminfo: memFree=11784260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=2432 CPUtime=0 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) R 30840 30842 29599 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 910845125 2490368 314 33554432000 4194304 5714118 140733478553600 18446744073709551615 4970308 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/30842/statm: 608 315 166 372 0 217 0
[startup+0.212556 s]
/proc/loadavg: 4.15 4.05 3.89 3/177 30842
/proc/meminfo: memFree=11784260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151000 CPUtime=0.4 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 8286 0 0 0 35 5 0 0 25 0 3 0 910845125 154624000 8131 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37750 8131 179 372 0 37375 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 151000
[startup+0.300523 s]
/proc/loadavg: 4.15 4.05 3.89 3/177 30842
/proc/meminfo: memFree=11784260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151000 CPUtime=0.58 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 8464 0 0 0 53 5 0 0 25 0 3 0 910845125 154624000 8309 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37750 8309 179 372 0 37375 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 151000
[startup+0.400512 s]
/proc/loadavg: 4.15 4.05 3.89 3/177 30842
/proc/meminfo: memFree=11784260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151000 CPUtime=0.79 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 8466 0 0 0 73 6 0 0 25 0 3 0 910845125 154624000 8311 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37750 8311 179 372 0 37375 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 151000
[startup+0.700457 s]
/proc/loadavg: 4.15 4.05 3.89 3/177 30842
/proc/meminfo: memFree=11784260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151000 CPUtime=1.38 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 8803 0 0 0 132 6 0 0 25 0 3 0 910845125 154624000 8648 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37750 8648 179 372 0 37375 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 151000
[startup+1.50033 s]
/proc/loadavg: 4.15 4.05 3.89 5/180 30845
/proc/meminfo: memFree=11743960/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151132 CPUtime=2.98 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 9346 0 0 0 290 8 0 0 25 0 3 0 910845125 154759168 9191 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37783 9191 179 372 0 37408 0
[pid=30842/tid=30844] ppid=30840 vsize=151132 CPUtime=1.48 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 1426 0 0 0 146 2 0 0 20 0 3 0 910845126 154759168 9191 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=151132 CPUtime=1.49 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 7482 0 0 0 143 6 0 0 20 0 3 0 910845126 154759168 9191 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 151132
[startup+3.10104 s]
/proc/loadavg: 4.15 4.05 3.89 5/180 30845
/proc/meminfo: memFree=11737260/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=151548 CPUtime=6.18 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 12478 0 0 0 599 19 0 0 25 0 3 0 910845125 155185152 12323 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 37887 12323 179 372 0 37512 0
[pid=30842/tid=30844] ppid=30840 vsize=151548 CPUtime=3.08 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 2482 0 0 0 304 4 0 0 25 0 3 0 910845126 155185152 12324 33554432000 4194304 5714118 140733478553600 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=151548 CPUtime=3.08 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 9559 0 0 0 294 14 0 0 18 0 3 0 910845126 155185152 12324 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 151548
[startup+6.30049 s]
/proc/loadavg: 4.14 4.05 3.89 5/180 30845
/proc/meminfo: memFree=11701480/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=152792 CPUtime=12.58 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 18578 0 0 0 1218 40 0 0 25 0 3 0 910845125 156459008 18394 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 38198 18394 179 372 0 37823 0
[pid=30842/tid=30844] ppid=30840 vsize=152792 CPUtime=6.28 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 3061 0 0 0 621 7 0 0 25 0 3 0 910845126 156459008 18394 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=152792 CPUtime=6.29 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 15079 0 0 0 596 33 0 0 25 0 3 0 910845126 156459008 18394 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 152792
[startup+12.7003 s]
/proc/loadavg: 4.13 4.05 3.90 5/180 30845
/proc/meminfo: memFree=11673528/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=154852 CPUtime=25.38 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 22515 0 0 0 2484 54 0 0 25 0 3 0 910845125 158568448 22331 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 38713 22331 180 372 0 38338 0
[pid=30842/tid=30844] ppid=30840 vsize=154852 CPUtime=12.68 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 5287 0 0 0 1256 12 0 0 25 0 3 0 910845126 158568448 22331 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 6 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=154852 CPUtime=12.68 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 16791 0 0 0 1227 41 0 0 18 0 3 0 910845126 158568448 22332 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 154852
[startup+25.5062 s]
/proc/loadavg: 4.10 4.05 3.90 5/180 30846
/proc/meminfo: memFree=11622948/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=222576 CPUtime=50.99 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 32945 0 0 0 5010 89 0 0 25 0 3 0 910845125 227917824 32761 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 55644 32761 180 372 0 55269 0
[pid=30842/tid=30844] ppid=30840 vsize=222576 CPUtime=25.49 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 8820 0 0 0 2527 22 0 0 25 0 3 0 910845126 227917824 32761 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=222576 CPUtime=25.49 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 23687 0 0 0 2482 67 0 0 19 0 3 0 910845126 227917824 32761 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 222576
[startup+51.1007 s]
/proc/loadavg: 4.06 4.04 3.90 5/180 30847
/proc/meminfo: memFree=11538064/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=225396 CPUtime=102.18 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 50850 0 0 0 10067 151 0 0 25 0 3 0 910845125 230805504 50666 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 56349 50666 180 372 0 55974 0
[pid=30842/tid=30844] ppid=30840 vsize=225396 CPUtime=51.08 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 14284 0 0 0 5072 36 0 0 25 0 3 0 910845126 230805504 50666 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=225396 CPUtime=51.08 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 36128 0 0 0 4994 114 0 0 25 0 3 0 910845126 230805504 50666 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 225396
[startup+102.301 s]
/proc/loadavg: 4.10 4.05 3.91 5/180 30848
/proc/meminfo: memFree=11372504/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=427176 CPUtime=204.58 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 82934 0 0 0 20189 269 0 0 25 0 3 0 910845125 437428224 82694 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 106794 82694 180 372 0 106419 0
[pid=30842/tid=30844] ppid=30840 vsize=427176 CPUtime=102.28 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21554 0 0 0 10164 64 0 0 25 0 3 0 910845126 437428224 82694 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=427176 CPUtime=102.28 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 60942 0 0 0 10024 204 0 0 25 0 3 0 910845126 437428224 82694 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 427176
Solver just ended. Dumping a history of the last processes samples
[startup+102.507 s]
/proc/loadavg: 4.10 4.05 3.91 5/180 30848
/proc/meminfo: memFree=11371016/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=427176 CPUtime=204.99 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 82964 0 0 0 20230 269 0 0 25 0 3 0 910845125 437428224 82724 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 106794 82724 180 372 0 106419 0
[pid=30842/tid=30844] ppid=30840 vsize=427176 CPUtime=102.49 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21560 0 0 0 10185 64 0 0 25 0 3 0 910845126 437428224 82724 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=427176 CPUtime=102.49 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 60966 0 0 0 10045 204 0 0 25 0 3 0 910845126 437428224 82724 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.99
Current children cumulated vsize (KiB) 427176
[startup+115.301 s]
/proc/loadavg: 4.08 4.05 3.91 5/180 30849
/proc/meminfo: memFree=11356504/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=427700 CPUtime=230.57 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 84553 0 0 0 22775 282 0 0 25 0 3 0 910845125 437964800 84313 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 106925 84313 180 372 0 106550 0
[pid=30842/tid=30844] ppid=30840 vsize=427700 CPUtime=115.28 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21588 0 0 0 11457 71 0 0 25 0 3 0 910845126 437964800 84313 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=427700 CPUtime=115.28 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 62527 0 0 0 11317 211 0 0 25 0 3 0 910845126 437964800 84313 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 230.57
Current children cumulated vsize (KiB) 427700
[startup+128.1 s]
/proc/loadavg: 4.06 4.05 3.91 5/180 30849
/proc/meminfo: memFree=11338152/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428032 CPUtime=256.18 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 87807 0 0 0 25318 300 0 0 25 0 3 0 910845125 438304768 87567 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107008 87567 180 372 0 106633 0
[pid=30842/tid=30844] ppid=30840 vsize=428032 CPUtime=128.07 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21618 0 0 0 12732 75 0 0 25 0 3 0 910845126 438304768 87567 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428032 CPUtime=128.08 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 65751 0 0 0 12584 224 0 0 25 0 3 0 910845126 438304768 87567 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 256.18
Current children cumulated vsize (KiB) 428032
[startup+134.5 s]
/proc/loadavg: 4.05 4.04 3.91 5/180 30849
/proc/meminfo: memFree=11333932/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428032 CPUtime=268.97 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 89167 0 0 0 26587 310 0 0 25 0 3 0 910845125 438304768 88927 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107008 88927 180 372 0 106633 0
[pid=30842/tid=30844] ppid=30840 vsize=428032 CPUtime=134.47 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21626 0 0 0 13368 79 0 0 25 0 3 0 910845126 438304768 88927 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428032 CPUtime=134.48 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 67103 0 0 0 13218 230 0 0 25 0 3 0 910845126 438304768 88927 33554432000 4194304 5714118 140733478553600 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 268.97
Current children cumulated vsize (KiB) 428032
[startup+137.707 s]
/proc/loadavg: 4.05 4.04 3.91 5/180 30849
/proc/meminfo: memFree=11325996/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428244 CPUtime=275.38 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 89581 0 0 0 27225 313 0 0 25 0 3 0 910845125 438521856 89341 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107061 89341 180 372 0 106686 0
[pid=30842/tid=30844] ppid=30840 vsize=428244 CPUtime=137.68 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21636 0 0 0 13687 81 0 0 25 0 3 0 910845126 438521856 89341 33554432000 4194304 5714118 140733478553600 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428244 CPUtime=137.69 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 67507 0 0 0 13537 232 0 0 25 0 3 0 910845126 438521856 89341 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 275.38
Current children cumulated vsize (KiB) 428244
[startup+139.3 s]
/proc/loadavg: 4.05 4.04 3.91 5/180 30849
/proc/meminfo: memFree=11325252/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428244 CPUtime=278.57 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 89770 0 0 0 27543 314 0 0 25 0 3 0 910845125 438521856 89530 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107061 89530 180 372 0 106686 0
[pid=30842/tid=30844] ppid=30840 vsize=428244 CPUtime=139.27 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21640 0 0 0 13846 81 0 0 25 0 3 0 910845126 438521856 89530 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428244 CPUtime=139.28 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 67692 0 0 0 13696 232 0 0 25 0 3 0 910845126 438521856 89530 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 278.57
Current children cumulated vsize (KiB) 428244
[startup+139.7 s]
/proc/loadavg: 4.05 4.04 3.91 5/180 30849
/proc/meminfo: memFree=11325252/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428456 CPUtime=279.38 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 89851 0 0 0 27623 315 0 0 25 0 3 0 910845125 438738944 89611 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107114 89611 180 372 0 106739 0
[pid=30842/tid=30844] ppid=30840 vsize=428456 CPUtime=139.67 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21640 0 0 0 13886 81 0 0 25 0 3 0 910845126 438738944 89611 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428456 CPUtime=139.69 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 67773 0 0 0 13736 233 0 0 25 0 3 0 910845126 438738944 89611 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 279.38
Current children cumulated vsize (KiB) 428456
[startup+139.906 s]
/proc/loadavg: 4.05 4.04 3.91 5/180 30849
/proc/meminfo: memFree=11324508/32951132 swapFree=67054624/67111528
[pid=30842] ppid=30840 vsize=428456 CPUtime=279.79 cores=0,2,4,6
/proc/30842/stat : 30842 (pwbo1.1) S 30840 30842 29599 0 -1 4202496 89888 0 0 0 27664 315 0 0 25 0 3 0 910845125 438738944 89648 33554432000 4194304 5714118 140733478553600 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30842/statm: 107114 89648 180 372 0 106739 0
[pid=30842/tid=30844] ppid=30840 vsize=428456 CPUtime=139.88 cores=0,2,4,6
/proc/30842/task/30844/stat : 30844 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 21640 0 0 0 13907 81 0 0 25 0 3 0 910845126 438738944 89648 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319366 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30842/tid=30845] ppid=30840 vsize=428456 CPUtime=139.89 cores=0,2,4,6
/proc/30842/task/30845/stat : 30845 (pwbo1.1) R 30840 30842 29599 0 -1 4202560 67810 0 0 0 13756 233 0 0 25 0 3 0 910845126 438738944 89648 33554432000 4194304 5714118 140733478553600 18446744073709551615 4319915 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (KiB) 428456
Child status: 0
Real time (s): 139.955
CPU time (s): 279.847
CPU user time (s): 276.677
CPU system time (s): 3.17052
CPU usage (%): 199.956
Max. virtual memory (cumulated for all children) (KiB): 428456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.677
system time used= 3.17052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 1798
runsolver used 0.230964 second user time and 0.448931 second system time
The end