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-3736814-1338710506/watcher-3736814-1338710506 -o /tmp/evaluation-result-3736814-1338710506/solver-3736814-1338710506 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736814-1338710506.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.92 1.99 1.99 3/177 2270
/proc/meminfo: memFree=27789304/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/2270/stat : 2270 (runsolver) D 2268 2270 31541 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 337176259 12095488 50 33554432000 4194304 5436572 140737460172800 140737460169096 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/2270/statm: 2953 50 31 304 0 2645 0
[startup+0.0651551 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 2270
/proc/meminfo: memFree=27789304/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=7896 CPUtime=0.05 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 1293 0 0 0 5 0 0 0 20 0 1 0 337176259 8085504 1205 33554432000 134512640 135840783 4287605744 4287522924 2602032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 1974 1205 342 325 0 910 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7896
[startup+0.100273 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 2270
/proc/meminfo: memFree=27789304/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=8656 CPUtime=0.08 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 1500 0 0 0 8 0 0 0 20 0 1 0 337176259 8863744 1412 33554432000 134512640 135840783 4287605744 4287522748 2602032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 2164 1412 344 325 0 1100 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8656
[startup+0.300229 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 2270
/proc/meminfo: memFree=27789304/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=9600 CPUtime=0.28 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 2060 0 0 0 28 0 0 0 20 0 1 0 337176259 9830400 1656 33554432000 134512640 135840783 4287605744 4287604988 2602032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 2400 1656 348 325 0 1336 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9600
[startup+0.700224 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 2270
/proc/meminfo: memFree=27789304/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=13740 CPUtime=0.68 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 3081 0 0 0 68 0 0 0 20 0 1 0 337176259 14069760 2677 33554432000 134512640 135840783 4287605744 4287605044 6007347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 3435 2677 348 325 0 2371 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13740
[startup+1.50023 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 2271
/proc/meminfo: memFree=27776576/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=20460 CPUtime=1.47 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 4776 0 0 0 147 0 0 0 20 0 1 0 337176259 20951040 4372 33554432000 134512640 135840783 4287605744 4287603536 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 5115 4372 348 325 0 4051 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20460
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2271
/proc/meminfo: memFree=27765168/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=32260 CPUtime=3.08 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 7710 0 0 0 307 1 0 0 20 0 1 0 337176259 33034240 7306 33554432000 134512640 135840783 4287605744 4287604832 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 8065 7307 348 325 0 7001 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32260
[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2271
/proc/meminfo: memFree=27739980/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=52492 CPUtime=6.28 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 12775 0 0 0 626 2 0 0 20 0 1 0 337176259 53751808 12371 33554432000 134512640 135840783 4287605744 4287603536 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 13123 12371 348 325 0 12059 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52492
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2271
/proc/meminfo: memFree=27698572/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=86752 CPUtime=12.68 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 21336 0 0 0 1265 3 0 0 20 0 1 0 337176259 88834048 20932 33554432000 134512640 135840783 4287605744 4287603248 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 21688 20933 348 325 0 20624 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86752
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2271
/proc/meminfo: memFree=27642020/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=129484 CPUtime=25.48 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 32045 0 0 0 2542 6 0 0 20 0 1 0 337176259 132591616 31641 33554432000 134512640 135840783 4287605744 4287600320 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 32371 31641 348 325 0 31307 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129484
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2271
/proc/meminfo: memFree=27552460/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=198968 CPUtime=51.07 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 49415 0 0 0 5097 10 0 0 20 0 1 0 337176259 203743232 49011 33554432000 134512640 135840783 4287605744 4287603104 6001959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 49742 49011 348 325 0 48678 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 198968
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2271
/proc/meminfo: memFree=27408044/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=304764 CPUtime=102.27 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 76024 0 0 0 10211 16 0 0 20 0 1 0 337176259 312078336 75453 33554432000 134512640 135840783 4287605744 4287605168 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 76191 75453 348 325 0 75127 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 304764
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2272
/proc/meminfo: memFree=27368020/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=304764 CPUtime=162.25 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 76024 0 0 0 16209 16 0 0 20 0 1 0 337176259 312078336 75453 33554432000 134512640 135840783 4287605744 4287605104 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 76191 75453 348 325 0 75127 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 304764
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2272
/proc/meminfo: memFree=27329732/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=304764 CPUtime=222.24 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 76024 0 0 0 22208 16 0 0 20 0 1 0 337176259 312078336 75453 33554432000 134512640 135840783 4287605744 4287604816 5999518 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 76191 75453 348 325 0 75127 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 304764
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2272
/proc/meminfo: memFree=27261824/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=344356 CPUtime=282.22 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 85922 0 0 0 28201 21 0 0 20 0 1 0 337176259 352620544 85345 33554432000 134512640 135840783 4287605744 4287605104 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 86089 85345 348 325 0 85025 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 344356
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2272
/proc/meminfo: memFree=27197620/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=370880 CPUtime=342.18 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 92804 0 0 0 34194 24 0 0 20 0 1 0 337176259 379781120 91979 33554432000 134512640 135840783 4287605744 4287605168 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 92720 91979 348 325 0 91656 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 370880
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2272
/proc/meminfo: memFree=27162804/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=370880 CPUtime=402.12 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 92852 0 0 0 40188 24 0 0 20 0 1 0 337176259 379781120 91979 33554432000 134512640 135840783 4287605744 4287605104 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 92720 91979 348 325 0 91656 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 370880
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2273
/proc/meminfo: memFree=27134312/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=370880 CPUtime=462.09 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 92900 0 0 0 46185 24 0 0 20 0 1 0 337176259 379781120 91979 33554432000 134512640 135840783 4287605744 4287605104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 92720 91979 348 325 0 91656 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 370880
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2276
/proc/meminfo: memFree=27089012/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=370880 CPUtime=522.07 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 92912 0 0 0 52183 24 0 0 20 0 1 0 337176259 379781120 91979 33554432000 134512640 135840783 4287605744 4287605104 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 92720 91979 348 325 0 91656 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 370880
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2276
/proc/meminfo: memFree=27053432/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=370880 CPUtime=582.06 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 92912 0 0 0 58182 24 0 0 20 0 1 0 337176259 379781120 91979 33554432000 134512640 135840783 4287605744 4287605104 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 92720 91979 348 325 0 91656 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 370880
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2277
/proc/meminfo: memFree=26876484/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=882.02 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 88175 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605040 134571424 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 397288
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2277
/proc/meminfo: memFree=26850320/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=942.01 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 94174 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287602884 5988706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 397288
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2277
/proc/meminfo: memFree=26821552/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1002 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 100173 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 397288
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2278
/proc/meminfo: memFree=26799356/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1061.99 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 106172 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 397288
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2281
/proc/meminfo: memFree=26766860/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1121.98 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 112171 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605056 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 397288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26738468/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1181.97 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 118170 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 397288
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26711092/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1241.96 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 124169 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 397288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2281
/proc/meminfo: memFree=26686692/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1301.96 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 130169 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605168 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 397288
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2321
/proc/meminfo: memFree=28216888/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1361.94 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 136167 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 397288
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2321
/proc/meminfo: memFree=28036724/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1421.94 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 142167 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 397288
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2321
/proc/meminfo: memFree=27956868/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1481.93 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 148166 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 397288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2322
/proc/meminfo: memFree=27865720/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1541.92 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99845 0 0 0 154165 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 397288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2322
/proc/meminfo: memFree=27804568/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1601.9 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 160163 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 397288
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2323
/proc/meminfo: memFree=27727284/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1661.9 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 166163 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 397288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2326
/proc/meminfo: memFree=27656500/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1721.88 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 172161 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287604912 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 397288
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2326
/proc/meminfo: memFree=27607432/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1781.88 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 178161 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 397288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2326
/proc/meminfo: memFree=27594380/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1800.08 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 179981 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 397288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2326
/proc/meminfo: memFree=27594380/32873844 swapFree=7112/7112
[pid=2270] ppid=2268 vsize=397288 CPUtime=1800.08 cores=0,2,4,6
/proc/2270/stat : 2270 (bsolo3.0.17) R 2268 2270 31541 0 -1 4202496 99850 0 0 0 179981 27 0 0 20 0 1 0 337176259 406822912 98603 33554432000 134512640 135840783 4287605744 4287605104 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2270/statm: 99322 98603 348 325 0 98258 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 397288
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.81
CPU system time (s): 0.274958
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 398620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.274958
maximum resident set size= 395648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99853
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= 191
involuntary context switches= 1871
runsolver used 3.2505 second user time and 9.02463 second system time
The end