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 /var/tmp/evaluation-result-3500368-1307994480/watcher-3500368-1307994480 -o /var/tmp/evaluation-result-3500368-1307994480/solver-3500368-1307994480 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500368-1307994480.opb
running on 4 cores: 1,3,5,7
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.99 3.91 4/176 6248
/proc/meminfo: memFree=12633004/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=2572 CPUtime=0 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) R 6246 6248 4694 0 -1 4202496 380 0 0 0 0 0 0 0 25 0 1 0 989678471 2633728 333 33554432000 4194304 5714118 140733526098016 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/6248/statm: 643 334 161 372 0 217 0
[startup+0.100875 s]
/proc/loadavg: 4.00 3.99 3.91 4/176 6248
/proc/meminfo: memFree=12633004/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=137752 CPUtime=0.17 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 2183 0 0 0 17 0 0 0 25 0 3 0 989678471 141058048 2085 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34438 2085 179 372 0 34063 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 137752
[startup+0.200875 s]
/proc/loadavg: 4.00 3.99 3.91 4/176 6248
/proc/meminfo: memFree=12633004/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139304 CPUtime=0.37 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 3071 0 0 0 36 1 0 0 25 0 3 0 989678471 142647296 2970 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34826 2970 179 372 0 34451 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 139304
[startup+0.300837 s]
/proc/loadavg: 4.00 3.99 3.91 4/176 6248
/proc/meminfo: memFree=12633004/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139304 CPUtime=0.57 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 3091 0 0 0 56 1 0 0 25 0 3 0 989678471 142647296 2990 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34826 2990 179 372 0 34451 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 139304
[startup+0.700761 s]
/proc/loadavg: 4.00 3.99 3.91 4/176 6248
/proc/meminfo: memFree=12633004/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139304 CPUtime=1.37 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 3330 0 0 0 135 2 0 0 25 0 3 0 989678471 142647296 3229 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34826 3229 179 372 0 34451 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 139304
[startup+1.50061 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12620384/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139304 CPUtime=2.97 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 3552 0 0 0 294 3 0 0 25 0 3 0 989678471 142647296 3451 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34826 3451 179 372 0 34451 0
[pid=6248/tid=6250] ppid=6246 vsize=139304 CPUtime=1.47 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1260 0 0 0 146 1 0 0 20 0 3 0 989678473 142647296 3451 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139304 CPUtime=1.46 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1172 0 0 0 145 1 0 0 25 0 3 0 989678473 142647296 3451 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 139304
[startup+3.10031 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12617904/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139304 CPUtime=6.17 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 3907 0 0 0 612 5 0 0 25 0 3 0 989678471 142647296 3806 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34826 3806 179 372 0 34451 0
[pid=6248/tid=6250] ppid=6246 vsize=139304 CPUtime=3.07 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1513 0 0 0 305 2 0 0 25 0 3 0 989678473 142647296 3806 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139304 CPUtime=3.06 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1274 0 0 0 304 2 0 0 25 0 3 0 989678473 142647296 3806 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 139304
[startup+6.30072 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12614400/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139448 CPUtime=12.57 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 4830 0 0 0 1247 10 0 0 25 0 3 0 989678471 142794752 4729 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34862 4729 179 372 0 34487 0
[pid=6248/tid=6250] ppid=6246 vsize=139448 CPUtime=6.27 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2072 0 0 0 623 4 0 0 25 0 3 0 989678473 142794752 4729 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139448 CPUtime=6.27 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1638 0 0 0 622 5 0 0 25 0 3 0 989678473 142794752 4729 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 139448
[startup+12.7005 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12611064/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139448 CPUtime=25.37 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 5475 0 0 0 2514 23 0 0 25 0 3 0 989678471 142794752 5374 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34862 5374 179 372 0 34487 0
[pid=6248/tid=6250] ppid=6246 vsize=139448 CPUtime=12.67 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2545 0 0 0 1256 11 0 0 25 0 3 0 989678473 142794752 5374 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139448 CPUtime=12.67 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 1810 0 0 0 1256 11 0 0 25 0 3 0 989678473 142794752 5374 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 139448
[startup+25.5011 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12597048/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139520 CPUtime=50.97 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 7418 0 0 0 5057 40 0 0 25 0 3 0 989678471 142868480 7317 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34880 7317 180 372 0 34505 0
[pid=6248/tid=6250] ppid=6246 vsize=139520 CPUtime=25.47 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 4165 0 0 0 2527 20 0 0 25 0 3 0 989678473 142868480 7317 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139520 CPUtime=25.47 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2133 0 0 0 2528 19 0 0 25 0 3 0 989678473 142868480 7317 33554432000 4194304 5714118 140733526098016 18446744073709551615 4322743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 139520
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6252
/proc/meminfo: memFree=12589316/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139520 CPUtime=102.16 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 7931 0 0 0 10142 74 0 0 25 0 3 0 989678471 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34880 7830 180 372 0 34505 0
[pid=6248/tid=6250] ppid=6246 vsize=139520 CPUtime=51.06 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 4176 0 0 0 5068 38 0 0 25 0 3 0 989678473 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 4323026 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139520 CPUtime=51.07 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2635 0 0 0 5072 35 0 0 25 0 3 0 989678473 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 139520
Solver just ended. Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6252
/proc/meminfo: memFree=12589316/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139520 CPUtime=102.36 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 7931 0 0 0 10162 74 0 0 25 0 3 0 989678471 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34880 7830 180 372 0 34505 0
[pid=6248/tid=6250] ppid=6246 vsize=139520 CPUtime=51.16 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 4176 0 0 0 5078 38 0 0 25 0 3 0 989678473 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139520 CPUtime=51.17 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2635 0 0 0 5082 35 0 0 25 0 3 0 989678473 142868480 7830 33554432000 4194304 5714118 140733526098016 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 139520
[startup+64.001 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6252
/proc/meminfo: memFree=12588184/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139520 CPUtime=127.97 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 8067 0 0 0 12708 89 0 0 25 0 3 0 989678471 142868480 7966 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34880 7966 180 372 0 34505 0
[pid=6248/tid=6250] ppid=6246 vsize=139520 CPUtime=63.97 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 4176 0 0 0 6351 46 0 0 25 0 3 0 989678473 142868480 7966 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139520 CPUtime=63.97 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2771 0 0 0 6355 42 0 0 25 0 3 0 989678473 142868480 7966 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 127.97
Current children cumulated vsize (KiB) 139520
[startup+70.4008 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12585204/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=140.77 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 8806 0 0 0 13981 96 0 0 25 0 3 0 989678471 142979072 8705 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 8705 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=70.37 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 4764 0 0 0 6987 50 0 0 25 0 3 0 989678473 142979072 8705 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=70.38 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2922 0 0 0 6992 46 0 0 25 0 3 0 989678473 142979072 8705 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 140.77
Current children cumulated vsize (KiB) 139628
[startup+73.6012 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12584088/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=147.17 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9150 0 0 0 14617 100 0 0 25 0 3 0 989678471 142979072 9049 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9049 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=73.57 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5083 0 0 0 7305 52 0 0 25 0 3 0 989678473 142979072 9049 33554432000 4194304 5714118 140733526098016 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=73.57 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2947 0 0 0 7310 47 0 0 25 0 3 0 989678473 142979072 9049 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 147.17
Current children cumulated vsize (KiB) 139628
[startup+75.2009 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12583468/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=150.37 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9422 0 0 0 14936 101 0 0 25 0 3 0 989678471 142979072 9321 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9322 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=75.17 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5310 0 0 0 7465 52 0 0 25 0 3 0 989678473 142979072 9322 33554432000 4194304 5714118 140733526098016 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=75.17 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2993 0 0 0 7469 48 0 0 25 0 3 0 989678473 142979072 9322 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 150.37
Current children cumulated vsize (KiB) 139628
[startup+76.0067 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12580368/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=151.98 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9940 0 0 0 15096 102 0 0 25 0 3 0 989678471 142979072 9839 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9839 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=75.98 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5825 0 0 0 7545 53 0 0 25 0 3 0 989678473 142979072 9839 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=75.97 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2995 0 0 0 7549 48 0 0 25 0 3 0 989678473 142979072 9839 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 139628
[startup+76.4007 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12580368/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=152.77 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9941 0 0 0 15175 102 0 0 25 0 3 0 989678471 142979072 9840 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9840 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=76.37 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5825 0 0 0 7584 53 0 0 25 0 3 0 989678473 142979072 9840 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=76.37 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2996 0 0 0 7589 48 0 0 25 0 3 0 989678473 142979072 9840 33554432000 4194304 5714118 140733526098016 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 152.77
Current children cumulated vsize (KiB) 139628
[startup+76.8006 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12580368/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=153.57 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9942 0 0 0 15254 103 0 0 25 0 3 0 989678471 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9841 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=76.77 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5825 0 0 0 7624 53 0 0 25 0 3 0 989678473 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=76.77 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2997 0 0 0 7628 49 0 0 25 0 3 0 989678473 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.57
Current children cumulated vsize (KiB) 139628
[startup+76.9006 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6253
/proc/meminfo: memFree=12580368/32951124 swapFree=67062556/67111528
[pid=6248] ppid=6246 vsize=139628 CPUtime=153.77 cores=1,3,5,7
/proc/6248/stat : 6248 (pwbo1.1) S 6246 6248 4694 0 -1 4202496 9942 0 0 0 15274 103 0 0 25 0 3 0 989678471 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/6248/statm: 34907 9841 180 372 0 34532 0
[pid=6248/tid=6250] ppid=6246 vsize=139628 CPUtime=76.87 cores=1,3,5,7
/proc/6248/task/6250/stat : 6250 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 5825 0 0 0 7634 53 0 0 25 0 3 0 989678473 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=6248/tid=6251] ppid=6246 vsize=139628 CPUtime=76.87 cores=1,3,5,7
/proc/6248/task/6251/stat : 6251 (pwbo1.1) R 6246 6248 4694 0 -1 4202560 2997 0 0 0 7638 49 0 0 25 0 3 0 989678473 142979072 9841 33554432000 4194304 5714118 140733526098016 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.77
Current children cumulated vsize (KiB) 139628
Child status: 0
Real time (s): 76.947
CPU time (s): 153.868
CPU user time (s): 152.83
CPU system time (s): 1.03784
CPU usage (%): 199.966
Max. virtual memory (cumulated for all children) (KiB): 139628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.83
system time used= 1.03784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9947
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= 21
involuntary context switches= 267
runsolver used 0.101984 second user time and 0.267959 second system time
The end