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-3741355-1338758145/watcher-3741355-1338758145 -o /tmp/evaluation-result-3741355-1338758145/solver-3741355-1338758145 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741355-1338758145.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.01 2.00 3/176 22356
/proc/meminfo: memFree=27519928/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4194304 188 0 0 0 0 0 0 0 20 0 1 0 341941373 4583424 138 33554432000 134512640 135840783 4292332192 4292331108 11205176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1119 144 126 325 0 39 0
[startup+0.0331229 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22356
/proc/meminfo: memFree=27519928/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=5832 CPUtime=0.02 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 745 0 0 0 2 0 0 0 20 0 1 0 341941373 5971968 681 33554432000 134512640 135840783 4292332192 4292331184 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1458 681 395 325 0 310 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5832
[startup+0.100259 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22356
/proc/meminfo: memFree=27519928/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=6776 CPUtime=0.09 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 1089 0 0 0 9 0 0 0 20 0 1 0 341941373 6938624 941 33554432000 134512640 135840783 4292332192 4292254508 8590384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1694 941 343 325 0 630 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6776
[startup+0.300228 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22356
/proc/meminfo: memFree=27519928/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=6776 CPUtime=0.29 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 1089 0 0 0 29 0 0 0 20 0 1 0 341941373 6938624 941 33554432000 134512640 135840783 4292332192 4292254508 8590384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1694 941 343 325 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6776
[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22356
/proc/meminfo: memFree=27519928/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=15408 CPUtime=0.68 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 3527 0 0 0 68 0 0 0 20 0 1 0 341941373 15777792 3118 33554432000 134512640 135840783 4292332192 4292331552 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 3852 3118 348 325 0 2788 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15408
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=27498468/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=43116 CPUtime=1.49 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 10453 0 0 0 147 2 0 0 20 0 1 0 341941373 44150784 10044 33554432000 134512640 135840783 4292332192 4292255540 2768952 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 10779 10044 348 325 0 9715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43116
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=27461516/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=93636 CPUtime=3.08 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 23084 0 0 0 305 3 0 0 20 0 1 0 341941373 95883264 22675 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 23409 22675 348 325 0 22345 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 93636
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=27375744/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=166724 CPUtime=6.28 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 41355 0 0 0 622 6 0 0 20 0 1 0 341941373 170725376 40946 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 41681 40946 348 325 0 40617 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166724
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=27246944/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=291372 CPUtime=12.69 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 72516 0 0 0 1258 11 0 0 20 0 1 0 341941373 298364928 72107 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 72843 72107 348 325 0 71779 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 291372
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=27103516/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=426292 CPUtime=25.49 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 106247 0 0 0 2533 16 0 0 20 0 1 0 341941373 436523008 105838 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 106573 105838 348 325 0 105509 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 426292
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22357
/proc/meminfo: memFree=26752936/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=774120 CPUtime=51.08 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 193204 0 0 0 5075 33 0 0 20 0 1 0 341941373 792698880 192795 33554432000 134512640 135840783 4292332192 4292331552 134550913 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 193530 192795 348 325 0 192466 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 774120
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22358
/proc/meminfo: memFree=26383152/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=1139044 CPUtime=102.28 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 284436 0 0 0 10178 50 0 0 20 0 1 0 341941373 1166381056 284027 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 284761 284027 348 325 0 283697 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1139044
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22358
/proc/meminfo: memFree=26201596/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=1320548 CPUtime=162.26 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 329817 0 0 0 16163 63 0 0 20 0 1 0 341941373 1352241152 329403 33554432000 134512640 135840783 4292332192 4292331552 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 330137 329403 348 325 0 329073 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1320548
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22358
/proc/meminfo: memFree=25872280/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=1649272 CPUtime=222.25 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 412003 0 0 0 22147 78 0 0 20 0 1 0 341941373 1688854528 411584 33554432000 134512640 135840783 4292332192 4292331552 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 412318 411584 348 325 0 411254 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1649272
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22361
/proc/meminfo: memFree=25590360/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=1933496 CPUtime=282.23 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 483060 0 0 0 28130 93 0 0 20 0 1 0 341941373 1979899904 482640 33554432000 134512640 135840783 4292332192 4292331552 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 483374 482640 348 325 0 482310 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1933496
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22361
/proc/meminfo: memFree=25358712/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=2173316 CPUtime=342.2 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 543020 0 0 0 34116 104 0 0 20 0 1 0 341941373 2225475584 542594 33554432000 134512640 135840783 4292332192 4292331552 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 543329 542594 348 325 0 542265 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2173316
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22362
/proc/meminfo: memFree=25208596/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=2473420 CPUtime=402.19 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 618047 0 0 0 40100 119 0 0 20 0 1 0 341941373 2532782080 617621 33554432000 134512640 135840783 4292332192 4292331552 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 618355 617621 348 325 0 617291 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 2473420
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22362
/proc/meminfo: memFree=24995096/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=2684152 CPUtime=462.17 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 670730 0 0 0 46085 132 0 0 20 0 1 0 341941373 2748571648 670304 33554432000 134512640 135840783 4292332192 4292331552 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 671038 670304 348 325 0 669974 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 2684152
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22362
/proc/meminfo: memFree=24810240/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=2824116 CPUtime=522.15 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 705727 0 0 0 52075 140 0 0 20 0 1 0 341941373 2891894784 705295 33554432000 134512640 135840783 4292332192 4292331488 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 706029 705295 348 325 0 704965 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2824116
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22362
/proc/meminfo: memFree=24673000/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=2960328 CPUtime=582.14 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 739780 0 0 0 58066 148 0 0 20 0 1 0 341941373 3031375872 739348 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 740082 739348 348 325 0 739018 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 2960328
[startup+642.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22362
/proc/meminfo: memFree=24571100/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=3061196 CPUtime=642.14 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 764997 0 0 0 64060 154 0 0 20 0 1 0 341941373 3134664704 764565 33554432000 134512640 135840783 4292332192 4292331552 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 765299 764565 348 325 0 764235 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 3061196
[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22363
/proc/meminfo: memFree=24500448/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=3132672 CPUtime=702.13 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 782866 0 0 0 70055 158 0 0 20 0 1 0 341941373 3207856128 782434 33554432000 134512640 135840783 4292332192 4292331552 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 783168 782434 348 325 0 782104 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 3132672
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22363
/proc/meminfo: memFree=24052712/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=3564996 CPUtime=762.1 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 890948 0 0 0 76032 178 0 0 20 0 1 0 341941373 3650555904 890514 33554432000 134512640 135840783 4292332192 4292331552 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 891249 890514 348 325 0 890185 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 3564996
[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22363
/proc/meminfo: memFree=23838096/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=3750832 CPUtime=822.07 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 937408 0 0 0 82019 188 0 0 20 0 1 0 341941373 3840851968 936974 33554432000 134512640 135840783 4292332192 4292331504 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 937708 936974 348 325 0 936644 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 3750832
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22366
/proc/meminfo: memFree=23605424/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=3923408 CPUtime=882.06 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 980470 0 0 0 88008 198 0 0 20 0 1 0 341941373 4017569792 980036 33554432000 134512640 135840783 4292332192 4292331552 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 980852 980036 348 325 0 979788 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 3923408
[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 22366
/proc/meminfo: memFree=23395032/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4105688 CPUtime=942.05 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4202496 1026129 0 0 0 93999 206 0 0 20 0 1 0 341941373 4204224512 1025695 33554432000 134512640 135840783 4292332192 4292331552 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1026422 1025695 348 325 0 1025358 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 4105688
[startup+1002.3 s]
/proc/loadavg: 2.80 2.19 2.06 2/178 22368
/proc/meminfo: memFree=16140684/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4187612 CPUtime=983.2 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) S 22354 22356 20253 0 -1 4204032 1046640 0 1 0 97724 596 0 0 20 0 1 0 341941373 4288114688 1046206 33554432000 134512640 135840783 4292332192 4292254856 8590384 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1046903 1046206 377 325 0 1045839 0
Current children cumulated CPU time (s) 983.2
Current children cumulated vsize (KiB) 4187612
[startup+1062.3 s]
/proc/loadavg: 4.24 2.71 2.24 2/178 22368
/proc/meminfo: memFree=14738224/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4187612 CPUtime=983.78 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) S 22354 22356 20253 0 -1 4204032 1046640 0 1 0 97724 654 0 0 20 0 1 0 341941373 4288114688 1046206 33554432000 134512640 135840783 4292332192 4292254856 8590384 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1046903 1046206 377 325 0 1045839 0
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (KiB) 4187612
[startup+1122.3 s]
/proc/loadavg: 4.78 3.14 2.42 2/178 22368
/proc/meminfo: memFree=14738128/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4187612 CPUtime=983.78 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) S 22354 22356 20253 0 -1 4204032 1046640 0 1 0 97724 654 0 0 20 0 1 0 341941373 4288114688 1046206 33554432000 134512640 135840783 4292332192 4292254856 8590384 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1046903 1046206 377 325 0 1045839 0
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (KiB) 4187612
Solver just ended. Dumping a history of the last processes samples
[startup+1122.4 s]
/proc/loadavg: 4.78 3.14 2.42 2/178 22368
/proc/meminfo: memFree=14738128/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4187612 CPUtime=983.78 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) S 22354 22356 20253 0 -1 4204032 1046640 0 1 0 97724 654 0 0 20 0 1 0 341941373 4288114688 1046206 33554432000 134512640 135840783 4292332192 4292254856 8590384 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1046903 1046206 377 325 0 1045839 0
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (KiB) 4187612
[startup+1123.2 s]
/proc/loadavg: 4.78 3.14 2.42 2/178 22368
/proc/meminfo: memFree=14739492/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=4187612 CPUtime=983.78 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) S 22354 22356 20253 0 -1 4204032 1046640 0 1 0 97724 654 0 0 20 0 1 0 341941373 4288114688 1046206 33554432000 134512640 135840783 4292332192 4292254856 8590384 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 1046903 1046206 377 325 0 1045839 0
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (KiB) 4187612
[startup+1123.4 s]
/proc/loadavg: 4.78 3.14 2.42 2/178 22368
/proc/meminfo: memFree=14739492/32873648 swapFree=6864/6864
[pid=22356] ppid=22354 vsize=0 CPUtime=983.85 cores=1,3,5,7
/proc/22356/stat : 22356 (bsolo3.0.17) R 22354 22356 20253 0 -1 4204036 1046640 0 1 0 97724 661 0 0 20 0 1 0 341941373 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22356/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 983.85
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1123.5
CPU time (s): 983.951
CPU user time (s): 977.242
CPU system time (s): 6.70898
CPU usage (%): 87.5794
Max. virtual memory (cumulated for all children) (KiB): 4187612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 977.242
system time used= 6.70898
maximum resident set size= 4184824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046640
page faults= 1
swaps= 0
block input operations= 136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 976210
involuntary context switches= 1013
runsolver used 2.19167 second user time and 5.84411 second system time
The end