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-3737309-1338716423/watcher-3737309-1338716423 -o /tmp/evaluation-result-3737309-1338716423/solver-3737309-1338716423 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737309-1338716423.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: 2.00 2.00 1.92 4/176 23428
/proc/meminfo: memFree=28766192/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 337770763 4583424 157 33554432000 134512640 135840783 4294848512 4294847852 7181656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 1119 157 135 325 0 39 0
[startup+0.039397 s]
/proc/loadavg: 2.00 2.00 1.92 4/176 23428
/proc/meminfo: memFree=28766192/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=8844 CPUtime=0.03 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 1513 0 0 0 3 0 0 0 20 0 1 0 337770763 9056256 1450 33554432000 134512640 135840783 4294848512 4294846960 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 2211 1451 370 325 0 1097 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8844
[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 1.92 4/176 23428
/proc/meminfo: memFree=28766192/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=13404 CPUtime=0.08 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 2663 0 0 0 8 0 0 0 20 0 1 0 337770763 13725696 2550 33554432000 134512640 135840783 4294848512 4294652940 1274928 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 3351 2550 343 325 0 2287 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13404
[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 1.92 4/176 23428
/proc/meminfo: memFree=28766192/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=16752 CPUtime=0.28 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 3632 0 0 0 28 0 0 0 20 0 1 0 337770763 17154048 3391 33554432000 134512640 135840783 4294848512 4294842080 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 4188 3391 349 325 0 3124 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16752
[startup+0.700268 s]
/proc/loadavg: 2.00 2.00 1.92 4/176 23428
/proc/meminfo: memFree=28766192/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=26060 CPUtime=0.69 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 5970 0 0 0 68 1 0 0 20 0 1 0 337770763 26685440 5729 33554432000 134512640 135840783 4294848512 4294842208 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 6515 5729 349 325 0 5451 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26060
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23430
/proc/meminfo: memFree=28735788/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=38508 CPUtime=1.49 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 9071 0 0 0 147 2 0 0 20 0 1 0 337770763 39432192 8830 33554432000 134512640 135840783 4294848512 4294842224 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 9627 8830 349 325 0 8563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38508
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23430
/proc/meminfo: memFree=28716148/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=63456 CPUtime=3.08 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 15334 0 0 0 304 4 0 0 20 0 1 0 337770763 64978944 15121 33554432000 134512640 135840783 4294848512 4294842128 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 15864 15121 349 325 0 14800 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63456
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23430
/proc/meminfo: memFree=28677940/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=99756 CPUtime=6.28 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 24407 0 0 0 622 6 0 0 20 0 1 0 337770763 102150144 24194 33554432000 134512640 135840783 4294848512 4294842080 7742759 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 24939 24195 349 325 0 23875 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 99756
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23430
/proc/meminfo: memFree=28617392/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=149152 CPUtime=12.68 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 36733 0 0 0 1260 8 0 0 20 0 1 0 337770763 152731648 36520 33554432000 134512640 135840783 4294848512 4294847936 134546112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 37288 36520 349 325 0 36224 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 149152
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23430
/proc/meminfo: memFree=28614060/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=149152 CPUtime=25.48 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 36736 0 0 0 2540 8 0 0 20 0 1 0 337770763 152731648 36520 33554432000 134512640 135840783 4294848512 4294847872 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 37288 36520 349 325 0 36224 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149152
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23430
/proc/meminfo: memFree=28606844/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=155492 CPUtime=51.06 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 38367 0 0 0 5098 8 0 0 20 0 1 0 337770763 159223808 38135 33554432000 134512640 135840783 4294848512 4294847872 134550902 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 38873 38135 349 325 0 37809 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 155492
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23430
/proc/meminfo: memFree=28595172/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=166984 CPUtime=102.24 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 41242 0 0 0 10215 9 0 0 20 0 1 0 337770763 170991616 40978 33554432000 134512640 135840783 4294848512 4294847824 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 41746 40978 349 325 0 40682 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 166984
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23430
/proc/meminfo: memFree=28600504/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=160424 CPUtime=162.22 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 41242 0 0 0 16213 9 0 0 20 0 1 0 337770763 164274176 39370 33554432000 134512640 135840783 4294848512 4294842336 134586562 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 40106 39370 349 325 0 39042 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 160424
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23430
/proc/meminfo: memFree=28599944/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=161156 CPUtime=222.21 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 41397 0 0 0 22212 9 0 0 20 0 1 0 337770763 165023744 39524 33554432000 134512640 135840783 4294848512 4294847872 134550913 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 40289 39524 349 325 0 39225 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 161156
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23430
/proc/meminfo: memFree=28587420/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=172848 CPUtime=282.2 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 44345 0 0 0 28209 11 0 0 20 0 1 0 337770763 176996352 42472 33554432000 134512640 135840783 4294848512 4294847872 134550994 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 43212 42472 349 325 0 42148 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 172848
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23431
/proc/meminfo: memFree=28586788/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=173072 CPUtime=342.19 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 44566 0 0 0 34208 11 0 0 20 0 1 0 337770763 177225728 42500 33554432000 134512640 135840783 4294848512 4294847872 134550902 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 43268 42500 349 325 0 42204 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 173072
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23431
/proc/meminfo: memFree=28579720/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=180284 CPUtime=402.18 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 46368 0 0 0 40207 11 0 0 20 0 1 0 337770763 184610816 44302 33554432000 134512640 135840783 4294848512 4294847872 134550916 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 45071 44302 349 325 0 44007 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 180284
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23431
/proc/meminfo: memFree=28574008/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=187644 CPUtime=462.17 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 48277 0 0 0 46205 12 0 0 20 0 1 0 337770763 192147456 46143 33554432000 134512640 135840783 4294848512 4294847936 134546114 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 46911 46143 349 325 0 45847 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 187644
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23431
/proc/meminfo: memFree=28571652/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=187880 CPUtime=522.16 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 48336 0 0 0 52204 12 0 0 20 0 1 0 337770763 192389120 46202 33554432000 134512640 135840783 4294848512 4294847872 134551330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 46970 46202 349 325 0 45906 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 187880
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23434
/proc/meminfo: memFree=28571612/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=187268 CPUtime=582.15 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 48340 0 0 0 58203 12 0 0 20 0 1 0 337770763 191762432 46081 33554432000 134512640 135840783 4294848512 4294847828 7737284 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 46817 46081 349 325 0 45753 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 187268
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23435
/proc/meminfo: memFree=28562396/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=196276 CPUtime=822.11 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 50780 0 0 0 82198 13 0 0 20 0 1 0 337770763 200986624 48301 33554432000 134512640 135840783 4294848512 4294847872 134550764 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 49069 48301 349 325 0 48005 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 196276
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23435
/proc/meminfo: memFree=28562084/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=196424 CPUtime=882.1 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 50817 0 0 0 88197 13 0 0 20 0 1 0 337770763 201138176 48338 33554432000 134512640 135840783 4294848512 4294847872 134550817 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 49106 48338 349 325 0 48042 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 196424
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23436
/proc/meminfo: memFree=28562084/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=196424 CPUtime=942.09 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 50826 0 0 0 94196 13 0 0 20 0 1 0 337770763 201138176 48347 33554432000 134512640 135840783 4294848512 4294847872 134551093 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 49106 48347 349 325 0 48042 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 196424
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23436
/proc/meminfo: memFree=28562084/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=196424 CPUtime=1002.08 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 50826 0 0 0 100195 13 0 0 20 0 1 0 337770763 201138176 48347 33554432000 134512640 135840783 4294848512 4294847872 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 49106 48347 349 325 0 48042 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 196424
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23436
/proc/meminfo: memFree=28562084/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=196424 CPUtime=1062.07 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 50826 0 0 0 106194 13 0 0 20 0 1 0 337770763 201138176 48347 33554432000 134512640 135840783 4294848512 4294847872 134550902 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 49106 48347 349 325 0 48042 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 196424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/177 23436
/proc/meminfo: memFree=28553156/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205520 CPUtime=1122.06 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53091 0 0 0 112192 14 0 0 20 0 1 0 337770763 210452480 50612 33554432000 134512640 135840783 4294848512 4294847872 134550899 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51380 50612 349 325 0 50316 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 205520
[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 1.94 4/178 23439
/proc/meminfo: memFree=28551752/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205520 CPUtime=1182.06 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53121 0 0 0 118192 14 0 0 20 0 1 0 337770763 210452480 50642 33554432000 134512640 135840783 4294848512 4294842276 7737302 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51380 50642 349 325 0 50316 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 205520
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 1.94 4/178 23441
/proc/meminfo: memFree=28551504/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205752 CPUtime=1242.05 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53153 0 0 0 124191 14 0 0 20 0 1 0 337770763 210690048 50670 33554432000 134512640 135840783 4294848512 4294847872 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51438 50670 349 325 0 50374 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 205752
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.94 4/178 23463
/proc/meminfo: memFree=28551660/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205752 CPUtime=1302.04 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53153 0 0 0 130190 14 0 0 20 0 1 0 337770763 210690048 50670 33554432000 134512640 135840783 4294848512 4294847824 134550782 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51438 50670 349 325 0 50374 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 205752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.94 4/177 23463
/proc/meminfo: memFree=28551604/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205752 CPUtime=1362.03 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53154 0 0 0 136189 14 0 0 20 0 1 0 337770763 210690048 50670 33554432000 134512640 135840783 4294848512 4294847872 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51438 50670 349 325 0 50374 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 205752
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.94 4/177 23463
/proc/meminfo: memFree=28552224/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205916 CPUtime=1422.03 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53195 0 0 0 142189 14 0 0 20 0 1 0 337770763 210857984 50711 33554432000 134512640 135840783 4294848512 4294847872 134551030 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51479 50711 349 325 0 50415 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 205916
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.95 4/177 23463
/proc/meminfo: memFree=28552100/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205916 CPUtime=1482.01 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53195 0 0 0 148187 14 0 0 20 0 1 0 337770763 210857984 50711 33554432000 134512640 135840783 4294848512 4294847824 134551186 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51479 50711 349 325 0 50415 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 205916
[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 1.96 4/177 23464
/proc/meminfo: memFree=28552224/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205916 CPUtime=1542 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53195 0 0 0 154186 14 0 0 20 0 1 0 337770763 210857984 50711 33554432000 134512640 135840783 4294848512 4294847872 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51479 50711 349 325 0 50415 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 205916
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.96 4/177 23464
/proc/meminfo: memFree=28552224/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=205916 CPUtime=1601.99 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 53195 0 0 0 160185 14 0 0 20 0 1 0 337770763 210857984 50711 33554432000 134512640 135840783 4294848512 4294847872 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 51479 50711 349 325 0 50415 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 205916
[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 1.98 4/177 23464
/proc/meminfo: memFree=28542108/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=215944 CPUtime=1661.98 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 55706 0 0 0 166183 15 0 0 20 0 1 0 337770763 221126656 53218 33554432000 134512640 135840783 4294848512 4294847872 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 53986 53218 349 325 0 52922 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 215944
[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 1.98 4/177 23464
/proc/meminfo: memFree=28541984/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=216100 CPUtime=1721.97 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 55745 0 0 0 172182 15 0 0 20 0 1 0 337770763 221286400 53257 33554432000 134512640 135840783 4294848512 4294847824 134551330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 54025 53257 349 325 0 52961 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 216100
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 1.98 4/178 23467
/proc/meminfo: memFree=28541216/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=215824 CPUtime=1781.96 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 55802 0 0 0 178181 15 0 0 20 0 1 0 337770763 221003776 53188 33554432000 134512640 135840783 4294848512 4294847936 134546118 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 53956 53188 349 325 0 52892 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 215824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.05 1.98 2/177 23468
/proc/meminfo: memFree=28552152/32873844 swapFree=6872/6872
[pid=23428] ppid=23424 vsize=215824 CPUtime=1800.07 cores=1,3,5,7
/proc/23428/stat : 23428 (bsolo3.0.17) R 23424 23428 23291 0 -1 4202496 55802 0 0 0 179992 15 0 0 20 0 1 0 337770763 221003776 53188 33554432000 134512640 135840783 4294848512 4294847872 134550764 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23428/statm: 53956 53188 349 325 0 52892 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 215824
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.41
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.154976
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 216100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.154976
maximum resident set size= 213028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55805
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= 95
involuntary context switches= 2756
runsolver used 3.63045 second user time and 10.2644 second system time
The end