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-3726353-1338659748/watcher-3726353-1338659748 -o /tmp/evaluation-result-3726353-1338659748/solver-3726353-1338659748 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726353-1338659748.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: 3.90 3.96 3.91 4/176 23420
/proc/meminfo: memFree=28117372/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=8516 CPUtime=0 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) R 23418 23420 19474 0 -1 4202496 766 0 0 0 0 0 0 0 20 0 1 0 332100241 8720384 718 33554432000 4194304 5964478 140735064124368 140734157045720 4395649 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 2129 718 160 433 0 1026 0
[startup+0.0110909 s]
/proc/loadavg: 3.90 3.96 3.91 4/176 23420
/proc/meminfo: memFree=28117372/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=11044 CPUtime=0 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) R 23418 23420 19474 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 1 0 332100241 11309056 1169 33554432000 4194304 5964478 140735064124368 140734157045720 5179243 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 2761 1184 171 433 0 1658 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11044
[startup+0.10028 s]
/proc/loadavg: 3.90 3.96 3.91 4/176 23420
/proc/meminfo: memFree=28117372/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=27572 CPUtime=0.09 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) R 23418 23420 19474 0 -1 4202496 5546 0 0 0 9 0 0 0 20 0 1 0 332100241 28233728 5253 33554432000 4194304 5964478 140735064124368 140734157045720 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 6893 5255 387 433 0 5790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27572
[startup+0.300195 s]
/proc/loadavg: 3.90 3.96 3.91 4/176 23420
/proc/meminfo: memFree=28117372/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=203360 CPUtime=0.31 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 14570 0 0 0 28 3 0 0 20 0 3 0 332100241 208240640 13489 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 50840 13489 176 433 0 50404 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 203360
[startup+0.700214 s]
/proc/loadavg: 3.90 3.96 3.91 4/176 23420
/proc/meminfo: memFree=28117372/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=203904 CPUtime=1.1 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 24601 0 0 0 105 5 0 0 20 0 3 0 332100241 208797696 21146 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 50976 21146 197 433 0 50540 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 203904
[startup+1.50039 s]
/proc/loadavg: 3.90 3.96 3.91 5/179 23423
/proc/meminfo: memFree=28023628/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=203904 CPUtime=2.69 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 29086 0 0 0 263 6 0 0 20 0 3 0 332100241 208797696 22407 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 50976 22407 198 433 0 50540 0
[pid=23420/tid=23422] ppid=23418 vsize=203904 CPUtime=1.2 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 15602 0 0 0 116 4 0 0 20 0 3 0 332100269 208797696 22407 33554432000 4194304 5964478 140735064124368 140141842450968 5130914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=203904 CPUtime=1.2 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 3699 0 0 0 119 1 0 0 20 0 3 0 332100269 208797696 22407 33554432000 4194304 5964478 140735064124368 140141831960936 4389100 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 203904
[startup+3.1004 s]
/proc/loadavg: 3.91 3.96 3.91 5/179 23423
/proc/meminfo: memFree=28009724/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=203904 CPUtime=5.9 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 41419 0 0 0 581 9 0 0 20 0 3 0 332100241 208797696 25186 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 50976 25186 198 433 0 50540 0
[pid=23420/tid=23422] ppid=23418 vsize=203904 CPUtime=2.79 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 27902 0 0 0 273 6 0 0 20 0 3 0 332100269 208797696 25186 33554432000 4194304 5964478 140735064124368 140141842450968 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=203904 CPUtime=2.8 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 3732 0 0 0 279 1 0 0 20 0 3 0 332100269 208797696 25186 33554432000 4194304 5964478 140735064124368 140141831960408 4403590 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 203904
[startup+6.3004 s]
/proc/loadavg: 3.91 3.96 3.91 5/179 23423
/proc/meminfo: memFree=27971888/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=211236 CPUtime=12.29 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 63726 0 0 0 1215 14 0 0 20 0 3 0 332100241 216305664 30674 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 52809 30674 198 433 0 52373 0
[pid=23420/tid=23422] ppid=23418 vsize=211236 CPUtime=5.98 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 50129 0 0 0 586 12 0 0 20 0 3 0 332100269 216305664 30674 33554432000 4194304 5964478 140735064124368 140141842450696 5142509 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=211236 CPUtime=5.99 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 3812 0 0 0 598 1 0 0 20 0 3 0 332100269 216305664 30674 33554432000 4194304 5964478 140735064124368 140141831960408 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 211236
[startup+12.7004 s]
/proc/loadavg: 3.92 3.96 3.91 5/178 23423
/proc/meminfo: memFree=27912924/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=269568 CPUtime=25.1 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 102428 0 0 0 2487 23 0 0 20 0 3 0 332100241 276037632 39806 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 67392 39806 198 433 0 66956 0
[pid=23420/tid=23422] ppid=23418 vsize=269568 CPUtime=12.37 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 88641 0 0 0 1218 19 0 0 20 0 3 0 332100269 276037632 39806 33554432000 4194304 5964478 140735064124368 140141842450776 5139135 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=269568 CPUtime=12.37 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 4002 0 0 0 1236 1 0 0 20 0 3 0 332100269 276037632 39806 33554432000 4194304 5964478 140735064124368 140141831960696 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 269568
[startup+25.5004 s]
/proc/loadavg: 3.93 3.97 3.91 5/179 23424
/proc/meminfo: memFree=27801728/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=337268 CPUtime=50.69 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 170303 0 0 0 5031 38 0 0 20 0 3 0 332100241 345362432 56155 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 84317 56155 198 433 0 83881 0
[pid=23420/tid=23422] ppid=23418 vsize=337268 CPUtime=25.13 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 156170 0 0 0 2480 33 0 0 20 0 3 0 332100269 345362432 56155 33554432000 4194304 5964478 140735064124368 140141842450968 5135657 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=337268 CPUtime=25.14 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 4348 0 0 0 2512 2 0 0 20 0 3 0 332100269 345362432 56155 33554432000 4194304 5964478 140735064124368 140141831960824 4389100 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 337268
[startup+51.1004 s]
/proc/loadavg: 3.95 3.97 3.91 5/179 23424
/proc/meminfo: memFree=27608828/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=468340 CPUtime=101.88 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 248868 0 0 0 10134 54 0 0 20 0 3 0 332100241 479580160 79902 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 117085 79902 198 433 0 116649 0
[pid=23420/tid=23422] ppid=23418 vsize=468340 CPUtime=50.66 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 234177 0 0 0 5018 48 0 0 20 0 3 0 332100269 479580160 79902 33554432000 4194304 5964478 140735064124368 140141842450776 4221168 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=468340 CPUtime=50.67 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 4906 0 0 0 5063 4 0 0 20 0 3 0 332100269 479580160 79902 33554432000 4194304 5964478 140735064124368 140141831960888 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 468340
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/179 23424
/proc/meminfo: memFree=27296208/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=599412 CPUtime=204.27 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 359040 0 0 0 20346 81 0 0 20 0 3 0 332100241 613797888 113950 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 149853 113950 198 433 0 149417 0
[pid=23420/tid=23422] ppid=23418 vsize=599412 CPUtime=101.73 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 343178 0 0 0 10100 73 0 0 20 0 3 0 332100269 613797888 113950 33554432000 4194304 5964478 140735064124368 140141842450968 5142509 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=599412 CPUtime=101.74 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 6077 0 0 0 10166 8 0 0 20 0 3 0 332100269 613797888 113950 33554432000 4194304 5964478 140735064124368 140141831960696 4400632 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.27
Current children cumulated vsize (KiB) 599412
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 23424
/proc/meminfo: memFree=27084760/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=728320 CPUtime=324.24 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 503985 0 0 0 32315 109 0 0 20 0 3 0 332100241 745799680 153150 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 182080 153150 198 433 0 181644 0
[pid=23420/tid=23422] ppid=23418 vsize=728320 CPUtime=161.57 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 488018 0 0 0 16055 102 0 0 20 0 3 0 332100269 745799680 153150 33554432000 4194304 5964478 140735064124368 140141842450968 5130842 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=728320 CPUtime=161.58 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 6182 0 0 0 16149 9 0 0 20 0 3 0 332100269 745799680 153150 33554432000 4194304 5964478 140735064124368 140141831960888 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.24
Current children cumulated vsize (KiB) 728320
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 23424
/proc/meminfo: memFree=27017128/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=444.21 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 527344 0 0 0 44305 116 0 0 20 0 3 0 332100241 817889280 164709 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 164709 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=221.41 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 510660 0 0 0 22033 108 0 0 20 0 3 0 332100269 817889280 164709 33554432000 4194304 5964478 140735064124368 140141842450776 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=221.43 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 6899 0 0 0 22131 12 0 0 20 0 3 0 332100269 817889280 164709 33554432000 4194304 5964478 140735064124368 140141831960888 4400740 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.21
Current children cumulated vsize (KiB) 798720
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/180 23427
/proc/meminfo: memFree=27003660/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=564.17 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 529077 0 0 0 56298 119 0 0 20 0 3 0 332100241 817889280 167965 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 167965 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=281.23 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 510681 0 0 0 28014 109 0 0 20 0 3 0 332100269 817889280 167965 33554432000 4194304 5964478 140735064124368 140141842450776 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=281.26 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 8611 0 0 0 28110 16 0 0 20 0 3 0 332100269 817889280 167965 33554432000 4194304 5964478 140735064124368 140141831960936 4389072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.17
Current children cumulated vsize (KiB) 798720
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/180 23451
/proc/meminfo: memFree=26984040/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=684.12 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 533336 0 0 0 68286 126 0 0 20 0 3 0 332100241 817889280 172227 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 172227 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=341.04 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 514252 0 0 0 33989 115 0 0 20 0 3 0 332100269 817889280 172227 33554432000 4194304 5964478 140735064124368 140141842450232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=341.11 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9299 0 0 0 34092 19 0 0 20 0 3 0 332100269 817889280 172227 33554432000 4194304 5964478 140735064124368 140141831960936 4389072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.12
Current children cumulated vsize (KiB) 798720
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 23451
/proc/meminfo: memFree=26974160/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=804.07 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 534700 0 0 0 80280 127 0 0 20 0 3 0 332100241 817889280 173546 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 173546 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=400.85 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 515616 0 0 0 39968 117 0 0 20 0 3 0 332100269 817889280 173546 33554432000 4194304 5964478 140735064124368 140141842450296 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=400.96 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9299 0 0 0 40076 20 0 0 20 0 3 0 332100269 817889280 173546 33554432000 4194304 5964478 140735064124368 140141831960936 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.07
Current children cumulated vsize (KiB) 798720
[startup+462.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/179 23451
/proc/meminfo: memFree=26937052/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=924.02 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 537044 0 0 0 92273 129 0 0 20 0 3 0 332100241 817889280 176095 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 176095 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=460.66 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 517960 0 0 0 45947 119 0 0 20 0 3 0 332100269 817889280 176095 33554432000 4194304 5964478 140735064124368 140141842450424 4399941 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=460.8 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9299 0 0 0 46059 21 0 0 20 0 3 0 332100269 817889280 176095 33554432000 4194304 5964478 140735064124368 140141831960936 4389129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.02
Current children cumulated vsize (KiB) 798720
[startup+522.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/179 23451
/proc/meminfo: memFree=26914828/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=798720 CPUtime=1043.98 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 542108 0 0 0 104262 136 0 0 20 0 3 0 332100241 817889280 181130 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 199680 181130 198 433 0 199244 0
[pid=23420/tid=23422] ppid=23418 vsize=798720 CPUtime=520.49 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 522778 0 0 0 51923 126 0 0 20 0 3 0 332100269 817889280 181130 33554432000 4194304 5964478 140735064124368 140141842450232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=798720 CPUtime=520.65 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9545 0 0 0 52043 22 0 0 20 0 3 0 332100269 817889280 181130 33554432000 4194304 5964478 140735064124368 140141831960888 4381996 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.98
Current children cumulated vsize (KiB) 798720
[startup+582.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/179 23451
/proc/meminfo: memFree=26904192/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1163.95 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 544370 0 0 0 116256 139 0 0 20 0 3 0 332100241 884998144 183382 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 183382 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=580.32 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 525031 0 0 0 57902 130 0 0 20 0 3 0 332100269 884998144 183382 33554432000 4194304 5964478 140735064124368 140141842450296 4400519 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=580.49 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9554 0 0 0 58026 23 0 0 20 0 3 0 332100269 884998144 183382 33554432000 4194304 5964478 140735064124368 140141831960888 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.95
Current children cumulated vsize (KiB) 864256
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 23452
/proc/meminfo: memFree=26901824/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1283.94 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 544843 0 0 0 128254 140 0 0 20 0 3 0 332100241 884998144 183871 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 183871 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=640.16 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 525502 0 0 0 63884 132 0 0 20 0 3 0 332100269 884998144 183871 33554432000 4194304 5964478 140735064124368 140141842450232 4400460 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=640.34 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9556 0 0 0 64010 24 0 0 20 0 3 0 332100269 884998144 183871 33554432000 4194304 5964478 140735064124368 140141831960888 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.94
Current children cumulated vsize (KiB) 864256
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 23452
/proc/meminfo: memFree=26889812/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1403.9 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 547375 0 0 0 140247 143 0 0 20 0 3 0 332100241 884998144 186403 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 186403 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=700 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 528034 0 0 0 69864 136 0 0 20 0 3 0 332100269 884998144 186403 33554432000 4194304 5964478 140735064124368 140141842450232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=700.18 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 9556 0 0 0 69993 25 0 0 20 0 3 0 332100269 884998144 186403 33554432000 4194304 5964478 140735064124368 140141831960888 4403564 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.9
Current children cumulated vsize (KiB) 864256
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 23452
/proc/meminfo: memFree=26877348/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1523.89 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 550432 0 0 0 152243 146 0 0 20 0 3 0 332100241 884998144 189450 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 189450 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=759.84 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 530443 0 0 0 75845 139 0 0 20 0 3 0 332100269 884998144 189450 33554432000 4194304 5964478 140735064124368 140141842450424 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=760.03 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 10204 0 0 0 75976 27 0 0 20 0 3 0 332100269 884998144 189450 33554432000 4194304 5964478 140735064124368 140141831960888 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.89
Current children cumulated vsize (KiB) 864256
[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 23452
/proc/meminfo: memFree=26861144/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1643.86 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 552648 0 0 0 164235 151 0 0 20 0 3 0 332100241 884998144 191666 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 191666 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=819.68 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 531601 0 0 0 81826 142 0 0 20 0 3 0 332100269 884998144 191666 33554432000 4194304 5964478 140735064124368 140141842450424 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=819.87 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 11262 0 0 0 81956 31 0 0 20 0 3 0 332100269 884998144 191666 33554432000 4194304 5964478 140735064124368 140141831960888 4389129 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.86
Current children cumulated vsize (KiB) 864256
[startup+882.3 s]
/proc/loadavg: 3.21 3.80 3.85 3/172 23480
/proc/meminfo: memFree=27692808/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1763.84 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 554570 0 0 0 176229 155 0 0 20 0 3 0 332100241 884998144 193588 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 193588 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=879.52 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 532675 0 0 0 87806 146 0 0 20 0 3 0 332100269 884998144 193588 33554432000 4194304 5964478 140735064124368 140141842450232 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=879.71 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 12110 0 0 0 87938 33 0 0 20 0 3 0 332100269 884998144 193588 33554432000 4194304 5964478 140735064124368 140141831960888 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.84
Current children cumulated vsize (KiB) 864256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 2.94 3.71 3.82 3/172 23480
/proc/meminfo: memFree=27689952/32873852 swapFree=7624/7624
[pid=23420] ppid=23418 vsize=864256 CPUtime=1800.05 cores=1,3,5,7
/proc/23420/stat : 23420 (pwbo2.02) S 23418 23420 19474 0 -1 4202496 555181 0 0 0 179848 157 0 0 20 0 3 0 332100241 884998144 194277 33554432000 4194304 5964478 140735064124368 140735064123888 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23420/statm: 216064 194277 198 433 0 215628 0
[pid=23420/tid=23422] ppid=23418 vsize=864256 CPUtime=897.58 cores=1,3,5,7
/proc/23420/task/23422/stat : 23422 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 533286 0 0 0 89610 148 0 0 20 0 3 0 332100269 884998144 194277 33554432000 4194304 5964478 140735064124368 140141842450424 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23420/tid=23423] ppid=23418 vsize=864256 CPUtime=897.77 cores=1,3,5,7
/proc/23420/task/23423/stat : 23423 (pwbo2.02) R 23418 23420 19474 0 -1 4202560 12110 0 0 0 89744 33 0 0 20 0 3 0 332100269 884998144 194277 33554432000 4194304 5964478 140735064124368 140141831960888 4381993 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 864256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23420 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=813298
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=855717
# CPU time returned by wait4() is 1795.67
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.426
CPU time (s): 1800.05
CPU user time (s): 1798.48
CPU system time (s): 1.57
CPU usage (%): 199.911
Max. virtual memory (cumulated for all children) (KiB): 864256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.81
system time used= 1.85572
maximum resident set size= 777112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555182
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= 1417
involuntary context switches= 3595
runsolver used 2.24066 second user time and 5.11422 second system time
The end