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-3741724-1338762760/watcher-3741724-1338762760 -o /tmp/evaluation-result-3741724-1338762760/solver-3741724-1338762760 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741724-1338762760.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: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4194304 138 0 0 0 0 0 0 0 20 0 1 0 342402913 4583424 89 33554432000 134512640 135840783 4289715232 4289714148 11205176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 1119 108 90 325 0 39 0
[startup+0.0393919 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=23776 CPUtime=0.03 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 1219 0 0 0 3 0 0 0 20 0 1 0 342402913 24346624 1115 33554432000 134512640 135840783 4289715232 4289713936 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 5944 1115 454 325 0 2655 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23776
[startup+0.103273 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=20268 CPUtime=0.09 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 2658 0 0 0 9 0 0 0 20 0 1 0 342402913 20754432 2426 33554432000 134512640 135840783 4289715232 4289714224 134525286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 5067 2426 660 325 0 1778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20268
[startup+0.919562 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=45336 CPUtime=0.91 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 13616 0 0 0 89 2 0 0 20 0 1 0 342402913 46424064 10399 33554432000 134512640 135840783 4289715232 4289714608 12153904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 11334 10399 338 325 0 10270 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 45336
[startup+1.00359 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=78140 CPUtime=0.99 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21030 0 0 0 96 3 0 0 20 0 1 0 342402913 80015360 18176 33554432000 134512640 135840783 4289715232 4289714796 134551888 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19535 18176 344 325 0 18471 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 78140
[startup+1.56517 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=79652 CPUtime=1.55 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21210 0 0 0 152 3 0 0 20 0 1 0 342402913 81563648 18356 33554432000 134512640 135840783 4289715232 4287255788 12153904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19913 18356 344 325 0 18849 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 79652
[startup+3.56532 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=79652 CPUtime=3.55 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21210 0 0 0 352 3 0 0 20 0 1 0 342402913 81563648 18356 33554432000 134512640 135840783 4289715232 4287255788 12153904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19913 18356 344 325 0 18849 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 79652
[startup+7.56517 s]
/proc/loadavg: 4.81 3.27 2.48 3/177 22703
/proc/meminfo: memFree=26647316/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=79652 CPUtime=7.55 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21210 0 0 0 751 4 0 0 20 0 1 0 342402913 81563648 18356 33554432000 134512640 135840783 4289715232 4287255788 12153904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19913 18356 344 325 0 18849 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 79652
[startup+33.5662 s]
/proc/loadavg: 4.38 3.22 2.47 3/178 22704
/proc/meminfo: memFree=26574040/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=79652 CPUtime=33.55 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21212 0 0 0 3345 10 0 0 20 0 1 0 342402913 81563648 18358 33554432000 134512640 135840783 4289715232 4287255788 12153904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19913 18358 344 325 0 18849 0
Current children cumulated CPU time (s) 33.55
Current children cumulated vsize (KiB) 79652
[startup+35.5652 s]
/proc/loadavg: 4.38 3.22 2.47 3/178 22704
/proc/meminfo: memFree=26574040/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=79652 CPUtime=35.54 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 21212 0 0 0 3544 10 0 0 20 0 1 0 342402913 81563648 18358 33554432000 134512640 135840783 4289715232 4287255316 1569034 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 19913 18358 344 325 0 18849 0
Current children cumulated CPU time (s) 35.54
Current children cumulated vsize (KiB) 79652
[startup+51.5573 s]
/proc/loadavg: 3.29 3.09 2.46 8/178 22705
/proc/meminfo: memFree=26557080/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=84208 CPUtime=51.53 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 24722 0 0 0 5133 20 0 0 20 0 1 0 342402913 86228992 19532 33554432000 134512640 135840783 4289715232 4289714592 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 21052 19532 349 325 0 19988 0
Current children cumulated CPU time (s) 51.53
Current children cumulated vsize (KiB) 84208
[startup+103.565 s]
/proc/loadavg: 2.51 2.90 2.43 3/177 22705
/proc/meminfo: memFree=26514132/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=106420 CPUtime=103.54 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 30294 0 0 0 10332 22 0 0 20 0 1 0 342402913 108974080 25104 33554432000 134512640 135840783 4289715232 4289714368 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 26605 25104 349 325 0 25541 0
Current children cumulated CPU time (s) 103.54
Current children cumulated vsize (KiB) 106420
[startup+292.925 s]
/proc/loadavg: 2.51 2.90 2.43 3/177 22705
/proc/meminfo: memFree=26514132/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=246496 CPUtime=292.87 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 65319 0 0 0 29250 37 0 0 20 0 1 0 342402913 252411904 60129 33554432000 134512640 135840783 4289715232 4289714592 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 61624 60129 349 325 0 60560 0
Current children cumulated CPU time (s) 292.87
Current children cumulated vsize (KiB) 246496
[startup+293 s]
/proc/loadavg: 2.51 2.90 2.43 3/177 22705
/proc/meminfo: memFree=26514132/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=246628 CPUtime=292.95 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 65346 0 0 0 29258 37 0 0 20 0 1 0 342402913 252547072 60156 33554432000 134512640 135840783 4289715232 4289714592 134551079 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 61657 60156 349 325 0 60593 0
Current children cumulated CPU time (s) 292.95
Current children cumulated vsize (KiB) 246628
[startup+293.1 s]
/proc/loadavg: 2.51 2.90 2.43 3/177 22705
/proc/meminfo: memFree=26514132/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=246760 CPUtime=293.05 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 65357 0 0 0 29268 37 0 0 20 0 1 0 342402913 252682240 60167 33554432000 134512640 135840783 4289715232 4289714528 134572040 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 61690 60167 349 325 0 60626 0
Current children cumulated CPU time (s) 293.05
Current children cumulated vsize (KiB) 246760
[startup+342.3 s]
/proc/loadavg: 2.01 2.40 2.33 3/177 22706
/proc/meminfo: memFree=26265172/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=270836 CPUtime=342.24 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 71389 0 0 0 34184 40 0 0 20 0 1 0 342402913 277336064 66199 33554432000 134512640 135840783 4289715232 4289714368 1579934 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 67709 66199 349 325 0 66645 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 270836
[startup+402.307 s]
/proc/loadavg: 2.06 2.34 2.31 3/177 22745
/proc/meminfo: memFree=27519012/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=297980 CPUtime=402.23 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 78169 0 0 0 40180 43 0 0 20 0 1 0 342402913 305131520 72979 33554432000 134512640 135840783 4289715232 4289714592 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 74495 72979 349 325 0 73431 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 297980
[startup+462.3 s]
/proc/loadavg: 2.17 2.32 2.30 3/178 22748
/proc/meminfo: memFree=27385844/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=327372 CPUtime=462.18 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 85570 0 0 0 46172 46 0 0 20 0 1 0 342402913 335228928 80333 33554432000 134512640 135840783 4289715232 4289714592 134550921 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 81843 80333 349 325 0 80779 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 327372
[startup+522.3 s]
/proc/loadavg: 2.06 2.26 2.28 3/177 22748
/proc/meminfo: memFree=27228028/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=352800 CPUtime=522.14 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 91982 0 0 0 52166 48 0 0 20 0 1 0 342402913 361267200 86701 33554432000 134512640 135840783 4289715232 4289714592 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 88200 86701 349 325 0 87136 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 352800
[startup+582.3 s]
/proc/loadavg: 2.02 2.21 2.26 3/177 22748
/proc/meminfo: memFree=27121044/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=397536 CPUtime=582.11 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 103198 0 0 0 58158 53 0 0 20 0 1 0 342402913 407076864 97869 33554432000 134512640 135840783 4289715232 4289702096 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 99384 97869 349 325 0 98320 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 397536
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.09 2.19 3/177 22749
/proc/meminfo: memFree=26741620/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=652960 CPUtime=821.99 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 167194 0 0 0 82127 72 0 0 20 0 1 0 342402913 668631040 162117 33554432000 134512640 135840783 4289715232 4289714584 5556432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 163240 162117 349 325 0 162176 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 652960
[startup+882.3 s]
/proc/loadavg: 2.00 2.07 2.17 3/177 22749
/proc/meminfo: memFree=26701224/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=692564 CPUtime=881.98 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 177097 0 0 0 88122 76 0 0 20 0 1 0 342402913 709185536 172020 33554432000 134512640 135840783 4289715232 4289714532 1587787 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 173141 172020 349 325 0 172077 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 692564
[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.16 3/177 22749
/proc/meminfo: memFree=26571920/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=736468 CPUtime=941.98 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 188075 0 0 0 94118 80 0 0 20 0 1 0 342402913 754143232 182998 33554432000 134512640 135840783 4289715232 4289714592 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 184117 182998 349 325 0 183053 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 736468
[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.15 3/177 22750
/proc/meminfo: memFree=26520240/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=775704 CPUtime=1001.97 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 197867 0 0 0 100113 84 0 0 20 0 1 0 342402913 794320896 192790 33554432000 134512640 135840783 4289715232 4289714512 1584826 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 193926 192790 349 325 0 192862 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 775704
[startup+1062.31 s]
/proc/loadavg: 2.00 2.03 2.14 3/178 22753
/proc/meminfo: memFree=26476604/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=819164 CPUtime=1061.96 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 208723 0 0 0 106108 88 0 0 20 0 1 0 342402913 838823936 203646 33554432000 134512640 135840783 4289715232 4289714592 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 204791 203646 349 325 0 203727 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 819164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/177 22753
/proc/meminfo: memFree=26435056/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=860640 CPUtime=1121.94 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 219086 0 0 0 112101 93 0 0 20 0 1 0 342402913 881295360 214009 33554432000 134512640 135840783 4289715232 4289714592 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 215160 214009 349 325 0 214096 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 860640
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/177 22753
/proc/meminfo: memFree=26401576/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=894000 CPUtime=1181.94 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 227450 0 0 0 118096 98 0 0 20 0 1 0 342402913 915456000 222373 33554432000 134512640 135840783 4289715232 4289714592 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 223500 222373 349 325 0 222436 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 894000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/177 22753
/proc/meminfo: memFree=26370080/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=925824 CPUtime=1241.93 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 235396 0 0 0 124092 101 0 0 20 0 1 0 342402913 948043776 230319 33554432000 134512640 135840783 4289715232 4289714592 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 231456 230319 349 325 0 230392 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 925824
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/177 22754
/proc/meminfo: memFree=26339948/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=955672 CPUtime=1301.92 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 242858 0 0 0 130088 104 0 0 20 0 1 0 342402913 978608128 237781 33554432000 134512640 135840783 4289715232 4289714592 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 238918 237781 349 325 0 237854 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 955672
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.09 3/177 22754
/proc/meminfo: memFree=26309940/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=986248 CPUtime=1361.91 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 250492 0 0 0 136084 107 0 0 20 0 1 0 342402913 1009917952 245415 33554432000 134512640 135840783 4289715232 4289705920 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 246562 245415 349 325 0 245498 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 986248
[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.09 3/177 22754
/proc/meminfo: memFree=26279312/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1016508 CPUtime=1421.91 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 258069 0 0 0 142080 111 0 0 20 0 1 0 342402913 1040904192 252992 33554432000 134512640 135840783 4289715232 4289714592 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 254127 252992 349 325 0 253063 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1016508
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.08 3/177 22754
/proc/meminfo: memFree=26243008/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1052600 CPUtime=1481.88 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 267100 0 0 0 148074 114 0 0 20 0 1 0 342402913 1077862400 262006 33554432000 134512640 135840783 4289715232 4289714592 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 263150 262006 349 325 0 262086 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1052600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/177 22754
/proc/meminfo: memFree=26210548/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1084836 CPUtime=1541.85 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 275219 0 0 0 154067 118 0 0 20 0 1 0 342402913 1110872064 270077 33554432000 134512640 135840783 4289715232 4289714592 134550797 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 271209 270077 349 325 0 270145 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1084836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/177 22755
/proc/meminfo: memFree=26176848/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1117728 CPUtime=1601.83 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 283501 0 0 0 160061 122 0 0 20 0 1 0 342402913 1144553472 278312 33554432000 134512640 135840783 4289715232 4289714592 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 279432 278312 349 325 0 278368 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1117728
[startup+1662.3 s]
/proc/loadavg: 2.11 2.03 2.07 3/178 22758
/proc/meminfo: memFree=26149256/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1145536 CPUtime=1661.78 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 290499 0 0 0 166053 125 0 0 20 0 1 0 342402913 1173028864 285264 33554432000 134512640 135840783 4289715232 4289714148 1577103 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 286384 285264 349 325 0 285320 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1145536
[startup+1722.31 s]
/proc/loadavg: 2.04 2.03 2.07 3/178 22780
/proc/meminfo: memFree=26130900/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1162768 CPUtime=1721.77 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 294854 0 0 0 172049 128 0 0 20 0 1 0 342402913 1190674432 289572 33554432000 134512640 135840783 4289715232 4289714592 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 290692 289572 349 325 0 289628 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1162768
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/177 22780
/proc/meminfo: memFree=26082596/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1182444 CPUtime=1781.73 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 299801 0 0 0 178043 130 0 0 20 0 1 0 342402913 1210822656 294476 33554432000 134512640 135840783 4289715232 4289714592 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 295611 294476 349 325 0 294547 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1182444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.09 2.04 2.07 3/177 22780
/proc/meminfo: memFree=26053548/32873648 swapFree=6864/6864
[pid=22703] ppid=22701 vsize=1188176 CPUtime=1800.03 cores=1,3,5,7
/proc/22703/stat : 22703 (bsolo3.0.17) R 22701 22703 20253 0 -1 4202496 301263 0 0 0 179872 131 0 0 20 0 1 0 342402913 1216692224 295922 33554432000 134512640 135840783 4289715232 4289714592 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/22703/statm: 297044 295922 349 325 0 295980 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1188176
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.62
CPU time (s): 1800.04
CPU user time (s): 1798.72
CPU system time (s): 1.3218
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1188176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.3218
maximum resident set size= 1183688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301266
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= 550
involuntary context switches= 1957
runsolver used 2.88056 second user time and 8.11777 second system time
The end