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-3734991-1338702612/watcher-3734991-1338702612 -o /tmp/evaluation-result-3734991-1338702612/solver-3734991-1338702612 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734991-1338702612.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/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) D 1349 1351 31541 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 336386846 2723840 47 33554432000 134512640 135840783 4287266352 4287264388 5489604 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 665 47 37 325 0 32 0
[startup+0.0311601 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=12756 CPUtime=0.02 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 552 0 0 0 2 0 0 0 20 0 1 0 336386846 13062144 488 33554432000 134512640 135840783 4287266352 4287264800 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3189 488 349 325 0 2125 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12756
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13016 CPUtime=0.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 631 0 0 0 9 0 0 0 20 0 1 0 336386846 13328384 567 33554432000 134512640 135840783 4287266352 4287265712 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3254 567 349 325 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13016
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13280 CPUtime=0.29 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 679 0 0 0 29 0 0 0 20 0 1 0 336386846 13598720 615 33554432000 134512640 135840783 4287266352 4287265712 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3320 615 349 325 0 2256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13280
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=28670512/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13416 CPUtime=0.69 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 723 0 0 0 69 0 0 0 20 0 1 0 336386846 13737984 659 33554432000 134512640 135840783 4287266352 4287265712 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3354 659 349 325 0 2290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13416
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28669388/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13544 CPUtime=1.49 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 758 0 0 0 149 0 0 0 20 0 1 0 336386846 13869056 694 33554432000 134512640 135840783 4287266352 4287265712 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3386 694 349 325 0 2322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13544
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28668496/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=13796 CPUtime=3.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 811 0 0 0 309 0 0 0 20 0 1 0 336386846 14127104 747 33554432000 134512640 135840783 4287266352 4287265660 1584704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3449 747 349 325 0 2385 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13796
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28668000/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14060 CPUtime=6.29 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 877 0 0 0 629 0 0 0 20 0 1 0 336386846 14397440 813 33554432000 134512640 135840783 4287266352 4287265664 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3515 813 349 325 0 2451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14060
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28667396/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14288 CPUtime=12.69 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 942 0 0 0 1269 0 0 0 20 0 1 0 336386846 14630912 878 33554432000 134512640 135840783 4287266352 4287265712 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3572 878 349 325 0 2508 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14288
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1352
/proc/meminfo: memFree=28667644/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14620 CPUtime=25.48 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1037 0 0 0 2548 0 0 0 20 0 1 0 336386846 14970880 973 33554432000 134512640 135840783 4287266352 4287265628 1207039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3655 973 349 325 0 2591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14620
[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 1352
/proc/meminfo: memFree=28667404/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=14952 CPUtime=51.08 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1116 0 0 0 5108 0 0 0 20 0 1 0 336386846 15310848 1052 33554432000 134512640 135840783 4287266352 4287265712 134551482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3738 1052 349 325 0 2674 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14952
[startup+102.306 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 1353
/proc/meminfo: memFree=28667156/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15168 CPUtime=102.28 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1192 0 0 0 10228 0 0 0 20 0 1 0 336386846 15532032 1113 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3792 1113 349 325 0 2728 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15168
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1353
/proc/meminfo: memFree=28666660/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15464 CPUtime=162.26 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1258 0 0 0 16226 0 0 0 20 0 1 0 336386846 15835136 1179 33554432000 134512640 135840783 4287266352 4287265712 134550777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3866 1179 349 325 0 2802 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15464
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1353
/proc/meminfo: memFree=28666288/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=15704 CPUtime=222.25 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1389 0 0 0 22225 0 0 0 20 0 1 0 336386846 16080896 1247 33554432000 134512640 135840783 4287266352 4287265712 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 3926 1247 349 325 0 2862 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15704
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1353
/proc/meminfo: memFree=28666536/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16052 CPUtime=282.24 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1497 0 0 0 28224 0 0 0 20 0 1 0 336386846 16437248 1327 33554432000 134512640 135840783 4287266352 4287265664 134550840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4013 1327 349 325 0 2949 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 16052
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1353
/proc/meminfo: memFree=28666040/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16116 CPUtime=342.23 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1557 0 0 0 34223 0 0 0 20 0 1 0 336386846 16502784 1349 33554432000 134512640 135840783 4287266352 4287265712 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4029 1349 349 325 0 2965 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 16116
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28664800/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16116 CPUtime=402.22 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1564 0 0 0 40222 0 0 0 20 0 1 0 336386846 16502784 1349 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4029 1349 349 325 0 2965 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 16116
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1354
/proc/meminfo: memFree=28663928/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16416 CPUtime=462.21 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1704 0 0 0 46221 0 0 0 20 0 1 0 336386846 16809984 1420 33554432000 134512640 135840783 4287266352 4287265664 134551356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4104 1420 349 325 0 3040 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 16416
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 1397
/proc/meminfo: memFree=28651216/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16584 CPUtime=522.2 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1752 0 0 0 52220 0 0 0 20 0 1 0 336386846 16982016 1467 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4146 1467 349 325 0 3082 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16584
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1397
/proc/meminfo: memFree=28633528/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=16584 CPUtime=582.19 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1752 0 0 0 58219 0 0 0 20 0 1 0 336386846 16982016 1467 33554432000 134512640 135840783 4287266352 4287265660 9802858 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4146 1467 349 325 0 3082 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16584
[startup+642.3 s]
################
# More data... #
################
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1881 0 0 0 106212 0 0 0 20 0 1 0 336386846 17240064 1530 33554432000 134512640 135840783 4287266352 4287265712 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4209 1530 349 325 0 3145 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 16836
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1474
/proc/meminfo: memFree=28564204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17224 CPUtime=1122.11 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 1975 0 0 0 112211 0 0 0 20 0 1 0 336386846 17637376 1624 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4306 1624 349 325 0 3242 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 17224
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1474
/proc/meminfo: memFree=28555572/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17228 CPUtime=1182.1 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2009 0 0 0 118210 0 0 0 20 0 1 0 336386846 17641472 1628 33554432000 134512640 135840783 4287266352 4287265712 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4307 1628 349 325 0 3243 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 17228
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1477
/proc/meminfo: memFree=28547752/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17288 CPUtime=1242.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2025 0 0 0 124209 0 0 0 20 0 1 0 336386846 17702912 1640 33554432000 134512640 135840783 4287266352 4287265664 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4322 1640 349 325 0 3258 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 17288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1477
/proc/meminfo: memFree=28536100/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17288 CPUtime=1302.09 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2053 0 0 0 130209 0 0 0 20 0 1 0 336386846 17702912 1643 33554432000 134512640 135840783 4287266352 4287265712 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4322 1643 349 325 0 3258 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 17288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1478
/proc/meminfo: memFree=28529520/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1362.07 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 136207 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265712 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 17308
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 1478
/proc/meminfo: memFree=28527088/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1422.07 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 142207 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265664 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 17308
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1478
/proc/meminfo: memFree=28528088/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17308 CPUtime=1482.06 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2057 0 0 0 148206 0 0 0 20 0 1 0 336386846 17723392 1647 33554432000 134512640 135840783 4287266352 4287265664 10228265 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4327 1647 349 325 0 3263 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 17308
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 1479
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17376 CPUtime=1542.05 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2085 0 0 0 154205 0 0 0 20 0 1 0 336386846 17793024 1665 33554432000 134512640 135840783 4287266352 4287265712 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4344 1665 349 325 0 3280 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 17376
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 1479
/proc/meminfo: memFree=28527832/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1602.04 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 160204 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265712 134551501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 17432
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1480
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1662.03 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 166203 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265664 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 17432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1480
/proc/meminfo: memFree=28528080/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17432 CPUtime=1722.02 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2114 0 0 0 172202 0 0 0 20 0 1 0 336386846 17850368 1679 33554432000 134512640 135840783 4287266352 4287265712 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4358 1679 349 325 0 3294 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 17432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1480
/proc/meminfo: memFree=28527460/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1782.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2185 0 0 0 178201 0 0 0 20 0 1 0 336386846 18087936 1737 33554432000 134512640 135840783 4287266352 4287265776 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1737 349 325 0 3352 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 17664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1483
/proc/meminfo: memFree=28527204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) R 1349 1351 31541 0 -1 4202496 2193 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1737 33554432000 134512640 135840783 4287266352 4287265652 1587787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1737 349 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1351
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28527204/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 1484
/proc/meminfo: memFree=28526948/32873844 swapFree=7112/7112
[pid=1351] ppid=1349 vsize=17664 CPUtime=1800.01 cores=1,3,5,7
/proc/1351/stat : 1351 (bsolo3.0.17) S 1349 1351 31541 0 -1 4202496 2195 0 0 0 180001 0 0 0 20 0 1 0 336386846 18087936 1739 33554432000 134512640 135840783 4287266352 4287263972 13055024 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/1351/statm: 4416 1739 350 325 0 3352 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 17664
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.009998
CPU usage (%): 99.8735
Max. virtual memory (cumulated for all children) (KiB): 17784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.009998
maximum resident set size= 6980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2195
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= 15
involuntary context switches= 1881
runsolver used 2.67959 second user time and 7.15991 second system time
The end