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-3725923-1338655132/watcher-3725923-1338655132 -o /tmp/evaluation-result-3725923-1338655132/solver-3725923-1338655132 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725923-1338655132.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.99 3.91 3/177 343
/proc/meminfo: memFree=28179804/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=4716 CPUtime=0 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) R 341 343 30509 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 331637597 4829184 295 33554432000 4194304 5964478 140736961568704 140736772667240 4352418 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/343/statm: 1179 295 160 433 0 579 0
[startup+0.045418 s]
/proc/loadavg: 4.00 3.99 3.91 3/177 343
/proc/meminfo: memFree=28179804/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=8284 CPUtime=0.04 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) R 341 343 30509 0 -1 4202496 1313 0 0 0 4 0 0 0 20 0 1 0 331637597 8482816 1265 33554432000 4194304 5964478 140736961568704 140736961567048 4336632 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/343/statm: 2071 1266 283 433 0 1471 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8284
[startup+0.100288 s]
/proc/loadavg: 4.00 3.99 3.91 3/177 343
/proc/meminfo: memFree=28179804/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=0.1 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 6715 0 0 0 8 2 0 0 20 0 3 0 331637597 175538176 6391 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 6391 200 433 0 42420 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 171424
[startup+0.300293 s]
/proc/loadavg: 4.00 3.99 3.91 3/177 343
/proc/meminfo: memFree=28179804/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=0.5 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 7229 0 0 0 48 2 0 0 20 0 3 0 331637597 175538176 6555 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 6555 201 433 0 42420 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 171424
[startup+0.700292 s]
/proc/loadavg: 4.00 3.99 3.91 3/177 343
/proc/meminfo: memFree=28179804/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=1.3 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 7945 0 0 0 128 2 0 0 20 0 3 0 331637597 175538176 6615 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 6590 201 433 0 42420 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 171424
[startup+1.50035 s]
/proc/loadavg: 4.00 3.99 3.91 5/180 346
/proc/meminfo: memFree=28153980/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=2.91 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 8539 0 0 0 287 4 0 0 20 0 3 0 331637597 175538176 6943 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 6943 201 433 0 42420 0
[pid=343/tid=345] ppid=341 vsize=171424 CPUtime=1.42 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 3407 0 0 0 139 3 0 0 20 0 3 0 331637603 175538176 6943 33554432000 4194304 5964478 140736961568704 140052913904072 5133731 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=171424 CPUtime=1.42 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 3062 0 0 0 140 2 0 0 20 0 3 0 331637603 175538176 6943 33554432000 4194304 5964478 140736961568704 140052903414120 4400519 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 171424
[startup+3.10035 s]
/proc/loadavg: 4.00 3.99 3.91 5/180 346
/proc/meminfo: memFree=28149376/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=6.1 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 11404 0 0 0 600 10 0 0 20 0 3 0 331637597 175538176 8809 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 8809 202 433 0 42420 0
[pid=343/tid=345] ppid=341 vsize=171424 CPUtime=3.02 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 5084 0 0 0 298 4 0 0 20 0 3 0 331637603 175538176 8809 33554432000 4194304 5964478 140736961568704 140052913903960 4445088 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=171424 CPUtime=3.02 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 4250 0 0 0 295 7 0 0 20 0 3 0 331637603 175538176 8809 33554432000 4194304 5964478 140736961568704 140052903414072 4399969 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 171424
[startup+6.30035 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 347
/proc/meminfo: memFree=28128412/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171424 CPUtime=12.49 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 17526 0 0 0 1228 21 0 0 20 0 3 0 331637597 175538176 12851 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42856 12851 202 433 0 42420 0
[pid=343/tid=345] ppid=341 vsize=171424 CPUtime=6.21 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 8372 0 0 0 616 5 0 0 20 0 3 0 331637603 175538176 12851 33554432000 4194304 5964478 140736961568704 140052913903608 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=171424 CPUtime=6.21 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 7084 0 0 0 604 17 0 0 20 0 3 0 331637603 175538176 12851 33554432000 4194304 5964478 140736961568704 140052903414120 4399946 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 171424
[startup+12.7004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 347
/proc/meminfo: memFree=28084588/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171908 CPUtime=25.29 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 25985 0 0 0 2492 37 0 0 20 0 3 0 331637597 176033792 21310 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42977 21310 202 433 0 42541 0
[pid=343/tid=345] ppid=341 vsize=171908 CPUtime=12.59 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 11839 0 0 0 1250 9 0 0 20 0 3 0 331637603 176033792 21311 33554432000 4194304 5964478 140736961568704 140052913903944 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=171908 CPUtime=12.59 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 12077 0 0 0 1231 28 0 0 20 0 3 0 331637603 176033792 21311 33554432000 4194304 5964478 140736961568704 140052903414072 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 171908
[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 347
/proc/meminfo: memFree=28050348/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=171908 CPUtime=50.89 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 30851 0 0 0 5049 40 0 0 20 0 3 0 331637597 176033792 26176 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 42977 26176 202 433 0 42541 0
[pid=343/tid=345] ppid=341 vsize=171908 CPUtime=25.36 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 12247 0 0 0 2527 9 0 0 20 0 3 0 331637603 176033792 26176 33554432000 4194304 5964478 140736961568704 140052913903608 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=171908 CPUtime=25.36 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 16534 0 0 0 2506 30 0 0 20 0 3 0 331637603 176033792 26176 33554432000 4194304 5964478 140736961568704 140052903414072 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 171908
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 347
/proc/meminfo: memFree=27963500/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=238440 CPUtime=102.08 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 43745 0 0 0 10153 55 0 0 20 0 3 0 331637597 244162560 39070 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 59610 39070 202 433 0 59174 0
[pid=343/tid=345] ppid=341 vsize=238440 CPUtime=50.89 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 17715 0 0 0 5077 12 0 0 20 0 3 0 331637603 244162560 39070 33554432000 4194304 5964478 140736961568704 140052913903416 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=238440 CPUtime=50.89 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 23960 0 0 0 5047 42 0 0 20 0 3 0 331637603 244162560 39070 33554432000 4194304 5964478 140736961568704 140052903413832 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 238440
[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 350
/proc/meminfo: memFree=27765508/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=370884 CPUtime=204.48 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 74366 0 0 0 20362 86 0 0 20 0 3 0 331637597 379785216 69691 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 92721 69691 202 433 0 92285 0
[pid=343/tid=345] ppid=341 vsize=370884 CPUtime=101.97 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 27051 0 0 0 10179 18 0 0 20 0 3 0 331637603 379785216 69691 33554432000 4194304 5964478 140736961568704 140052913903416 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=370884 CPUtime=101.97 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 45245 0 0 0 10128 69 0 0 20 0 3 0 331637603 379785216 69691 33554432000 4194304 5964478 140736961568704 140052903414072 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.48
Current children cumulated vsize (KiB) 370884
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 350
/proc/meminfo: memFree=27628648/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=435740 CPUtime=324.45 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 89906 0 0 0 32347 98 0 0 20 0 3 0 331637597 446197760 82995 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 108935 82995 202 433 0 108499 0
[pid=343/tid=345] ppid=341 vsize=435740 CPUtime=161.81 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 28806 0 0 0 16160 21 0 0 20 0 3 0 331637603 446197760 82995 33554432000 4194304 5964478 140736961568704 140052913904456 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=435740 CPUtime=161.81 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 59030 0 0 0 16101 80 0 0 20 0 3 0 331637603 446197760 82995 33554432000 4194304 5964478 140736961568704 140052903414072 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.45
Current children cumulated vsize (KiB) 435740
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 350
/proc/meminfo: memFree=27566304/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=435908 CPUtime=444.43 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 90022 0 0 0 44345 98 0 0 20 0 3 0 331637597 446369792 83057 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 108977 83057 202 433 0 108541 0
[pid=343/tid=345] ppid=341 vsize=435908 CPUtime=221.66 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 28862 0 0 0 22144 22 0 0 20 0 3 0 331637603 446369792 83057 33554432000 4194304 5964478 140736961568704 140052913904456 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=435908 CPUtime=221.66 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 59090 0 0 0 22085 81 0 0 20 0 3 0 331637603 446369792 83057 33554432000 4194304 5964478 140736961568704 140052903414104 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 435908
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 350
/proc/meminfo: memFree=27466704/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=436228 CPUtime=564.41 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 99304 0 0 0 56337 104 0 0 20 0 3 0 331637597 446697472 92339 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 109057 92339 202 433 0 108621 0
[pid=343/tid=345] ppid=341 vsize=436228 CPUtime=281.5 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 37201 0 0 0 28122 28 0 0 20 0 3 0 331637603 446697472 92339 33554432000 4194304 5964478 140736961568704 140052913903416 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=436228 CPUtime=281.5 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 60033 0 0 0 28067 83 0 0 20 0 3 0 331637603 446697472 92339 33554432000 4194304 5964478 140736961568704 140052903414072 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.41
Current children cumulated vsize (KiB) 436228
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 398
/proc/meminfo: memFree=28667672/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=502072 CPUtime=684.34 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 103564 0 0 0 68328 106 0 0 20 0 3 0 331637597 514121728 97032 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 125518 97032 202 433 0 125082 0
################
# More data... #
################
[pid=343/tid=346] ppid=341 vsize=502072 CPUtime=341.33 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 60126 0 0 0 34049 84 0 0 20 0 3 0 331637603 514121728 97032 33554432000 4194304 5964478 140736961568704 140052903413832 4399986 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 502072
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 398
/proc/meminfo: memFree=28537624/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=568328 CPUtime=804.27 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 135004 0 0 0 80299 128 0 0 20 0 3 0 331637597 581967872 128581 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 142082 128581 202 433 0 141646 0
[pid=343/tid=345] ppid=341 vsize=568328 CPUtime=401.15 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 51320 0 0 0 40075 40 0 0 20 0 3 0 331637603 581967872 128581 33554432000 4194304 5964478 140736961568704 140052913903608 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=568328 CPUtime=401.14 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 81614 0 0 0 40015 99 0 0 20 0 3 0 331637603 581967872 128581 33554432000 4194304 5964478 140736961568704 140052903414072 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 568328
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 398
/proc/meminfo: memFree=28396540/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=767032 CPUtime=924.19 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 166335 0 0 0 92268 151 0 0 20 0 3 0 331637597 785440768 159860 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 191758 159860 202 433 0 191322 0
[pid=343/tid=345] ppid=341 vsize=767032 CPUtime=460.99 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 58988 0 0 0 46053 46 0 0 20 0 3 0 331637603 785440768 159860 33554432000 4194304 5964478 140736961568704 140052913903416 4403406 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=767032 CPUtime=460.93 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 105277 0 0 0 45976 117 0 0 20 0 3 0 331637603 785440768 159860 33554432000 4194304 5964478 140736961568704 140052903414072 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.19
Current children cumulated vsize (KiB) 767032
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 398
/proc/meminfo: memFree=28293028/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=833532 CPUtime=1044.11 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 189591 0 0 0 104239 172 0 0 20 0 3 0 331637597 853536768 183074 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 208383 183074 202 433 0 207947 0
[pid=343/tid=345] ppid=341 vsize=833532 CPUtime=520.8 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 61634 0 0 0 52031 49 0 0 20 0 3 0 331637603 853536768 183074 33554432000 4194304 5964478 140736961568704 140052913903416 4400432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=833532 CPUtime=520.75 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 125887 0 0 0 51939 136 0 0 20 0 3 0 331637603 853536768 183074 33554432000 4194304 5964478 140736961568704 140052903414072 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.11
Current children cumulated vsize (KiB) 833532
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 398
/proc/meminfo: memFree=28213156/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=899208 CPUtime=1164.09 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 206208 0 0 0 116221 188 0 0 20 0 3 0 331637597 920788992 200697 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 224802 200697 202 433 0 224366 0
[pid=343/tid=345] ppid=341 vsize=899208 CPUtime=580.65 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 69651 0 0 0 58005 60 0 0 20 0 3 0 331637603 920788992 200697 33554432000 4194304 5964478 140736961568704 140052913903480 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=899208 CPUtime=580.6 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134487 0 0 0 57917 143 0 0 20 0 3 0 331637603 920788992 200697 33554432000 4194304 5964478 140736961568704 140052903414072 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.09
Current children cumulated vsize (KiB) 899208
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 399
/proc/meminfo: memFree=28171068/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=964900 CPUtime=1284.06 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 212503 0 0 0 128212 194 0 0 20 0 3 0 331637597 988057600 207080 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 241225 207080 202 433 0 240789 0
[pid=343/tid=345] ppid=341 vsize=964900 CPUtime=640.5 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 75911 0 0 0 63983 67 0 0 20 0 3 0 331637603 988057600 207080 33554432000 4194304 5964478 140736961568704 140052913903416 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=964900 CPUtime=640.44 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134522 0 0 0 63900 144 0 0 20 0 3 0 331637603 988057600 207080 33554432000 4194304 5964478 140736961568704 140052903413832 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.06
Current children cumulated vsize (KiB) 964900
[startup+702.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/182 402
/proc/meminfo: memFree=28159184/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=965180 CPUtime=1403.98 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 213224 0 0 0 140204 194 0 0 20 0 3 0 331637597 988344320 208347 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 241295 208347 202 433 0 240859 0
[pid=343/tid=345] ppid=341 vsize=965180 CPUtime=700.31 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 76546 0 0 0 69963 68 0 0 20 0 3 0 331637603 988344320 208347 33554432000 4194304 5964478 140736961568704 140052913903416 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=965180 CPUtime=700.25 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134608 0 0 0 69880 145 0 0 20 0 3 0 331637603 988344320 208347 33554432000 4194304 5964478 140736961568704 140052903413832 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.98
Current children cumulated vsize (KiB) 965180
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.91 5/181 402
/proc/meminfo: memFree=28141364/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=965312 CPUtime=1523.92 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 214592 0 0 0 152197 195 0 0 20 0 3 0 331637597 988479488 209831 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 241328 209831 202 433 0 240892 0
[pid=343/tid=345] ppid=341 vsize=965312 CPUtime=760.15 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 77814 0 0 0 75945 70 0 0 20 0 3 0 331637603 988479488 209831 33554432000 4194304 5964478 140736961568704 140052913903416 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=965312 CPUtime=760.06 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134708 0 0 0 75860 146 0 0 20 0 3 0 331637603 988479488 209831 33554432000 4194304 5964478 140736961568704 140052903414104 4400115 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.92
Current children cumulated vsize (KiB) 965312
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 402
/proc/meminfo: memFree=28105496/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=966120 CPUtime=1643.82 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 220889 0 0 0 164181 201 0 0 20 0 3 0 331637597 989306880 216081 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 241530 216081 202 433 0 241094 0
[pid=343/tid=345] ppid=341 vsize=966120 CPUtime=819.99 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 84061 0 0 0 81922 77 0 0 20 0 3 0 331637603 989306880 216081 33554432000 4194304 5964478 140736961568704 140052913903608 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=966120 CPUtime=819.85 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134758 0 0 0 81838 147 0 0 20 0 3 0 331637603 989306880 216081 33554432000 4194304 5964478 140736961568704 140052903414104 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.82
Current children cumulated vsize (KiB) 966120
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 402
/proc/meminfo: memFree=28063716/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=1031964 CPUtime=1763.78 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 229106 0 0 0 176164 214 0 0 20 0 3 0 331637597 1056731136 224354 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 257991 224354 202 433 0 257555 0
[pid=343/tid=345] ppid=341 vsize=1031964 CPUtime=879.83 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 92212 0 0 0 87892 91 0 0 20 0 3 0 331637603 1056731136 224354 33554432000 4194304 5964478 140736961568704 140052913903608 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=1031964 CPUtime=879.67 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134824 0 0 0 87819 148 0 0 20 0 3 0 331637603 1056731136 224354 33554432000 4194304 5964478 140736961568704 140052903413832 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 1031964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 402
/proc/meminfo: memFree=28062212/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=1031964 CPUtime=1800.17 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 229262 0 0 0 179803 214 0 0 20 0 3 0 331637597 1056731136 224566 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 257991 224566 202 433 0 257555 0
[pid=343/tid=345] ppid=341 vsize=1031964 CPUtime=897.98 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 92368 0 0 0 89707 91 0 0 20 0 3 0 331637603 1056731136 224566 33554432000 4194304 5964478 140736961568704 140052913903416 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=1031964 CPUtime=897.83 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134824 0 0 0 89635 148 0 0 20 0 3 0 331637603 1056731136 224566 33554432000 4194304 5964478 140736961568704 140052903413832 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1031964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 402
/proc/meminfo: memFree=28062212/32873844 swapFree=7644/7644
[pid=343] ppid=341 vsize=1031964 CPUtime=1800.17 cores=0,2,4,6
/proc/343/stat : 343 (pwbo2.02) S 341 343 30509 0 -1 4202496 229262 0 0 0 179803 214 0 0 20 0 3 0 331637597 1056731136 224566 33554432000 4194304 5964478 140736961568704 140736961568224 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/343/statm: 257991 224566 202 433 0 257555 0
[pid=343/tid=345] ppid=341 vsize=1031964 CPUtime=897.98 cores=0,2,4,6
/proc/343/task/345/stat : 345 (pwbo2.02) R 341 343 30509 0 -1 4202560 92368 0 0 0 89707 91 0 0 20 0 3 0 331637603 1056731136 224566 33554432000 4194304 5964478 140736961568704 140052913903416 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=343/tid=346] ppid=341 vsize=1031964 CPUtime=897.83 cores=0,2,4,6
/proc/343/task/346/stat : 346 (pwbo2.02) R 341 343 30509 0 -1 4202560 134824 0 0 0 89635 148 0 0 20 0 3 0 331637603 1056731136 224566 33554432000 4194304 5964478 140736961568704 140052903413832 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1031964
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 343 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=491347
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=432630
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.523
CPU time (s): 1800.17
CPU user time (s): 1798.03
CPU system time (s): 2.14
CPU usage (%): 199.903
Max. virtual memory (cumulated for all children) (KiB): 1031964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.49
system time used= 2.43263
maximum resident set size= 898268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229263
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= 1067
involuntary context switches= 1993
runsolver used 1.92271 second user time and 4.85426 second system time
The end