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-3733143-1338693432/watcher-3733143-1338693432 -o /tmp/evaluation-result-3733143-1338693432/solver-3733143-1338693432 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733143-1338693432.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.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 335471743 4579328 64 33554432000 134512640 135840783 4287210224 4287208292 9737213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 1118 69 54 325 0 38 0
[startup+0.100651 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=11284 CPUtime=0.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 2103 0 0 0 9 0 0 0 20 0 1 0 335471743 11554816 2040 33554432000 134512640 135840783 4287210224 4287209056 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 2821 2041 640 325 0 1415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11284
[startup+0.200341 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=15080 CPUtime=0.18 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 3427 0 0 0 18 0 0 0 20 0 1 0 335471743 15441920 3022 33554432000 134512640 135840783 4287210224 4287197788 5682224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 3770 3022 343 325 0 2706 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 15080
[startup+0.300353 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=15080 CPUtime=0.29 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 3427 0 0 0 28 1 0 0 20 0 1 0 335471743 15441920 3022 33554432000 134512640 135840783 4287210224 4287197788 5682224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 3770 3022 343 325 0 2706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080
[startup+0.700263 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26404
/proc/meminfo: memFree=28006924/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=20192 CPUtime=0.68 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 5583 0 0 0 66 2 0 0 20 0 1 0 335471743 20676608 4321 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 5048 4321 348 325 0 3984 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20192
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27981032/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=39424 CPUtime=1.48 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 10387 0 0 0 145 3 0 0 20 0 1 0 335471743 40370176 9125 33554432000 134512640 135840783 4287210224 4287198112 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 9856 9125 348 325 0 8792 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39424
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27959200/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=65804 CPUtime=3.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 16969 0 0 0 305 4 0 0 20 0 1 0 335471743 67383296 15707 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 16451 15707 348 325 0 15387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65804
[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27916660/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=99620 CPUtime=6.29 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 25440 0 0 0 622 7 0 0 20 0 1 0 335471743 102010880 24178 33554432000 134512640 135840783 4287210224 4287198496 134547548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 24905 24178 348 325 0 23841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99620
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27835192/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=181188 CPUtime=12.68 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 45823 0 0 0 1257 11 0 0 20 0 1 0 335471743 185536512 44561 33554432000 134512640 135840783 4287210224 4287209584 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 45297 44561 348 325 0 44233 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 181188
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27752244/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=260168 CPUtime=25.48 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 65569 0 0 0 2533 15 0 0 20 0 1 0 335471743 266412032 64307 33554432000 134512640 135840783 4287210224 4287209576 12593360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 65042 64307 348 325 0 63978 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 260168
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27600592/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=412592 CPUtime=51.08 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 103674 0 0 0 5084 24 0 0 20 0 1 0 335471743 422494208 102412 33554432000 134512640 135840783 4287210224 4287209536 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 103148 102412 348 325 0 102084 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 412592
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 26405
/proc/meminfo: memFree=27374292/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=635680 CPUtime=102.28 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 159443 0 0 0 10190 38 0 0 20 0 1 0 335471743 650936320 158181 33554432000 134512640 135840783 4287210224 4287198176 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 158920 158181 348 325 0 157856 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 635680
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26406
/proc/meminfo: memFree=27367236/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=162.25 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161204 0 0 0 16187 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 642448
[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 26409
/proc/meminfo: memFree=27367628/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=222.24 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161219 0 0 0 22186 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209536 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 642448
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26409
/proc/meminfo: memFree=27367664/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=642448 CPUtime=282.2 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 161241 0 0 0 28182 38 0 0 20 0 1 0 335471743 657866752 159873 33554432000 134512640 135840783 4287210224 4287209584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 160612 159873 348 325 0 159548 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 642448
[startup+342.3 s]
/proc/loadavg: 1.96 1.97 1.99 3/177 26448
/proc/meminfo: memFree=26961952/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=342.18 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193662 0 0 0 34170 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 771868
[startup+402.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/177 26448
/proc/meminfo: memFree=26812312/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=402.15 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193682 0 0 0 40167 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 771868
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26666516/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=462.11 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193722 0 0 0 46163 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 771868
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26472236/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=522.09 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193734 0 0 0 52161 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 771868
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/177 26449
/proc/meminfo: memFree=26352604/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=771868 CPUtime=582.07 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 193752 0 0 0 58159 48 0 0 20 0 1 0 335471743 790392832 192215 33554432000 134512640 135840783 4287210224 4287209584 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 192967 192215 348 325 0 191903 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 771868
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 26454
/proc/meminfo: memFree=26078064/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=822.03 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 82147 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 846620
[startup+882.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=26078224/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=882.02 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 88146 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 846620
[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=26078128/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=942.01 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 94145 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 846620
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26454
/proc/meminfo: memFree=25958496/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1002 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 100144 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 846620
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 26455
/proc/meminfo: memFree=25958400/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1061.99 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 106143 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 846620
[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25958428/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1121.98 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 112142 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 846620
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25958456/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=846620 CPUtime=1181.97 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 212535 0 0 0 118141 56 0 0 20 0 1 0 335471743 866938880 210921 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 211655 210921 348 325 0 210591 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 846620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26455
/proc/meminfo: memFree=25952284/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=855156 CPUtime=1241.96 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 214667 0 0 0 124140 56 0 0 20 0 1 0 335471743 875679744 213053 33554432000 134512640 135840783 4287210224 4287209584 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 213789 213053 348 325 0 212725 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 855156
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26455
/proc/meminfo: memFree=25903580/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=906360 CPUtime=1301.95 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 227465 0 0 0 130134 61 0 0 20 0 1 0 335471743 928112640 225851 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 226590 225851 348 325 0 225526 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 906360
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26456
/proc/meminfo: memFree=25880048/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1361.94 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 136131 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 928876
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26459
/proc/meminfo: memFree=25880192/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1421.94 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 142131 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 928876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25880100/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1481.92 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 148129 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209460 10244258 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 928876
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1541.92 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 154129 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 928876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26459
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1601.91 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 160128 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287198396 12563559 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 928876
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26460
/proc/meminfo: memFree=25879728/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1661.9 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 166127 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209536 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 928876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26460
/proc/meminfo: memFree=25879852/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1721.89 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 172126 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 928876
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26460
/proc/meminfo: memFree=25872908/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=928876 CPUtime=1781.88 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 233164 0 0 0 178125 63 0 0 20 0 1 0 335471743 951169024 231472 33554432000 134512640 135840783 4287210224 4287209584 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 232219 231472 348 325 0 231155 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 928876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26460
/proc/meminfo: memFree=25869312/32873844 swapFree=7116/7116
[pid=26404] ppid=26402 vsize=933280 CPUtime=1800.08 cores=1,3,5,7
/proc/26404/stat : 26404 (bsolo3.0.17) R 26402 26404 24661 0 -1 4202496 234264 0 0 0 179945 63 0 0 20 0 1 0 335471743 955678720 232572 33554432000 134512640 135840783 4287210224 4287209584 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26404/statm: 233320 232572 348 325 0 232256 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 933280
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.52
CPU time (s): 1800.11
CPU user time (s): 1799.46
CPU system time (s): 0.6539
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 933280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.6539
maximum resident set size= 930288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234267
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= 196
involuntary context switches= 1841
runsolver used 4.48232 second user time and 9.30158 second system time
The end