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-3743569-1338786820/watcher-3743569-1338786820 -o /tmp/evaluation-result-3743569-1338786820/solver-3743569-1338786820 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743569-1338786820.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 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 344807490 2723840 47 33554432000 134512640 135840783 4288540064 4288538100 9585604 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 665 47 37 325 0 32 0
[startup+0.088226 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=11388 CPUtime=0.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1753 0 0 0 8 0 0 0 20 0 1 0 344807490 11661312 1649 33554432000 134512640 135840783 4288540064 4288538000 10097959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 2847 1649 543 325 0 1099 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11388
[startup+0.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=11656 CPUtime=0.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1828 0 0 0 9 0 0 0 20 0 1 0 344807490 11935744 1724 33554432000 134512640 135840783 4288540064 4288539056 134524931 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 2914 1724 570 325 0 1166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11656
[startup+0.300144 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20584 CPUtime=0.29 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5214 0 0 0 29 0 0 0 20 0 1 0 344807490 21078016 4290 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5146 4290 342 325 0 4082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20584
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3022
/proc/meminfo: memFree=25949828/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20584 CPUtime=0.69 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5214 0 0 0 69 0 0 0 20 0 1 0 344807490 21078016 4290 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5146 4290 342 325 0 4082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20584
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25932940/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=1.49 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5245 0 0 0 149 0 0 0 20 0 1 0 344807490 21213184 4321 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4321 342 325 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20716
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25931824/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=3.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5246 0 0 0 309 0 0 0 20 0 1 0 344807490 21213184 4322 33554432000 134512640 135840783 4288540064 4288053392 10095518 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4322 342 325 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20716
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25930160/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=20716 CPUtime=6.28 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5246 0 0 0 628 0 0 0 20 0 1 0 344807490 21213184 4322 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5179 4322 342 325 0 4115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20716
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25926252/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=21376 CPUtime=12.68 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5409 0 0 0 1268 0 0 0 20 0 1 0 344807490 21889024 4485 33554432000 134512640 135840783 4288540064 4288053392 10096439 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5344 4485 342 325 0 4280 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21376
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25923176/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=21376 CPUtime=25.48 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 5409 0 0 0 2547 1 0 0 20 0 1 0 344807490 21889024 4485 33554432000 134512640 135840783 4288540064 4288053756 4043824 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 5344 4485 342 325 0 4280 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21376
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3023
/proc/meminfo: memFree=25894284/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=43580 CPUtime=51.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 11643 0 0 0 5104 4 0 0 20 0 1 0 344807490 44625920 10044 33554432000 134512640 135840783 4288540064 4288539360 134572710 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 10895 10044 349 325 0 9831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43580
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25830424/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=90120 CPUtime=102.27 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 23267 0 0 0 10221 6 0 0 20 0 1 0 344807490 92282880 21668 33554432000 134512640 135840783 4288540064 4288539424 134551098 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 22530 21668 349 325 0 21466 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90120
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25764580/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=136008 CPUtime=162.26 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 34723 0 0 0 16217 9 0 0 20 0 1 0 344807490 139272192 33124 33554432000 134512640 135840783 4288540064 4288537520 134573434 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 34002 33124 349 325 0 32938 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 136008
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25686336/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=191692 CPUtime=222.25 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 48659 0 0 0 22213 12 0 0 20 0 1 0 344807490 196292608 47060 33554432000 134512640 135840783 4288540064 4288539360 134572580 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 47923 47060 349 325 0 46859 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 191692
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25377952/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=481532 CPUtime=282.24 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 121116 0 0 0 28200 24 0 0 20 0 1 0 344807490 493088768 119517 33554432000 134512640 135840783 4288540064 4288539424 134551065 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 120383 119517 349 325 0 119319 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 481532
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3024
/proc/meminfo: memFree=25115200/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=723068 CPUtime=342.23 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 181484 0 0 0 34191 32 0 0 20 0 1 0 344807490 740421632 179885 33554432000 134512640 135840783 4288540064 4288539360 134572665 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 180767 179885 349 325 0 179703 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 723068
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3028
/proc/meminfo: memFree=24907348/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=903756 CPUtime=402.23 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 226687 0 0 0 40184 39 0 0 20 0 1 0 344807490 925446144 225088 33554432000 134512640 135840783 4288540064 4288539360 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 225939 225088 349 325 0 224875 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 903756
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24764536/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1018944 CPUtime=462.21 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 255453 0 0 0 46178 43 0 0 20 0 1 0 344807490 1043398656 253854 33554432000 134512640 135840783 4288540064 4288539360 134572687 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 254736 253854 349 325 0 253672 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1018944
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24585632/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1182432 CPUtime=522.21 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 296325 0 0 0 52172 49 0 0 20 0 1 0 344807490 1210810368 294726 33554432000 134512640 135840783 4288540064 4288539360 134572684 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 295608 294726 349 325 0 294544 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1182432
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3028
/proc/meminfo: memFree=24410016/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1335544 CPUtime=582.19 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 334603 0 0 0 58165 54 0 0 20 0 1 0 344807490 1367597056 333004 33554432000 134512640 135840783 4288540064 4288539376 134551383 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 333886 333004 349 325 0 332822 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1335544
[startup+642.3 s]
################
# More data... #
################
[pid=3022] ppid=3020 vsize=1422424 CPUtime=642.17 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 356343 0 0 0 64158 59 0 0 20 0 1 0 344807490 1456562176 354724 33554432000 134512640 135840783 4288540064 4288539360 134572583 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 355606 354724 349 325 0 354542 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 1422424
[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 3068
/proc/meminfo: memFree=25159080/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1508784 CPUtime=702.15 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 377951 0 0 0 70151 64 0 0 20 0 1 0 344807490 1544994816 376322 33554432000 134512640 135840783 4288540064 4288539376 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 377196 376322 349 325 0 376132 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 1508784
[startup+762.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 3068
/proc/meminfo: memFree=25039076/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1583728 CPUtime=762.15 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 396704 0 0 0 76147 68 0 0 20 0 1 0 344807490 1621737472 395074 33554432000 134512640 135840783 4288540064 4288539232 9722623 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 395932 395074 349 325 0 394868 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 1583728
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3069
/proc/meminfo: memFree=24711232/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=1864064 CPUtime=822.13 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 466792 0 0 0 82135 78 0 0 20 0 1 0 344807490 1908801536 465158 33554432000 134512640 135840783 4288540064 4288539296 134574878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 466016 465158 349 325 0 464952 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 1864064
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 3069
/proc/meminfo: memFree=24087796/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2450644 CPUtime=882.1 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 613432 0 0 0 88113 97 0 0 20 0 1 0 344807490 2509459456 611779 33554432000 134512640 135840783 4288540064 4288539376 134551093 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 612661 611779 349 325 0 611597 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 2450644
[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 3069
/proc/meminfo: memFree=23574340/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=2925396 CPUtime=942.09 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 732129 0 0 0 94094 115 0 0 20 0 1 0 344807490 2995605504 730467 33554432000 134512640 135840783 4288540064 4288539424 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 731349 730467 349 325 0 730285 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 2925396
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3073
/proc/meminfo: memFree=23058468/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=3399852 CPUtime=1002.08 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 850746 0 0 0 100078 130 0 0 20 0 1 0 344807490 3481448448 849081 33554432000 134512640 135840783 4288540064 4288539424 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 849963 849081 349 325 0 848899 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 3399852
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 3073
/proc/meminfo: memFree=22636284/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=3763704 CPUtime=1062.06 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 941711 0 0 0 106064 142 0 0 20 0 1 0 344807490 3854032896 940044 33554432000 134512640 135840783 4288540064 4288539360 134572679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 940926 940044 349 325 0 939862 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 3763704
[startup+1122.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/175 3073
/proc/meminfo: memFree=22299788/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4087432 CPUtime=1122.04 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4202496 1017696 0 0 0 112053 151 0 0 20 0 1 0 344807490 4185530368 1016021 33554432000 134512640 135840783 4288540064 4288539376 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1021858 1016021 349 325 0 1020794 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 4087432
[startup+1182.3 s]
/proc/loadavg: 3.42 2.38 2.12 2/176 3074
/proc/meminfo: memFree=13833756/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1242.3 s]
/proc/loadavg: 4.48 2.87 2.30 2/176 3074
/proc/meminfo: memFree=13873620/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
Solver just ended. Dumping a history of the last processes samples
[startup+1255 s]
/proc/loadavg: 4.56 2.94 2.33 2/176 3074
/proc/meminfo: memFree=13867900/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1267.8 s]
/proc/loadavg: 4.66 3.04 2.37 2/176 3074
/proc/meminfo: memFree=13861344/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1271 s]
/proc/loadavg: 4.69 3.07 2.39 2/176 3074
/proc/meminfo: memFree=13860244/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1274.2 s]
/proc/loadavg: 4.69 3.07 2.39 2/176 3074
/proc/meminfo: memFree=13859624/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1275.8 s]
/proc/loadavg: 4.71 3.10 2.40 2/176 3074
/proc/meminfo: memFree=13859376/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1276.6 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=4186760 CPUtime=1145.39 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) S 3020 3022 2813 0 -1 4204032 1040274 0 0 0 113979 560 0 0 20 0 1 0 344807490 4287242240 1038598 33554432000 134512640 135840783 4288540064 4288253656 4043824 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3022/statm: 1046690 1038598 378 325 0 1045626 0
Current children cumulated CPU time (s) 1145.39
Current children cumulated vsize (KiB) 4186760
[startup+1276.8 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=0 CPUtime=1145.41 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4204036 1040274 0 0 0 113979 562 0 0 20 0 1 0 344807490 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1145.41
Current children cumulated vsize (KiB) 0
[startup+1276.9 s]
/proc/loadavg: 4.71 3.10 2.40 2/177 3075
/proc/meminfo: memFree=13861600/32873624 swapFree=7112/7112
[pid=3022] ppid=3020 vsize=0 CPUtime=1145.51 cores=1,3,5,7
/proc/3022/stat : 3022 (bsolo3.0.17) R 3020 3022 2813 0 -1 4204036 1040274 0 0 0 113979 572 0 0 20 0 1 0 344807490 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3022/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1145.51
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1276.97
CPU time (s): 1145.58
CPU user time (s): 1139.79
CPU system time (s): 5.79112
CPU usage (%): 89.7113
Max. virtual memory (cumulated for all children) (KiB): 4186760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1139.79
system time used= 5.79112
maximum resident set size= 4154392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1040274
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= 978925
involuntary context switches= 1183
runsolver used 1.9537 second user time and 4.92525 second system time
The end