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-3703467-1338085992/watcher-3703467-1338085992 -o /tmp/evaluation-result-3703467-1338085992/solver-3703467-1338085992 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703467-1338085992.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.00 3.97 3.68 3/180 16474
/proc/meminfo: memFree=29989252/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=162504 CPUtime=0 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 880 0 0 0 0 0 0 0 20 0 3 0 274723998 166404096 829 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40626 829 204 433 0 40190 0
[pid=16474/tid=16475] ppid=16472 vsize=162504 CPUtime=0 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 3 0 274723998 166404096 829 33554432000 4194304 5965102 140735883113984 140736387082760 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=162504 CPUtime=0 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 3 0 274723998 166404096 829 33554432000 4194304 5965102 140735883113984 140736387082760 4404330 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[startup+0.0957829 s]
/proc/loadavg: 4.00 3.97 3.68 3/180 16474
/proc/meminfo: memFree=29989252/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=162504 CPUtime=0.18 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 1247 0 0 0 18 0 0 0 20 0 3 0 274723998 166404096 1196 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40626 1196 206 433 0 40190 0
[pid=16474/tid=16475] ppid=16472 vsize=162504 CPUtime=0.08 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 261 0 0 0 8 0 0 0 20 0 3 0 274723998 166404096 1196 33554432000 4194304 5965102 140735883113984 140717277415224 5139838 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=162504 CPUtime=0.08 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 236 0 0 0 8 0 0 0 20 0 3 0 274723998 166404096 1196 33554432000 4194304 5965102 140735883113984 140717266925880 4401146 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162504
[startup+0.100281 s]
/proc/loadavg: 4.00 3.97 3.68 3/180 16474
/proc/meminfo: memFree=29989252/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=162504 CPUtime=0.19 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 1265 0 0 0 19 0 0 0 20 0 3 0 274723998 166404096 1214 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40626 1214 206 433 0 40190 0
[pid=16474/tid=16475] ppid=16472 vsize=162504 CPUtime=0.08 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 273 0 0 0 8 0 0 0 20 0 3 0 274723998 166404096 1214 33554432000 4194304 5965102 140735883113984 140717277415224 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=162504 CPUtime=0.08 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 242 0 0 0 8 0 0 0 20 0 3 0 274723998 166404096 1214 33554432000 4194304 5965102 140735883113984 140717266925880 4400966 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162504
[startup+0.300239 s]
/proc/loadavg: 4.00 3.97 3.68 3/180 16474
/proc/meminfo: memFree=29989252/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=162504 CPUtime=0.59 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 1928 0 0 0 59 0 0 0 20 0 3 0 274723998 166404096 1877 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40626 1877 206 433 0 40190 0
[pid=16474/tid=16475] ppid=16472 vsize=162504 CPUtime=0.28 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 677 0 0 0 28 0 0 0 20 0 3 0 274723998 166404096 1877 33554432000 4194304 5965102 140735883113984 140717277415224 4389892 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=162504 CPUtime=0.28 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 501 0 0 0 28 0 0 0 20 0 3 0 274723998 166404096 1877 33554432000 4194304 5965102 140735883113984 140717266925880 4401800 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 162504
[startup+0.700235 s]
/proc/loadavg: 4.00 3.97 3.68 3/180 16474
/proc/meminfo: memFree=29989252/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=162636 CPUtime=1.38 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 2524 0 0 0 138 0 0 0 20 0 3 0 274723998 166539264 2473 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40659 2473 206 433 0 40223 0
[pid=16474/tid=16475] ppid=16472 vsize=162636 CPUtime=0.68 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 881 0 0 0 68 0 0 0 20 0 3 0 274723998 166539264 2473 33554432000 4194304 5965102 140735883113984 140717277415224 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=162636 CPUtime=0.68 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 893 0 0 0 68 0 0 0 20 0 3 0 274723998 166539264 2473 33554432000 4194304 5965102 140735883113984 140717266925880 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162636
[startup+1.50024 s]
/proc/loadavg: 4.00 3.97 3.68 5/183 16477
/proc/meminfo: memFree=29979284/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=163064 CPUtime=2.99 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 3168 0 0 0 298 1 0 0 20 0 3 0 274723998 166977536 3117 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40766 3118 206 433 0 40330 0
[pid=16474/tid=16475] ppid=16472 vsize=163064 CPUtime=1.48 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 1328 0 0 0 148 0 0 0 20 0 3 0 274723998 166977536 3118 33554432000 4194304 5965102 140735883113984 140717277415464 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=163064 CPUtime=1.48 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 1091 0 0 0 148 0 0 0 20 0 3 0 274723998 166977536 3118 33554432000 4194304 5965102 140735883113984 140717266925880 4400992 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 163064
[startup+3.10028 s]
/proc/loadavg: 4.00 3.97 3.68 5/183 16477
/proc/meminfo: memFree=29974852/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=163344 CPUtime=6.18 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 4617 0 0 0 616 2 0 0 20 0 3 0 274723998 167264256 4566 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40836 4567 206 433 0 40400 0
[pid=16474/tid=16475] ppid=16472 vsize=163344 CPUtime=3.08 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 2387 0 0 0 307 1 0 0 20 0 3 0 274723998 167264256 4567 33554432000 4194304 5965102 140735883113984 140717277415464 5137146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=163344 CPUtime=3.08 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 1481 0 0 0 307 1 0 0 20 0 3 0 274723998 167264256 4567 33554432000 4194304 5965102 140735883113984 140717266925880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163344
[startup+6.30032 s]
/proc/loadavg: 4.00 3.97 3.68 5/183 16477
/proc/meminfo: memFree=29961460/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=163892 CPUtime=12.58 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 7272 0 0 0 1255 3 0 0 20 0 3 0 274723998 167825408 7221 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 40973 7221 206 433 0 40537 0
[pid=16474/tid=16475] ppid=16472 vsize=163892 CPUtime=6.28 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 3992 0 0 0 626 2 0 0 20 0 3 0 274723998 167825408 7221 33554432000 4194304 5965102 140735883113984 140717277415464 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=163892 CPUtime=6.28 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 2530 0 0 0 626 2 0 0 20 0 3 0 274723998 167825408 7221 33554432000 4194304 5965102 140735883113984 140717266925928 4401603 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 163892
[startup+12.7003 s]
/proc/loadavg: 4.00 3.97 3.68 5/183 16477
/proc/meminfo: memFree=29947464/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=164532 CPUtime=25.38 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 10112 0 0 0 2534 4 0 0 20 0 3 0 274723998 168480768 10061 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 41133 10061 206 433 0 40697 0
[pid=16474/tid=16475] ppid=16472 vsize=164532 CPUtime=12.69 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 5649 0 0 0 1266 3 0 0 20 0 3 0 274723998 168480768 10061 33554432000 4194304 5965102 140735883113984 140717277415464 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=164532 CPUtime=12.68 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 3713 0 0 0 1266 2 0 0 20 0 3 0 274723998 168480768 10061 33554432000 4194304 5965102 140735883113984 140717266925640 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 164532
[startup+25.5003 s]
/proc/loadavg: 4.00 3.97 3.69 5/183 16477
/proc/meminfo: memFree=29925792/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=164864 CPUtime=50.97 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 14353 0 0 0 5089 8 0 0 20 0 3 0 274723998 168820736 14302 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 41216 14302 206 433 0 40780 0
[pid=16474/tid=16475] ppid=16472 vsize=164864 CPUtime=25.49 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 8522 0 0 0 2543 6 0 0 20 0 3 0 274723998 168820736 14302 33554432000 4194304 5965102 140735883113984 140717277415416 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=164864 CPUtime=25.48 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 5081 0 0 0 2544 4 0 0 20 0 3 0 274723998 168820736 14302 33554432000 4194304 5965102 140735883113984 140717266925880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164864
[startup+51.1003 s]
/proc/loadavg: 4.00 3.97 3.70 5/183 16477
/proc/meminfo: memFree=29873808/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=166972 CPUtime=102.16 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 20876 0 0 0 10202 14 0 0 20 0 3 0 274723998 170979328 20952 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 41743 20952 206 433 0 41307 0
[pid=16474/tid=16475] ppid=16472 vsize=166972 CPUtime=51.07 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 13589 0 0 0 5097 10 0 0 20 0 3 0 274723998 170979328 20952 33554432000 4194304 5965102 140735883113984 140717277415224 4380288 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=166972 CPUtime=51.08 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 6537 0 0 0 5103 5 0 0 20 0 3 0 274723998 170979328 20952 33554432000 4194304 5965102 140735883113984 140717266925640 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 166972
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 4.00 3.97 3.70 5/183 16477
/proc/meminfo: memFree=29826160/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=231600 CPUtime=153.33 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 29410 0 0 0 15313 20 0 0 20 0 3 0 274723998 237158400 29112 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 57900 29112 206 433 0 57464 0
[pid=16474/tid=16475] ppid=16472 vsize=231600 CPUtime=76.66 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19458 0 0 0 7651 15 0 0 20 0 3 0 274723998 237158400 29112 33554432000 4194304 5965102 140735883113984 140717277416376 4220678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=231600 CPUtime=76.68 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 9202 0 0 0 7659 9 0 0 20 0 3 0 274723998 237158400 29112 33554432000 4194304 5965102 140735883113984 140717266925880 4380048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 153.33
Current children cumulated vsize (KiB) 231600
[startup+89.5003 s]
/proc/loadavg: 4.00 3.97 3.71 5/183 16477
/proc/meminfo: memFree=29816148/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232024 CPUtime=178.91 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 29527 0 0 0 17871 20 0 0 20 0 3 0 274723998 237592576 29246 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58006 29246 206 433 0 57570 0
[pid=16474/tid=16475] ppid=16472 vsize=232024 CPUtime=89.45 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 8930 15 0 0 20 0 3 0 274723998 237592576 29246 33554432000 4194304 5965102 140735883113984 140717277416376 4389813 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232024 CPUtime=89.47 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 9311 0 0 0 8938 9 0 0 20 0 3 0 274723998 237592576 29246 33554432000 4194304 5965102 140735883113984 140717266925640 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 178.91
Current children cumulated vsize (KiB) 232024
[startup+95.9003 s]
/proc/loadavg: 4.00 3.97 3.71 5/183 16477
/proc/meminfo: memFree=29811188/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232216 CPUtime=191.71 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 30184 0 0 0 19150 21 0 0 20 0 3 0 274723998 237789184 29903 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58054 29903 206 433 0 57618 0
[pid=16474/tid=16475] ppid=16472 vsize=232216 CPUtime=95.85 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 9570 15 0 0 20 0 3 0 274723998 237789184 29903 33554432000 4194304 5965102 140735883113984 140717277416376 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232216 CPUtime=95.87 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 9968 0 0 0 9578 9 0 0 20 0 3 0 274723998 237789184 29903 33554432000 4194304 5965102 140735883113984 140717266925880 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 191.71
Current children cumulated vsize (KiB) 232216
[startup+99.1003 s]
/proc/loadavg: 4.00 3.97 3.71 5/183 16477
/proc/meminfo: memFree=29809932/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232356 CPUtime=198.1 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 30384 0 0 0 19789 21 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58089 30104 206 433 0 57653 0
[pid=16474/tid=16475] ppid=16472 vsize=232356 CPUtime=99.05 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 9890 15 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717277416376 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232356 CPUtime=99.06 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 10168 0 0 0 9896 10 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717266925880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 198.1
Current children cumulated vsize (KiB) 232356
[startup+100.7 s]
/proc/loadavg: 4.00 3.97 3.71 5/183 16477
/proc/meminfo: memFree=29809932/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232356 CPUtime=201.3 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 30384 0 0 0 20109 21 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58089 30104 206 433 0 57653 0
[pid=16474/tid=16475] ppid=16472 vsize=232356 CPUtime=100.65 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 10050 15 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717277416376 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232356 CPUtime=100.66 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 10168 0 0 0 10056 10 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717266925880 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.3
Current children cumulated vsize (KiB) 232356
[startup+101.1 s]
/proc/loadavg: 4.00 3.97 3.71 5/182 16477
/proc/meminfo: memFree=29809932/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232356 CPUtime=202.11 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 30384 0 0 0 20190 21 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58089 30104 206 433 0 57653 0
[pid=16474/tid=16475] ppid=16472 vsize=232356 CPUtime=101.06 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 10091 15 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717277416376 4401472 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232356 CPUtime=101.07 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 10168 0 0 0 10097 10 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717266925880 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 202.11
Current children cumulated vsize (KiB) 232356
[startup+101.5 s]
/proc/loadavg: 4.00 3.97 3.71 5/182 16477
/proc/meminfo: memFree=29809932/32873844 swapFree=7372/7372
[pid=16474] ppid=16472 vsize=232356 CPUtime=202.9 cores=0,2,4,6
/proc/16474/stat : 16474 (pwbo2.0) S 16472 16474 15889 0 -1 4202496 30384 0 0 0 20269 21 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140735883113504 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16474/statm: 58089 30104 206 433 0 57653 0
[pid=16474/tid=16475] ppid=16472 vsize=232356 CPUtime=101.45 cores=0,2,4,6
/proc/16474/task/16475/stat : 16475 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 19466 0 0 0 10130 15 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717277416376 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=16474/tid=16476] ppid=16472 vsize=232356 CPUtime=101.46 cores=0,2,4,6
/proc/16474/task/16476/stat : 16476 (pwbo2.0) R 16472 16474 15889 0 -1 4202560 10168 0 0 0 10136 10 0 0 20 0 3 0 274723998 237932544 30104 33554432000 4194304 5965102 140735883113984 140717266925880 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 202.9
Current children cumulated vsize (KiB) 232356
Child status: 255
Real time (s): 101.544
CPU time (s): 203.024
CPU user time (s): 202.75
CPU system time (s): 0.273958
CPU usage (%): 199.937
Max. virtual memory (cumulated for all children) (KiB): 233436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.75
system time used= 0.273958
maximum resident set size= 120440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30390
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= 66
involuntary context switches= 231
runsolver used 0.158975 second user time and 0.52492 second system time
The end