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-3741011-1338754739/watcher-3741011-1338754739 -o /tmp/evaluation-result-3741011-1338754739/solver-3741011-1338754739 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741011-1338754739.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: 1.96 1.98 1.99 3/176 13173
/proc/meminfo: memFree=27075372/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4194304 97 0 0 0 0 0 0 0 20 0 1 0 341598637 2842624 49 33554432000 134512640 135840783 4290013024 4290011148 10818557 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13173/statm: 694 51 39 325 0 32 0
[startup+0.0118681 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 13173
/proc/meminfo: memFree=27075372/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=115960 CPUtime=0 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 496 0 0 0 0 0 0 0 20 0 1 0 341598637 118743040 432 33554432000 134512640 135840783 4290013024 4290011728 11330855 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13173/statm: 28990 432 333 325 0 109 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 115960
[startup+0.100213 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 13173
/proc/meminfo: memFree=27075372/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=119648 CPUtime=0.09 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 1690 0 0 0 9 0 0 0 20 0 1 0 341598637 122519552 1626 33554432000 134512640 135840783 4290013024 4290011712 11328755 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/13173/statm: 29912 1626 615 325 0 1031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 119648
[startup+0.331177 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 13173
/proc/meminfo: memFree=27075372/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=129200 CPUtime=0.32 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 4847 0 0 0 31 1 0 0 20 0 1 0 341598637 132300800 4783 33554432000 134512640 135840783 4290013024 4290011680 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 32300 4784 1383 325 0 3419 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 129200
[startup+0.700285 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 13173
/proc/meminfo: memFree=27075372/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=143936 CPUtime=0.68 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 9715 0 0 0 66 2 0 0 20 0 1 0 341598637 147390464 9651 33554432000 134512640 135840783 4290013024 4290010992 11062245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 35984 9652 2582 325 0 7103 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 143936
[startup+1.50013 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13174
/proc/meminfo: memFree=27029768/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=174676 CPUtime=1.48 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 20152 0 0 0 142 6 0 0 20 0 1 0 341598637 178868224 20048 33554432000 134512640 135840783 4290013024 4290011680 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 43669 20049 5292 325 0 14788 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 174676
[startup+3.10023 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13174
/proc/meminfo: memFree=26994568/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=229728 CPUtime=3.08 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 38848 0 0 0 300 8 0 0 20 0 1 0 341598637 235241472 38744 33554432000 134512640 135840783 4290013024 4290012016 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 57432 38744 10219 325 0 28551 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 229728
[startup+6.30027 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13174
/proc/meminfo: memFree=26881488/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=338852 CPUtime=6.29 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 76036 0 0 0 617 12 0 0 20 0 1 0 341598637 346984448 75804 33554432000 134512640 135840783 4290013024 4290012016 134524931 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 84713 75805 19993 325 0 55832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 338852
[startup+12.7003 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 13174
/proc/meminfo: memFree=26632132/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=451304 CPUtime=12.68 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 139899 0 0 0 1244 24 0 0 20 0 1 0 341598637 462135296 111596 33554432000 134512640 135840783 4290013024 4288737648 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 112826 111596 342 325 0 111762 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 451304
[startup+25.5004 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 13174
/proc/meminfo: memFree=26624816/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=456892 CPUtime=25.48 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141526 0 0 0 2523 25 0 0 20 0 1 0 341598637 467857408 113015 33554432000 134512640 135840783 4290013024 4288737600 134545187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114223 113015 344 325 0 113159 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 456892
[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 13174
/proc/meminfo: memFree=26622708/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=456892 CPUtime=51.08 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141526 0 0 0 5079 29 0 0 20 0 1 0 341598637 467857408 113015 33554432000 134512640 135840783 4290013024 4288737600 134545187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114223 113015 344 325 0 113159 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 456892
[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 13177
/proc/meminfo: memFree=26617896/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=456892 CPUtime=102.28 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141526 0 0 0 10193 35 0 0 20 0 1 0 341598637 467857408 113015 33554432000 134512640 135840783 4290013024 4288737600 134545187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114223 113015 344 325 0 113159 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 456892
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13177
/proc/meminfo: memFree=26612988/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=456892 CPUtime=162.24 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141539 0 0 0 16185 39 0 0 20 0 1 0 341598637 467857408 113015 33554432000 134512640 135840783 4290013024 4288737600 134545310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 114223 113015 344 325 0 113159 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 456892
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13177
/proc/meminfo: memFree=26611776/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=451968 CPUtime=222.21 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141596 0 0 0 22179 42 0 0 20 0 1 0 341598637 462815232 111803 33554432000 134512640 135840783 4290013024 4290012160 134574962 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 112992 111803 347 325 0 111928 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 451968
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13178
/proc/meminfo: memFree=26607712/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=451968 CPUtime=282.15 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 141644 0 0 0 28173 42 0 0 20 0 1 0 341598637 462815232 111803 33554432000 134512640 135840783 4290013024 4289995792 134586836 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 112992 111803 347 325 0 111928 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 451968
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13178
/proc/meminfo: memFree=26600920/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=455676 CPUtime=342.1 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 142599 0 0 0 34167 43 0 0 20 0 1 0 341598637 466612224 112713 33554432000 134512640 135840783 4290013024 4290012336 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113919 112713 347 325 0 112855 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 455676
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13178
/proc/meminfo: memFree=26596484/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=455820 CPUtime=402.04 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 142696 0 0 0 40161 43 0 0 20 0 1 0 341598637 466759680 112762 33554432000 134512640 135840783 4290013024 4290012160 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113955 112762 347 325 0 112891 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 455820
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13178
/proc/meminfo: memFree=26591940/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=455820 CPUtime=462.03 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 142704 0 0 0 46160 43 0 0 20 0 1 0 341598637 466759680 112766 33554432000 134512640 135840783 4290013024 4290012384 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113955 112766 347 325 0 112891 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 455820
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13178
/proc/meminfo: memFree=26587972/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=455820 CPUtime=522.02 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 142705 0 0 0 52159 43 0 0 20 0 1 0 341598637 466759680 112767 33554432000 134512640 135840783 4290013024 4290012112 134574700 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113955 112767 347 325 0 112891 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 455820
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13179
/proc/meminfo: memFree=26584532/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=455820 CPUtime=582.01 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 142705 0 0 0 58158 43 0 0 20 0 1 0 341598637 466759680 112767 33554432000 134512640 135840783 4290013024 4290012384 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 113955 112767 347 325 0 112891 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 455820
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13183
/proc/meminfo: memFree=26522860/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=500208 CPUtime=881.96 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 153821 0 0 0 88149 47 0 0 20 0 1 0 341598637 512212992 123877 33554432000 134512640 135840783 4290013024 4290012384 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 125052 123877 347 325 0 123988 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 500208
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13183
/proc/meminfo: memFree=26515544/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=504696 CPUtime=941.95 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 154940 0 0 0 94147 48 0 0 20 0 1 0 341598637 516808704 124996 33554432000 134512640 135840783 4290013024 4290012544 134551981 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 126174 124996 347 325 0 125110 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 504696
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13183
/proc/meminfo: memFree=26511948/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=505488 CPUtime=1001.94 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 155128 0 0 0 100146 48 0 0 20 0 1 0 341598637 517619712 125184 33554432000 134512640 135840783 4290013024 4290012112 134574713 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 126372 125184 347 325 0 125308 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 505488
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13183
/proc/meminfo: memFree=26505908/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=507752 CPUtime=1061.93 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 155683 0 0 0 106145 48 0 0 20 0 1 0 341598637 519938048 125739 33554432000 134512640 135840783 4290013024 4290012336 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 126938 125739 347 325 0 125874 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 507752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13222
/proc/meminfo: memFree=26743824/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=524648 CPUtime=1121.92 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 159928 0 0 0 112142 50 0 0 20 0 1 0 341598637 537239552 129984 33554432000 134512640 135840783 4290013024 4290012192 134575118 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 131162 129984 347 325 0 130098 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 524648
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13261
/proc/meminfo: memFree=26602108/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=577216 CPUtime=1181.91 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 173049 0 0 0 118139 52 0 0 20 0 1 0 341598637 591069184 143105 33554432000 134512640 135840783 4290013024 4290012336 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 144304 143105 347 325 0 143240 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 577216
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13261
/proc/meminfo: memFree=26578300/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=600392 CPUtime=1241.9 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 178875 0 0 0 124137 53 0 0 20 0 1 0 341598637 614801408 148931 33554432000 134512640 135840783 4290013024 4290012336 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 150098 148931 347 325 0 149034 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 600392
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13264
/proc/meminfo: memFree=26514928/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=664688 CPUtime=1301.89 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 194934 0 0 0 130132 57 0 0 20 0 1 0 341598637 680640512 164990 33554432000 134512640 135840783 4290013024 4290012384 134551635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 166172 164990 347 325 0 165108 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 664688
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 13271
/proc/meminfo: memFree=26611612/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=679084 CPUtime=1361.88 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 198527 0 0 0 136129 59 0 0 20 0 1 0 341598637 695382016 168580 33554432000 134512640 135840783 4290013024 4290012384 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 169771 168580 347 325 0 168707 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 679084
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13302
/proc/meminfo: memFree=26546392/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=683836 CPUtime=1421.87 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 199732 0 0 0 142127 60 0 0 20 0 1 0 341598637 700248064 169772 33554432000 134512640 135840783 4290013024 4290012384 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 170959 169772 347 325 0 169895 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 683836
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13303
/proc/meminfo: memFree=26496272/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=687928 CPUtime=1481.84 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 200773 0 0 0 148123 61 0 0 20 0 1 0 341598637 704438272 170802 33554432000 134512640 135840783 4290013024 4290012336 134551200 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 171982 170802 347 325 0 170918 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 687928
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13303
/proc/meminfo: memFree=26444840/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=692548 CPUtime=1541.84 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 201920 0 0 0 154122 62 0 0 20 0 1 0 341598637 709169152 171949 33554432000 134512640 135840783 4290013024 4290012372 5181961 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 173137 171949 347 325 0 172073 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 692548
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13303
/proc/meminfo: memFree=26428588/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=698884 CPUtime=1601.82 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 203522 0 0 0 160119 63 0 0 20 0 1 0 341598637 715657216 173551 33554432000 134512640 135840783 4290013024 4290012260 11325469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 174721 173551 347 325 0 173657 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 698884
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13303
/proc/meminfo: memFree=26414452/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=703636 CPUtime=1661.81 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 204692 0 0 0 166117 64 0 0 20 0 1 0 341598637 720523264 174721 33554432000 134512640 135840783 4290013024 4290012336 134550985 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 175909 174721 347 325 0 174845 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 703636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13303
/proc/meminfo: memFree=26403044/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=708256 CPUtime=1721.8 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 205866 0 0 0 172115 65 0 0 20 0 1 0 341598637 725254144 175895 33554432000 134512640 135840783 4290013024 4290012384 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 177064 175895 347 325 0 176000 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 708256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13303
/proc/meminfo: memFree=26391396/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=713536 CPUtime=1781.8 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 207168 0 0 0 178114 66 0 0 20 0 1 0 341598637 730660864 177197 33554432000 134512640 135840783 4290013024 4290012384 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 178384 177197 347 325 0 177320 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 713536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13304
/proc/meminfo: memFree=26387916/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=715252 CPUtime=1800.09 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 207600 0 0 0 179943 66 0 0 20 0 1 0 341598637 732418048 177629 33554432000 134512640 135840783 4290013024 4290012384 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 178813 177629 347 325 0 177749 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 715252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13304
/proc/meminfo: memFree=26387916/32873844 swapFree=6608/6608
[pid=13173] ppid=13171 vsize=715252 CPUtime=1800.09 cores=0,2,4,6
/proc/13173/stat : 13173 (bsolo3.0.17) R 13171 13173 12501 0 -1 4202496 207600 0 0 0 179943 66 0 0 20 0 1 0 341598637 732418048 177629 33554432000 134512640 135840783 4290013024 4290012384 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13173/statm: 178813 177629 347 325 0 177749 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 715252
Child status: 15
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.44
CPU system time (s): 0.670898
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 715252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.670898
maximum resident set size= 710516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207603
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= 244
involuntary context switches= 2055
runsolver used 3.2715 second user time and 8.97363 second system time
The end