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-3741616-1338761075/watcher-3741616-1338761075 -o /tmp/evaluation-result-3741616-1338761075/solver-3741616-1338761075 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741616-1338761075.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.04 3/176 22571
/proc/meminfo: memFree=27925168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4194304 172 0 0 0 0 0 0 0 20 0 1 0 342234376 4583424 123 33554432000 134512640 135840783 4289304832 4289303748 11205176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1119 133 114 325 0 39 0
[startup+0.0629001 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 22571
/proc/meminfo: memFree=27925168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=22740 CPUtime=0.05 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 1022 0 0 0 5 0 0 0 20 0 1 0 342234376 23285760 958 33554432000 134512640 135840783 4289304832 4289303824 134525046 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 5685 959 504 325 0 2400 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22740
[startup+0.100243 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 22571
/proc/meminfo: memFree=27925168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=15616 CPUtime=0.09 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 1278 0 0 0 9 0 0 0 20 0 1 0 342234376 15990784 1214 33554432000 134512640 135840783 4289304832 4289303536 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 3904 1215 612 325 0 619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15616
[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 22571
/proc/meminfo: memFree=27925168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=25380 CPUtime=0.29 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 4341 0 0 0 29 0 0 0 20 0 1 0 342234376 25989120 4277 33554432000 134512640 135840783 4289304832 4289303536 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 6345 4277 1216 325 0 3060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25380
[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 22571
/proc/meminfo: memFree=27925168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=44768 CPUtime=0.69 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 10408 0 0 0 68 1 0 0 20 0 1 0 342234376 45842432 10344 33554432000 134512640 135840783 4289304832 4289303980 134519752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 11192 10345 2432 325 0 7907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44768
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22572
/proc/meminfo: memFree=27874536/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=1.48 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15217 0 0 0 147 1 0 0 20 0 1 0 342234376 56090624 12932 33554432000 134512640 135840783 4289304832 4289174208 134550576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12932 344 325 0 12630 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 54776
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22572
/proc/meminfo: memFree=27874164/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=3.08 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15217 0 0 0 307 1 0 0 20 0 1 0 342234376 56090624 12932 33554432000 134512640 135840783 4289304832 4289174208 134550823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12932 344 325 0 12630 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 54776
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22572
/proc/meminfo: memFree=27874056/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=6.28 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15217 0 0 0 627 1 0 0 20 0 1 0 342234376 56090624 12932 33554432000 134512640 135840783 4289304832 4289174208 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12932 344 325 0 12630 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 54776
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 22572
/proc/meminfo: memFree=27874996/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=12.69 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15217 0 0 0 1267 2 0 0 20 0 1 0 342234376 56090624 12932 33554432000 134512640 135840783 4289304832 4289174208 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12932 344 325 0 12630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54776
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 22572
/proc/meminfo: memFree=27875824/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=25.48 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15222 0 0 0 2546 2 0 0 20 0 1 0 342234376 56090624 12932 33554432000 134512640 135840783 4289304832 4289174208 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12932 344 325 0 12630 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54776
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 22572
/proc/meminfo: memFree=27875716/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=54776 CPUtime=51.07 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 15252 0 0 0 5105 2 0 0 20 0 1 0 342234376 56090624 12976 33554432000 134512640 135840783 4289304832 4289174208 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 13694 12976 344 325 0 12630 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54776
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 22573
/proc/meminfo: memFree=27863956/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=66624 CPUtime=102.27 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 18208 0 0 0 10220 7 0 0 20 0 1 0 342234376 68222976 15932 33554432000 134512640 135840783 4289304832 4289174172 7685168 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 16656 15932 346 325 0 15592 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 22573
/proc/meminfo: memFree=27599748/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=333820 CPUtime=162.23 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 85181 0 0 0 16202 21 0 0 20 0 1 0 342234376 341831680 82718 33554432000 134512640 135840783 4289304832 4289304192 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 83455 82718 351 325 0 82391 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 333820
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 22574
/proc/meminfo: memFree=27458168/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=472028 CPUtime=222.22 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 119750 0 0 0 22196 26 0 0 20 0 1 0 342234376 483356672 117281 33554432000 134512640 135840783 4289304832 4289304192 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 118007 117281 351 325 0 116943 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 472028
[startup+282.3 s]
/proc/loadavg: 1.93 1.98 2.00 3/177 22651
/proc/meminfo: memFree=27335724/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=544576 CPUtime=282.19 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 137903 0 0 0 28190 29 0 0 20 0 1 0 342234376 557645824 135420 33554432000 134512640 135840783 4289304832 4289304192 134550890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 136144 135420 351 325 0 135080 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 544576
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22654
/proc/meminfo: memFree=27202936/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=671628 CPUtime=342.18 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 169684 0 0 0 34185 33 0 0 20 0 1 0 342234376 687747072 167196 33554432000 134512640 135840783 4289304832 4289304192 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 167907 167196 351 325 0 166843 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 671628
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22654
/proc/meminfo: memFree=26934016/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=895228 CPUtime=402.16 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 225575 0 0 0 40174 42 0 0 20 0 1 0 342234376 916713472 223070 33554432000 134512640 135840783 4289304832 4289304192 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 223807 223070 351 325 0 222743 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 895228
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22654
/proc/meminfo: memFree=26662484/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=1083556 CPUtime=462.13 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 272684 0 0 0 46165 48 0 0 20 0 1 0 342234376 1109561344 270165 33554432000 134512640 135840783 4289304832 4289277488 134573224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 270889 270165 351 325 0 269825 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1083556
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22655
/proc/meminfo: memFree=26427904/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=1284988 CPUtime=522.12 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 323054 0 0 0 52156 56 0 0 20 0 1 0 342234376 1315827712 320523 33554432000 134512640 135840783 4289304832 4289304192 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 321247 320523 351 325 0 320183 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1284988
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22655
/proc/meminfo: memFree=26094248/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=1529072 CPUtime=582.1 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 384095 0 0 0 58146 64 0 0 20 0 1 0 342234376 1565769728 381558 33554432000 134512640 135840783 4289304832 4289304144 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 382268 381558 351 325 0 381204 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1529072
[startup+642.3 s]
################
# More data... #
################
[pid=22571] ppid=22569 vsize=2915032 CPUtime=1061.94 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 730622 0 0 0 106081 113 0 0 20 0 1 0 342234376 2984992768 728021 33554432000 134512640 135840783 4289304832 4289304192 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 728758 728021 351 325 0 727694 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 2915032
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 22660
/proc/meminfo: memFree=23866696/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=3197780 CPUtime=1121.93 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 801323 0 0 0 112070 123 0 0 20 0 1 0 342234376 3274526720 798707 33554432000 134512640 135840783 4289304832 4289304192 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 799445 798707 351 325 0 798381 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 3197780
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22660
/proc/meminfo: memFree=23576936/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=3448536 CPUtime=1181.91 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 864046 0 0 0 118058 133 0 0 20 0 1 0 342234376 3531300864 861417 33554432000 134512640 135840783 4289304832 4289304192 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 862134 861417 351 325 0 861070 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 3448536
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22660
/proc/meminfo: memFree=23426308/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=3570728 CPUtime=1241.9 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 894599 0 0 0 124051 139 0 0 20 0 1 0 342234376 3656425472 891967 33554432000 134512640 135840783 4289304832 4289304144 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 892682 891967 351 325 0 891618 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 3570728
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22660
/proc/meminfo: memFree=23221860/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=3713544 CPUtime=1301.89 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 930308 0 0 0 130043 146 0 0 20 0 1 0 342234376 3802669056 927672 33554432000 134512640 135840783 4289304832 4289304192 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 928386 927672 351 325 0 927322 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 3713544
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22660
/proc/meminfo: memFree=22989760/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=3878520 CPUtime=1361.86 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 971553 0 0 0 136034 152 0 0 20 0 1 0 342234376 3971604480 968914 33554432000 134512640 135840783 4289304832 4289304192 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 969630 968914 351 325 0 968566 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 3878520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22661
/proc/meminfo: memFree=22794240/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4019740 CPUtime=1421.86 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 1006850 0 0 0 142027 159 0 0 20 0 1 0 342234376 4116213760 1004211 33554432000 134512640 135840783 4289304832 4289304192 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1004935 1004211 351 325 0 1003871 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 4019740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22661
/proc/meminfo: memFree=22635908/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4137508 CPUtime=1481.84 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4202496 1036111 0 0 0 148020 164 0 0 20 0 1 0 342234376 4236808192 1033468 33554432000 134512640 135840783 4289304832 4289304128 134572583 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1034377 1033468 351 325 0 1033313 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 4137508
[startup+1542.3 s]
/proc/loadavg: 3.03 2.24 2.08 2/179 22665
/proc/meminfo: memFree=15017320/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.23 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 357 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.23
Current children cumulated vsize (KiB) 4188712
[startup+1602.3 s]
/proc/loadavg: 4.28 2.74 2.26 2/178 22665
/proc/meminfo: memFree=13956300/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1662.3 s]
/proc/loadavg: 4.73 3.15 2.43 2/178 22665
/proc/meminfo: memFree=13929920/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
Solver just ended. Dumping a history of the last processes samples
[startup+1664.9 s]
/proc/loadavg: 4.73 3.15 2.43 2/178 22665
/proc/meminfo: memFree=13928556/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1671.3 s]
/proc/loadavg: 4.75 3.18 2.44 2/178 22665
/proc/meminfo: memFree=13925812/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1674.5 s]
/proc/loadavg: 4.77 3.21 2.45 2/178 22665
/proc/meminfo: memFree=13924572/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1676.1 s]
/proc/loadavg: 4.77 3.21 2.45 2/178 22665
/proc/meminfo: memFree=13923952/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1677.7 s]
/proc/loadavg: 4.79 3.24 2.47 2/178 22665
/proc/meminfo: memFree=13923068/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1678.1 s]
/proc/loadavg: 4.79 3.24 2.47 2/178 22665
/proc/meminfo: memFree=13923068/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1678.3 s]
/proc/loadavg: 4.79 3.24 2.47 2/178 22665
/proc/meminfo: memFree=13923068/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=4188712 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) S 22569 22571 20253 0 -1 4204032 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 4289241088 1046501 33554432000 134512640 135840783 4289304832 4289228120 7685168 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 1047178 1046501 380 325 0 1046114 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 4188712
[startup+1684.08 s]
/proc/loadavg: 4.81 3.27 2.48 7/179 22666
/proc/meminfo: memFree=14024288/32873648 swapFree=6864/6864
[pid=22571] ppid=22569 vsize=0 CPUtime=1517.57 cores=1,3,5,7
/proc/22571/stat : 22571 (bsolo3.0.17) R 22569 22571 20253 0 -1 4204036 1049145 0 0 0 151366 391 0 0 20 0 1 0 342234376 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1517.57
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1684.19
CPU time (s): 1517.68
CPU user time (s): 1513.66
CPU system time (s): 4.01739
CPU usage (%): 90.1135
Max. virtual memory (cumulated for all children) (KiB): 4188712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.66
system time used= 4.01739
maximum resident set size= 4186004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1049145
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= 996996
involuntary context switches= 1550
runsolver used 4.6103 second user time and 18.1832 second system time
The end