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-3744493-1338808254/watcher-3744493-1338808254 -o /tmp/evaluation-result-3744493-1338808254/solver-3744493-1338808254 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3744493-1338808254.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: 1.95 2.03 1.99 2/177 31428
/proc/meminfo: memFree=27220604/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 346953921 4583424 155 33554432000 134512640 135840783 4288977984 4288977324 7181656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 1119 155 134 325 0 39 0
[startup+0.017366 s]
/proc/loadavg: 1.95 2.03 1.99 2/177 31428
/proc/meminfo: memFree=27220604/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=6492 CPUtime=0.01 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 597 0 0 0 1 0 0 0 20 0 1 0 346953921 6647808 534 33554432000 134512640 135840783 4288977984 4288976720 7742759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 1623 536 353 325 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6492
[startup+0.100622 s]
/proc/loadavg: 1.95 2.03 1.99 2/177 31428
/proc/meminfo: memFree=27220604/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=10512 CPUtime=0.09 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 1850 0 0 0 9 0 0 0 20 0 1 0 346953921 10764288 1787 33554432000 134512640 135840783 4288977984 4288976976 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 2628 1788 603 325 0 1216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10512
[startup+0.300283 s]
/proc/loadavg: 1.95 2.03 1.99 2/177 31428
/proc/meminfo: memFree=27220604/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=13280 CPUtime=0.28 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 2937 0 0 0 28 0 0 0 20 0 1 0 346953921 13598720 2526 33554432000 134512640 135840783 4288977984 4288788364 1455152 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 3320 2526 342 325 0 2256 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13280
[startup+0.700293 s]
/proc/loadavg: 1.95 2.03 1.99 2/177 31428
/proc/meminfo: memFree=27220604/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=14632 CPUtime=0.68 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 3420 0 0 0 66 2 0 0 20 0 1 0 346953921 14983168 2885 33554432000 134512640 135840783 4288977984 4288977344 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 3658 2885 347 325 0 2594 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14632
[startup+1.50025 s]
/proc/loadavg: 1.95 2.03 1.99 3/178 31429
/proc/meminfo: memFree=27206512/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=16876 CPUtime=1.48 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 4003 0 0 0 146 2 0 0 20 0 1 0 346953921 17281024 3468 33554432000 134512640 135840783 4288977984 4288977344 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 4219 3468 347 325 0 3155 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16876
[startup+3.10029 s]
/proc/loadavg: 1.95 2.03 1.99 3/178 31429
/proc/meminfo: memFree=27201428/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=23348 CPUtime=3.08 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 5606 0 0 0 306 2 0 0 20 0 1 0 346953921 23908352 5071 33554432000 134512640 135840783 4288977984 4288974608 7742759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 5837 5071 347 325 0 4773 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23348
[startup+6.30029 s]
/proc/loadavg: 1.96 2.03 1.99 3/178 31429
/proc/meminfo: memFree=27186788/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=32744 CPUtime=6.28 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 7948 0 0 0 625 3 0 0 20 0 1 0 346953921 33529856 7413 33554432000 134512640 135840783 4288977984 4288974096 7742759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 8186 7413 347 325 0 7122 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32744
[startup+12.7003 s]
/proc/loadavg: 1.96 2.03 1.99 3/177 31429
/proc/meminfo: memFree=27168452/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=45048 CPUtime=12.68 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 11028 0 0 0 1265 3 0 0 20 0 1 0 346953921 46129152 10493 33554432000 134512640 135840783 4288977984 4288973520 7742759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 11262 10493 347 325 0 10198 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45048
[startup+25.5003 s]
/proc/loadavg: 1.97 2.03 1.99 3/177 31429
/proc/meminfo: memFree=27130856/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=70036 CPUtime=25.48 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 17266 0 0 0 2543 5 0 0 20 0 1 0 346953921 71716864 16731 33554432000 134512640 135840783 4288977984 4288977292 6318272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 17509 16731 347 325 0 16445 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70036
[startup+51.1003 s]
/proc/loadavg: 1.98 2.03 1.99 3/177 31429
/proc/meminfo: memFree=27076636/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=102432 CPUtime=51.07 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 25365 0 0 0 5099 8 0 0 20 0 1 0 346953921 104890368 24830 33554432000 134512640 135840783 4288977984 4288977344 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 25608 24830 347 325 0 24544 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102432
[startup+102.307 s]
/proc/loadavg: 1.99 2.02 1.99 3/177 31429
/proc/meminfo: memFree=26987400/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=147408 CPUtime=102.28 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 36622 0 0 0 10215 13 0 0 20 0 1 0 346953921 150945792 36087 33554432000 134512640 135840783 4288977984 4288977344 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 36852 36087 347 325 0 35788 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 147408
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/177 31429
/proc/meminfo: memFree=26810356/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=210916 CPUtime=162.26 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 52489 0 0 0 16207 19 0 0 20 0 1 0 346953921 215977984 51954 33554432000 134512640 135840783 4288977984 4288977344 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 52729 51954 347 325 0 51665 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 210916
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 31429
/proc/meminfo: memFree=26680928/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=249792 CPUtime=222.25 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 62217 0 0 0 22201 24 0 0 20 0 1 0 346953921 255787008 61682 33554432000 134512640 135840783 4288977984 4288977344 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 62448 61682 347 325 0 61384 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 249792
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31430
/proc/meminfo: memFree=26598620/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=285228 CPUtime=282.24 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 71089 0 0 0 28195 29 0 0 20 0 1 0 346953921 292073472 70554 33554432000 134512640 135840783 4288977984 4288977336 6318252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 71307 70554 347 325 0 70243 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 285228
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31430
/proc/meminfo: memFree=26524620/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=311936 CPUtime=342.24 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 77747 0 0 0 34189 35 0 0 20 0 1 0 346953921 319422464 77212 33554432000 134512640 135840783 4288977984 4288977344 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 77984 77212 347 325 0 76920 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 311936
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31430
/proc/meminfo: memFree=26448388/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=335604 CPUtime=402.22 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 83663 0 0 0 40183 39 0 0 20 0 1 0 346953921 343658496 83128 33554432000 134512640 135840783 4288977984 4288977344 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 83901 83128 347 325 0 82837 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 335604
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31430
/proc/meminfo: memFree=26378480/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=360860 CPUtime=462.21 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 89987 0 0 0 46178 43 0 0 20 0 1 0 346953921 369520640 89452 33554432000 134512640 135840783 4288977984 4288977344 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 90215 89452 347 325 0 89151 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 360860
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31430
/proc/meminfo: memFree=26311548/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=384392 CPUtime=522.21 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 95863 0 0 0 52174 47 0 0 20 0 1 0 346953921 393617408 95328 33554432000 134512640 135840783 4288977984 4288977296 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 96098 95328 347 325 0 95034 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 384392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31434
/proc/meminfo: memFree=26247344/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=407796 CPUtime=582.19 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 101720 0 0 0 58169 50 0 0 20 0 1 0 346953921 417583104 101185 33554432000 134512640 135840783 4288977984 4288977336 6318285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 101949 101185 347 325 0 100885 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 407796
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31511
/proc/meminfo: memFree=28104588/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=481820 CPUtime=822.13 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 120282 0 0 0 82149 64 0 0 20 0 1 0 346953921 493383680 119708 33554432000 134512640 135840783 4288977984 4288977284 7748182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 120455 119708 347 325 0 119391 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 481820
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31549
/proc/meminfo: memFree=28021288/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=497816 CPUtime=882.08 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 124323 0 0 0 88140 68 0 0 20 0 1 0 346953921 509763584 123703 33554432000 134512640 135840783 4288977984 4288977344 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 124454 123703 347 325 0 123390 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 497816
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 31550
/proc/meminfo: memFree=27984984/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=513812 CPUtime=942.02 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 128358 0 0 0 94131 71 0 0 20 0 1 0 346953921 526143488 127690 33554432000 134512640 135840783 4288977984 4288977344 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 128453 127690 347 325 0 127389 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 513812
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 31550
/proc/meminfo: memFree=27906272/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=531132 CPUtime=1001.98 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 132736 0 0 0 100123 75 0 0 20 0 1 0 346953921 543879168 132020 33554432000 134512640 135840783 4288977984 4288977344 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 132783 132021 347 325 0 131719 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 531132
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31550
/proc/meminfo: memFree=27834628/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=549904 CPUtime=1061.92 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 137507 0 0 0 106114 78 0 0 20 0 1 0 346953921 563101696 136744 33554432000 134512640 135840783 4288977984 4288977344 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 137476 136744 347 325 0 136412 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 549904
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31550
/proc/meminfo: memFree=27748104/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=569204 CPUtime=1121.89 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 142320 0 0 0 112107 82 0 0 20 0 1 0 346953921 582864896 141537 33554432000 134512640 135840783 4288977984 4288977236 7748215 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 142301 141537 347 325 0 141237 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 569204
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31553
/proc/meminfo: memFree=27655496/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=587180 CPUtime=1181.88 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 146826 0 0 0 118102 86 0 0 20 0 1 0 346953921 601272320 146043 33554432000 134512640 135840783 4288977984 4288977344 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 146795 146043 347 325 0 145731 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 587180
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31554
/proc/meminfo: memFree=27600848/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=604760 CPUtime=1241.87 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 151237 0 0 0 124097 90 0 0 20 0 1 0 346953921 619274240 150454 33554432000 134512640 135840783 4288977984 4288977344 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 151190 150454 347 325 0 150126 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 604760
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31554
/proc/meminfo: memFree=27549788/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=622208 CPUtime=1301.87 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 155593 0 0 0 130093 94 0 0 20 0 1 0 346953921 637140992 154810 33554432000 134512640 135840783 4288977984 4288977120 7740318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 155552 154810 347 325 0 154488 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 622208
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31554
/proc/meminfo: memFree=27469464/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=637672 CPUtime=1361.85 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 159463 0 0 0 136088 97 0 0 20 0 1 0 346953921 652976128 158680 33554432000 134512640 135840783 4288977984 4288977296 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 159418 158680 347 325 0 158354 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 637672
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31554
/proc/meminfo: memFree=27404992/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=653668 CPUtime=1421.84 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 163436 0 0 0 142084 100 0 0 20 0 1 0 346953921 669356032 162653 33554432000 134512640 135840783 4288977984 4288977344 134550744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 163417 162653 347 325 0 162353 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 653668
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 31555
/proc/meminfo: memFree=27375224/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=668340 CPUtime=1481.84 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 167108 0 0 0 148080 104 0 0 20 0 1 0 346953921 684380160 166325 33554432000 134512640 135840783 4288977984 4288977344 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 167085 166325 347 325 0 166021 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 668340
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31556
/proc/meminfo: memFree=27357996/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=681160 CPUtime=1541.83 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 170337 0 0 0 154076 107 0 0 20 0 1 0 346953921 697507840 169554 33554432000 134512640 135840783 4288977984 4288977336 6318265 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 170290 169554 347 325 0 169226 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 681160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31556
/proc/meminfo: memFree=27341628/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=693056 CPUtime=1601.82 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 173287 0 0 0 160073 109 0 0 20 0 1 0 346953921 709689344 172504 33554432000 134512640 135840783 4288977984 4288977344 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 173264 172504 347 325 0 172200 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 693056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31556
/proc/meminfo: memFree=27325012/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=705352 CPUtime=1661.8 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 176370 0 0 0 166069 111 0 0 20 0 1 0 346953921 722280448 175587 33554432000 134512640 135840783 4288977984 4288977344 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 176338 175587 347 325 0 175274 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 705352
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31556
/proc/meminfo: memFree=27303560/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=719756 CPUtime=1721.8 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 179987 0 0 0 172066 114 0 0 20 0 1 0 346953921 737030144 179204 33554432000 134512640 135840783 4288977984 4288977296 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 179939 179204 347 325 0 178875 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 719756
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31559
/proc/meminfo: memFree=27281356/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=734028 CPUtime=1781.76 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 183560 0 0 0 178059 117 0 0 20 0 1 0 346953921 751644672 182746 33554432000 134512640 135840783 4288977984 4288977344 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 183507 182746 347 325 0 182443 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 734028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 31559
/proc/meminfo: memFree=27274636/32873844 swapFree=6872/6872
[pid=31428] ppid=31426 vsize=737464 CPUtime=1800.06 cores=1,3,5,7
/proc/31428/stat : 31428 (bsolo3.0.17) R 31426 31428 30003 0 -1 4202496 184447 0 0 0 179888 118 0 0 20 0 1 0 346953921 755163136 183617 33554432000 134512640 135840783 4288977984 4288977344 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31428/statm: 184366 183617 347 325 0 183302 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 737464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1798.88
CPU system time (s): 1.19082
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 737464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.19082
maximum resident set size= 734468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184450
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= 324
involuntary context switches= 1842
runsolver used 3.80242 second user time and 9.78251 second system time
The end