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-3500481-1307995977/watcher-3500481-1307995977 -o /tmp/evaluation-result-3500481-1307995977/solver-3500481-1307995977 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500481-1307995977.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: 3.81 3.82 3.85 4/179 15514
/proc/meminfo: memFree=31863532/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) R 15512 15514 14247 0 -1 4202496 375 0 0 0 0 0 0 0 25 0 1 0 911200514 3174400 328 33554432000 4194304 5714118 140735471268336 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15514/statm: 775 329 161 372 0 217 0
[startup+0.0398529 s]
/proc/loadavg: 3.81 3.82 3.85 4/179 15514
/proc/meminfo: memFree=31863532/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=8264 CPUtime=0.03 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) R 15512 15514 14247 0 -1 4202496 1759 0 0 0 3 0 0 0 25 0 1 0 911200514 8462336 1712 33554432000 4194304 5714118 140735471268336 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/15514/statm: 2066 1713 253 372 0 1508 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8264
[startup+0.10687 s]
/proc/loadavg: 3.81 3.82 3.85 4/179 15514
/proc/meminfo: memFree=31863532/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=145848 CPUtime=0.13 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 4856 0 0 0 13 0 0 0 18 0 3 0 911200514 149348352 4626 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 36462 4626 180 372 0 36087 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 145848
[startup+0.300817 s]
/proc/loadavg: 3.81 3.82 3.85 4/179 15514
/proc/meminfo: memFree=31863532/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=145848 CPUtime=0.51 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 4891 0 0 0 51 0 0 0 18 0 3 0 911200514 149348352 4661 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 36462 4661 181 372 0 36087 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 145848
[startup+0.700742 s]
/proc/loadavg: 3.81 3.82 3.85 4/179 15514
/proc/meminfo: memFree=31863532/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=145848 CPUtime=1.32 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 4991 0 0 0 131 1 0 0 18 0 3 0 911200514 149348352 4761 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 36462 4761 181 372 0 36087 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 145848
[startup+1.50061 s]
/proc/loadavg: 3.81 3.82 3.85 5/182 15517
/proc/meminfo: memFree=31844556/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=145848 CPUtime=2.92 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 5193 0 0 0 291 1 0 0 18 0 3 0 911200514 149348352 4963 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 36462 4963 181 372 0 36087 0
[pid=15514/tid=15516] ppid=15512 vsize=145848 CPUtime=1.42 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 1671 0 0 0 142 0 0 0 20 0 3 0 911200521 149348352 4963 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=145848 CPUtime=1.42 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 242 0 0 0 142 0 0 0 20 0 3 0 911200521 149348352 4963 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 145848
[startup+3.10032 s]
/proc/loadavg: 3.81 3.82 3.85 5/182 15517
/proc/meminfo: memFree=31841208/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=145848 CPUtime=6.12 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 5620 0 0 0 610 2 0 0 18 0 3 0 911200514 149348352 5390 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 36462 5390 181 372 0 36087 0
[pid=15514/tid=15516] ppid=15512 vsize=145848 CPUtime=3.01 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 1930 0 0 0 301 0 0 0 25 0 3 0 911200521 149348352 5390 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=145848 CPUtime=3.02 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 410 0 0 0 301 1 0 0 25 0 3 0 911200521 149348352 5390 33554432000 4194304 5714118 140735471268336 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 145848
[startup+6.30073 s]
/proc/loadavg: 3.83 3.82 3.85 5/182 15517
/proc/meminfo: memFree=31827720/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=149432 CPUtime=12.52 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 8202 0 0 0 1247 5 0 0 18 0 3 0 911200514 153018368 7957 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37358 7957 181 372 0 36983 0
[pid=15514/tid=15516] ppid=15512 vsize=149432 CPUtime=6.22 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 2389 0 0 0 621 1 0 0 25 0 3 0 911200521 153018368 7957 33554432000 4194304 5714118 140735471268336 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=149432 CPUtime=6.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 2533 0 0 0 619 3 0 0 25 0 3 0 911200521 153018368 7957 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 149432
[startup+12.7006 s]
/proc/loadavg: 3.92 3.84 3.86 5/182 15517
/proc/meminfo: memFree=31813728/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=149792 CPUtime=25.31 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 10112 0 0 0 2522 9 0 0 18 0 3 0 911200514 153387008 9867 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37448 9867 181 372 0 37073 0
[pid=15514/tid=15516] ppid=15512 vsize=149792 CPUtime=12.62 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 2842 0 0 0 1259 3 0 0 25 0 3 0 911200521 153387008 9867 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=149792 CPUtime=12.62 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 3990 0 0 0 1256 6 0 0 25 0 3 0 911200521 153387008 9867 33554432000 4194304 5714118 140735471268336 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 149792
[startup+25.5003 s]
/proc/loadavg: 3.94 3.85 3.86 5/182 15518
/proc/meminfo: memFree=31790884/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=149900 CPUtime=50.92 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 11817 0 0 0 5074 18 0 0 18 0 3 0 911200514 153497600 11572 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37475 11573 182 372 0 37100 0
[pid=15514/tid=15516] ppid=15512 vsize=149900 CPUtime=25.41 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 3454 0 0 0 2536 5 0 0 25 0 3 0 911200521 153497600 11573 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=149900 CPUtime=25.41 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 5084 0 0 0 2530 11 0 0 25 0 3 0 911200521 153497600 11573 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 149900
[startup+51.1008 s]
/proc/loadavg: 3.96 3.86 3.86 5/182 15518
/proc/meminfo: memFree=31755192/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=150372 CPUtime=102.11 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 14711 0 0 0 10181 30 0 0 18 0 3 0 911200514 153980928 14466 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37593 14466 182 372 0 37218 0
[pid=15514/tid=15516] ppid=15512 vsize=150372 CPUtime=51.02 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 4833 0 0 0 5091 11 0 0 25 0 3 0 911200521 153980928 14466 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=150372 CPUtime=51.01 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 6598 0 0 0 5083 18 0 0 25 0 3 0 911200521 153980928 14466 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 150372
[startup+102.307 s]
/proc/loadavg: 3.98 3.88 3.87 5/182 15520
/proc/meminfo: memFree=31694400/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=150516 CPUtime=204.53 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 17869 0 0 0 20404 49 0 0 18 0 3 0 911200514 154128384 17624 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37629 17624 182 372 0 37254 0
[pid=15514/tid=15516] ppid=15512 vsize=150516 CPUtime=102.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 7002 0 0 0 10203 20 0 0 25 0 3 0 911200521 154128384 17624 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=150516 CPUtime=102.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 7587 0 0 0 10194 28 0 0 25 0 3 0 911200521 154128384 17624 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 150516
[startup+162.301 s]
/proc/loadavg: 3.99 3.90 3.87 5/182 15521
/proc/meminfo: memFree=31630208/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=150516 CPUtime=324.52 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 20427 0 0 0 32384 68 0 0 18 0 3 0 911200514 154128384 20182 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37629 20182 182 372 0 37254 0
[pid=15514/tid=15516] ppid=15512 vsize=150516 CPUtime=162.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 9554 0 0 0 16193 30 0 0 25 0 3 0 911200521 154128384 20182 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=150516 CPUtime=162.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 7593 0 0 0 16185 37 0 0 25 0 3 0 911200521 154128384 20182 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 150516
[startup+222.3 s]
/proc/loadavg: 3.99 3.91 3.88 5/182 15523
/proc/meminfo: memFree=31566424/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=150624 CPUtime=444.52 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 23144 0 0 0 44366 86 0 0 18 0 3 0 911200514 154238976 22899 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37656 22899 182 372 0 37281 0
[pid=15514/tid=15516] ppid=15512 vsize=150624 CPUtime=222.22 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11855 0 0 0 22183 39 0 0 25 0 3 0 911200521 154238976 22899 33554432000 4194304 5714118 140735471268336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=150624 CPUtime=222.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 8009 0 0 0 22176 46 0 0 25 0 3 0 911200521 154238976 22899 33554432000 4194304 5714118 140735471268336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 150624
[startup+282.301 s]
/proc/loadavg: 3.99 3.93 3.88 5/182 15524
/proc/meminfo: memFree=31500896/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=150624 CPUtime=564.52 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 26713 0 0 0 56343 109 0 0 18 0 3 0 911200514 154238976 26468 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 37656 26468 182 372 0 37281 0
[pid=15514/tid=15516] ppid=15512 vsize=150624 CPUtime=282.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 14348 0 0 0 28172 51 0 0 25 0 3 0 911200521 154238976 26468 33554432000 4194304 5714118 140735471268336 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=150624 CPUtime=282.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 9085 0 0 0 28164 58 0 0 25 0 3 0 911200521 154238976 26468 33554432000 4194304 5714118 140735471268336 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.52
Current children cumulated vsize (KiB) 150624
[startup+342.301 s]
/proc/loadavg: 3.99 3.94 3.89 5/182 15526
/proc/meminfo: memFree=31442552/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=216304 CPUtime=684.52 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 28843 0 0 0 68324 128 0 0 18 0 3 0 911200514 221495296 28598 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54076 28598 182 372 0 53701 0
[pid=15514/tid=15516] ppid=15512 vsize=216304 CPUtime=342.22 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 16408 0 0 0 34161 61 0 0 25 0 3 0 911200521 221495296 28598 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=216304 CPUtime=342.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 9155 0 0 0 34156 66 0 0 25 0 3 0 911200521 221495296 28598 33554432000 4194304 5714118 140735471268336 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.52
Current children cumulated vsize (KiB) 216304
[startup+402.3 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 15528
/proc/meminfo: memFree=31384448/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=216808 CPUtime=804.53 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 31162 0 0 0 80302 151 0 0 18 0 3 0 911200514 222011392 30917 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54202 30917 182 372 0 53827 0
[pid=15514/tid=15516] ppid=15512 vsize=216808 CPUtime=402.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 18619 0 0 0 40150 73 0 0 25 0 3 0 911200521 222011392 30917 33554432000 4194304 5714118 140735471268336 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=216808 CPUtime=402.23 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 9263 0 0 0 40145 78 0 0 25 0 3 0 911200521 222011392 30917 33554432000 4194304 5714118 140735471268336 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.53
Current children cumulated vsize (KiB) 216808
[startup+462.301 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 15529
/proc/meminfo: memFree=31324848/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=217888 CPUtime=924.53 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 34011 0 0 0 92283 170 0 0 18 0 3 0 911200514 223117312 33766 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54472 33766 182 372 0 54097 0
[pid=15514/tid=15516] ppid=15512 vsize=217888 CPUtime=462.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 20724 0 0 0 46141 82 0 0 25 0 3 0 911200521 223117312 33766 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=217888 CPUtime=462.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 10007 0 0 0 46135 87 0 0 25 0 3 0 911200521 223117312 33766 33554432000 4194304 5714118 140735471268336 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.53
Current children cumulated vsize (KiB) 217888
[startup+522.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 15531
/proc/meminfo: memFree=31273696/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=218176 CPUtime=1044.54 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 36206 0 0 0 104264 190 0 0 18 0 3 0 911200514 223412224 35961 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54544 35961 182 372 0 54169 0
[pid=15514/tid=15516] ppid=15512 vsize=218176 CPUtime=522.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 22879 0 0 0 52131 92 0 0 25 0 3 0 911200521 223412224 35961 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=218176 CPUtime=522.22 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 10047 0 0 0 52126 96 0 0 25 0 3 0 911200521 223412224 35961 33554432000 4194304 5714118 140735471268336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.54
Current children cumulated vsize (KiB) 218176
[startup+582.3 s]
/proc/loadavg: 4.06 3.98 3.91 5/182 15532
/proc/meminfo: memFree=31217564/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=218536 CPUtime=1164.54 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 39105 0 0 0 116245 209 0 0 18 0 3 0 911200514 223780864 38860 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54634 38860 182 372 0 54259 0
[pid=15514/tid=15516] ppid=15512 vsize=218536 CPUtime=582.24 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 24940 0 0 0 58121 103 0 0 25 0 3 0 911200521 223780864 38860 33554432000 4194304 5714118 140735471268336 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=218536 CPUtime=582.23 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 10885 0 0 0 58118 105 0 0 25 0 3 0 911200521 223780864 38860 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (KiB) 218536
[startup+642.301 s]
/proc/loadavg: 4.02 3.98 3.91 5/182 15534
/proc/meminfo: memFree=31165800/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=218536 CPUtime=1284.55 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 41232 0 0 0 128230 225 0 0 18 0 3 0 911200514 223780864 40987 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54634 40987 182 372 0 54259 0
[pid=15514/tid=15516] ppid=15512 vsize=218536 CPUtime=642.24 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 26859 0 0 0 64112 112 0 0 25 0 3 0 911200521 223780864 40987 33554432000 4194304 5714118 140735471268336 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=218536 CPUtime=642.24 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11093 0 0 0 64112 112 0 0 25 0 3 0 911200521 223780864 40987 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.55
Current children cumulated vsize (KiB) 218536
[startup+702.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/182 15536
/proc/meminfo: memFree=31114268/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=219112 CPUtime=1404.54 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 43477 0 0 0 140209 245 0 0 18 0 3 0 911200514 224370688 43232 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54778 43232 182 372 0 54403 0
[pid=15514/tid=15516] ppid=15512 vsize=219112 CPUtime=702.24 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 28981 0 0 0 70099 125 0 0 25 0 3 0 911200521 224370688 43232 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=219112 CPUtime=702.23 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11216 0 0 0 70104 119 0 0 25 0 3 0 911200521 224370688 43232 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.54
Current children cumulated vsize (KiB) 219112
[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15537
/proc/meminfo: memFree=31060876/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=219400 CPUtime=1524.56 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 45936 0 0 0 152191 265 0 0 18 0 3 0 911200514 224665600 45691 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 54850 45691 182 372 0 54475 0
[pid=15514/tid=15516] ppid=15512 vsize=219400 CPUtime=762.24 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 31002 0 0 0 76089 135 0 0 25 0 3 0 911200521 224665600 45691 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=219400 CPUtime=762.24 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11654 0 0 0 76095 129 0 0 25 0 3 0 911200521 224665600 45691 33554432000 4194304 5714118 140735471268336 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.56
Current children cumulated vsize (KiB) 219400
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15580
/proc/meminfo: memFree=31696844/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=286088 CPUtime=1644.55 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 48424 0 0 0 164172 283 0 0 18 0 3 0 911200514 292954112 48179 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 71522 48179 182 372 0 71147 0
[pid=15514/tid=15516] ppid=15512 vsize=286088 CPUtime=822.23 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 33220 0 0 0 82078 145 0 0 25 0 3 0 911200521 292954112 48179 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=286088 CPUtime=822.24 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11924 0 0 0 82087 137 0 0 25 0 3 0 911200521 292954112 48179 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 286088
[startup+882.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15581
/proc/meminfo: memFree=31612836/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=286520 CPUtime=1764.55 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 50614 0 0 0 176152 303 0 0 18 0 3 0 911200514 293396480 50369 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 71630 50369 182 372 0 71255 0
[pid=15514/tid=15516] ppid=15512 vsize=286520 CPUtime=882.24 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 35346 0 0 0 88067 157 0 0 25 0 3 0 911200521 293396480 50369 33554432000 4194304 5714118 140735471268336 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=286520 CPUtime=882.24 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11988 0 0 0 88078 146 0 0 25 0 3 0 911200521 293396480 50369 33554432000 4194304 5714118 140735471268336 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.55
Current children cumulated vsize (KiB) 286520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15582
/proc/meminfo: memFree=31594712/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=286520 CPUtime=1800.17 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 51196 0 0 0 179709 308 0 0 18 0 3 0 911200514 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 71630 50951 182 372 0 71255 0
[pid=15514/tid=15516] ppid=15512 vsize=286520 CPUtime=900.05 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 35928 0 0 0 89845 160 0 0 25 0 3 0 911200521 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=286520 CPUtime=900.04 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11988 0 0 0 89857 147 0 0 25 0 3 0 911200521 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 286520
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15582
/proc/meminfo: memFree=31594712/32951124 swapFree=67050044/67111528
[pid=15514] ppid=15512 vsize=286520 CPUtime=1800.17 cores=0,2,4,6
/proc/15514/stat : 15514 (pwbo1.1) S 15512 15514 14247 0 -1 4202496 51196 0 0 0 179709 308 0 0 18 0 3 0 911200514 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/15514/statm: 71630 50951 182 372 0 71255 0
[pid=15514/tid=15516] ppid=15512 vsize=286520 CPUtime=900.05 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 35928 0 0 0 89845 160 0 0 25 0 3 0 911200521 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=15514/tid=15517] ppid=15512 vsize=286520 CPUtime=900.04 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (pwbo1.1) R 15512 15514 14247 0 -1 4202560 11988 0 0 0 89857 147 0 0 25 0 3 0 911200521 293396480 50951 33554432000 4194304 5714118 140735471268336 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 286520
Child status: 0
Real time (s): 900.123
CPU time (s): 1800.2
CPU user time (s): 1797.1
CPU system time (s): 3.09453
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 286520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 3.09453
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51201
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= 14
involuntary context switches= 3733
runsolver used 1.55376 second user time and 3.06253 second system time
The end