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-3732527-1338689939/watcher-3732527-1338689939 -o /tmp/evaluation-result-3732527-1338689939/solver-3732527-1338689939 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732527-1338689939.opb
running on 4 cores: 0,2,4,6
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.06 2.00 2.00 3/176 8937
/proc/meminfo: memFree=27587104/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=12956 CPUtime=0 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 335118239 13266944 410 33554432000 134512640 135840783 4293811264 4293809920 12829991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 3239 411 325 325 0 2063 0
[startup+0.0686471 s]
/proc/loadavg: 2.06 2.00 2.00 3/176 8937
/proc/meminfo: memFree=27587104/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=7548 CPUtime=0.06 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 1319 0 0 0 6 0 0 0 20 0 1 0 335118239 7729152 1144 33554432000 134512640 135840783 4293811264 4293734016 134551058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 1887 1144 341 325 0 823 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7548
[startup+0.10022 s]
/proc/loadavg: 2.06 2.00 2.00 3/176 8937
/proc/meminfo: memFree=27587104/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=7616 CPUtime=0.09 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 1375 0 0 0 9 0 0 0 20 0 1 0 335118239 7798784 1182 33554432000 134512640 135840783 4293811264 4293810624 134551646 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 1904 1182 346 325 0 840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7616
[startup+0.300177 s]
/proc/loadavg: 2.06 2.00 2.00 3/176 8937
/proc/meminfo: memFree=27587104/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=7616 CPUtime=0.29 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 1375 0 0 0 29 0 0 0 20 0 1 0 335118239 7798784 1182 33554432000 134512640 135840783 4293811264 4293810624 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 1904 1182 346 325 0 840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7616
[startup+0.70018 s]
/proc/loadavg: 2.06 2.00 2.00 3/176 8937
/proc/meminfo: memFree=27587104/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=7748 CPUtime=0.69 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 1393 0 0 0 69 0 0 0 20 0 1 0 335118239 7933952 1200 33554432000 134512640 135840783 4293811264 4293810624 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 1937 1200 346 325 0 873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7748
[startup+1.50018 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27583368/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=8788 CPUtime=1.49 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 1662 0 0 0 149 0 0 0 20 0 1 0 335118239 8998912 1469 33554432000 134512640 135840783 4293811264 4293810560 134572899 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 2197 1469 346 325 0 1133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8788
[startup+3.10019 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27580872/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=11764 CPUtime=3.09 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 2403 0 0 0 309 0 0 0 20 0 1 0 335118239 12046336 2210 33554432000 134512640 135840783 4293811264 4293810500 12824713 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8937/statm: 2941 2210 346 325 0 1877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11764
[startup+6.30024 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27578764/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=13416 CPUtime=6.28 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 2813 0 0 0 628 0 0 0 20 0 1 0 335118239 13737984 2620 33554432000 134512640 135840783 4293811264 4293809184 12829991 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 3354 2620 346 325 0 2290 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13416
[startup+12.7002 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27576500/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=13936 CPUtime=12.68 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 2952 0 0 0 1268 0 0 0 20 0 1 0 335118239 14270464 2769 33554432000 134512640 135840783 4293811264 4293810400 12827550 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 3484 2769 346 325 0 2420 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13936
[startup+25.5003 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27576628/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=14336 CPUtime=25.47 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 3054 0 0 0 2547 0 0 0 20 0 1 0 335118239 14680064 2869 33554432000 134512640 135840783 4293811264 4293810624 134550887 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 3584 2869 346 325 0 2520 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 14336
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 8938
/proc/meminfo: memFree=27576200/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=15180 CPUtime=51.07 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 3251 0 0 0 5107 0 0 0 20 0 1 0 335118239 15544320 3065 33554432000 134512640 135840783 4293811264 4293810624 134550884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 3795 3065 346 325 0 2731 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15180
[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 8942
/proc/meminfo: memFree=27573828/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=17064 CPUtime=102.27 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 3723 0 0 0 10227 0 0 0 20 0 1 0 335118239 17473536 3537 33554432000 134512640 135840783 4293811264 4293810624 134551339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 4266 3537 346 325 0 3202 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17064
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8942
/proc/meminfo: memFree=27571292/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=19120 CPUtime=162.26 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4242 0 0 0 16225 1 0 0 20 0 1 0 335118239 19578880 4055 33554432000 134512640 135840783 4293811264 4293810544 12832352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 4780 4055 346 325 0 3716 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19120
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8942
/proc/meminfo: memFree=27570732/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=19584 CPUtime=222.25 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4366 0 0 0 22224 1 0 0 20 0 1 0 335118239 20054016 4178 33554432000 134512640 135840783 4293811264 4293810624 134550927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 4896 4178 346 325 0 3832 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 19584
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8942
/proc/meminfo: memFree=27569872/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=20140 CPUtime=282.24 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4518 0 0 0 28223 1 0 0 20 0 1 0 335118239 20623360 4324 33554432000 134512640 135840783 4293811264 4293810624 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5035 4324 346 325 0 3971 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20140
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=27569488/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=20136 CPUtime=342.23 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4518 0 0 0 34222 1 0 0 20 0 1 0 335118239 20619264 4323 33554432000 134512640 135840783 4293811264 4293810624 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5034 4323 346 325 0 3970 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 20136
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=27569608/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=20212 CPUtime=402.22 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4524 0 0 0 40221 1 0 0 20 0 1 0 335118239 20697088 4329 33554432000 134512640 135840783 4293811264 4293810560 134572092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5053 4329 346 325 0 3989 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 20212
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=27568856/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=21188 CPUtime=462.21 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4775 0 0 0 46220 1 0 0 20 0 1 0 335118239 21696512 4579 33554432000 134512640 135840783 4293811264 4293810624 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5297 4579 346 325 0 4233 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 21188
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8943
/proc/meminfo: memFree=27566620/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=21124 CPUtime=522.2 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4775 0 0 0 52219 1 0 0 20 0 1 0 335118239 21630976 4570 33554432000 134512640 135840783 4293811264 4293810560 134572374 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5281 4570 346 325 0 4217 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 21124
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8943
/proc/meminfo: memFree=27565748/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=21852 CPUtime=582.19 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 4945 0 0 0 58218 1 0 0 20 0 1 0 335118239 22376448 4738 33554432000 134512640 135840783 4293811264 4293810624 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5463 4738 346 325 0 4399 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 21852
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8947
/proc/meminfo: memFree=27564556/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23180 CPUtime=882.14 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5294 0 0 0 88213 1 0 0 20 0 1 0 335118239 23736320 5084 33554432000 134512640 135840783 4293811264 4293809568 12827897 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5795 5084 346 325 0 4731 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 23180
[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 8949
/proc/meminfo: memFree=27564236/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23560 CPUtime=942.13 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5384 0 0 0 94212 1 0 0 20 0 1 0 335118239 24125440 5172 33554432000 134512640 135840783 4293811264 4293810616 4516045 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5890 5172 346 325 0 4826 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 23560
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8949
/proc/meminfo: memFree=27564240/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23560 CPUtime=1002.12 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5384 0 0 0 100211 1 0 0 20 0 1 0 335118239 24125440 5172 33554432000 134512640 135840783 4293811264 4293810560 134572639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5890 5172 346 325 0 4826 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 23560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8949
/proc/meminfo: memFree=27564360/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23560 CPUtime=1062.11 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5384 0 0 0 106210 1 0 0 20 0 1 0 335118239 24125440 5172 33554432000 134512640 135840783 4293811264 4293810624 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5890 5172 346 325 0 4826 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 23560
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8949
/proc/meminfo: memFree=27564236/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23672 CPUtime=1122.1 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5419 0 0 0 112209 1 0 0 20 0 1 0 335118239 24240128 5207 33554432000 134512640 135840783 4293811264 4293810624 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5918 5207 346 325 0 4854 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 23672
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8949
/proc/meminfo: memFree=27564236/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=23568 CPUtime=1182.09 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5419 0 0 0 118208 1 0 0 20 0 1 0 335118239 24133632 5181 33554432000 134512640 135840783 4293811264 4293810560 134571965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 5892 5181 346 325 0 4828 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 23568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8950
/proc/meminfo: memFree=27562808/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=25008 CPUtime=1242.08 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 5775 0 0 0 124207 1 0 0 20 0 1 0 335118239 25608192 5537 33554432000 134512640 135840783 4293811264 4293809752 4516014 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6252 5537 346 325 0 5188 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 25008
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8953
/proc/meminfo: memFree=27561124/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=26560 CPUtime=1302.09 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6163 0 0 0 130207 2 0 0 20 0 1 0 335118239 27197440 5924 33554432000 134512640 135840783 4293811264 4293810624 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6640 5924 346 325 0 5576 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 26560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8953
/proc/meminfo: memFree=27561316/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=26668 CPUtime=1362.07 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6194 0 0 0 136205 2 0 0 20 0 1 0 335118239 27308032 5955 33554432000 134512640 135840783 4293811264 4293810620 134520488 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6667 5955 346 325 0 5603 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 26668
[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 8953
/proc/meminfo: memFree=27561064/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=26664 CPUtime=1422.07 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6194 0 0 0 142205 2 0 0 20 0 1 0 335118239 27303936 5955 33554432000 134512640 135840783 4293811264 4293810624 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6666 5955 346 325 0 5602 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 26664
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8953
/proc/meminfo: memFree=27561184/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=26664 CPUtime=1482.05 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6194 0 0 0 148203 2 0 0 20 0 1 0 335118239 27303936 5955 33554432000 134512640 135840783 4293811264 4293810624 134550921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6666 5955 346 325 0 5602 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 26664
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8954
/proc/meminfo: memFree=27561056/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=26608 CPUtime=1542.05 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6194 0 0 0 154203 2 0 0 20 0 1 0 335118239 27246592 5941 33554432000 134512640 135840783 4293811264 4293810624 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6652 5941 346 325 0 5588 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 26608
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8993
/proc/meminfo: memFree=27470764/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27244 CPUtime=1602.04 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6346 0 0 0 160202 2 0 0 20 0 1 0 335118239 27897856 6091 33554432000 134512640 135840783 4293811264 4293810624 134551098 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6811 6091 346 325 0 5747 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 27244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8993
/proc/meminfo: memFree=27065584/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27216 CPUtime=1662.03 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6347 0 0 0 166201 2 0 0 20 0 1 0 335118239 27869184 6091 33554432000 134512640 135840783 4293811264 4293810572 12832320 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6804 6091 346 325 0 5740 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 27216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8993
/proc/meminfo: memFree=26527204/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27216 CPUtime=1722.02 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6347 0 0 0 172200 2 0 0 20 0 1 0 335118239 27869184 6091 33554432000 134512640 135840783 4293811264 4293810624 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6804 6091 346 325 0 5740 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 27216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8993
/proc/meminfo: memFree=26472300/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27216 CPUtime=1782.01 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6347 0 0 0 178199 2 0 0 20 0 1 0 335118239 27869184 6091 33554432000 134512640 135840783 4293811264 4293810400 12827278 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6804 6091 346 325 0 5740 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 27216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8993
/proc/meminfo: memFree=26472640/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27216 CPUtime=1800.01 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6347 0 0 0 179999 2 0 0 20 0 1 0 335118239 27869184 6091 33554432000 134512640 135840783 4293811264 4293810624 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6804 6091 346 325 0 5740 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8993
/proc/meminfo: memFree=26472640/32873844 swapFree=7628/7628
[pid=8937] ppid=8935 vsize=27216 CPUtime=1800.01 cores=0,2,4,6
/proc/8937/stat : 8937 (bsolo3.0.17) R 8935 8937 7463 0 -1 4202496 6347 0 0 0 179999 2 0 0 20 0 1 0 335118239 27869184 6091 33554432000 134512640 135840783 4293811264 4293810624 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8937/statm: 6804 6091 346 325 0 5740 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27216
Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.021996
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 27244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.021996
maximum resident set size= 24364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6350
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= 17
involuntary context switches= 1879
runsolver used 3.21151 second user time and 8.41472 second system time
The end