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-3737067-1338712102/watcher-3737067-1338712102 -o /tmp/evaluation-result-3737067-1338712102/solver-3737067-1338712102 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737067-1338712102.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: 1.92 1.98 1.99 4/176 26928
/proc/meminfo: memFree=26415944/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4194304 177 0 0 0 0 0 0 0 20 0 1 0 337337574 4583424 128 33554432000 134512640 135840783 4291568400 4291567316 8346168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 1119 139 121 325 0 39 0
[startup+0.0531371 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 26928
/proc/meminfo: memFree=26415944/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=5856 CPUtime=0.04 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 805 0 0 0 4 0 0 0 20 0 1 0 337337574 5996544 738 33554432000 134512640 135840783 4291568400 4291566320 8856871 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 1464 738 349 325 0 400 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5856
[startup+0.100257 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 26928
/proc/meminfo: memFree=26415944/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=6384 CPUtime=0.09 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 937 0 0 0 9 0 0 0 20 0 1 0 337337574 6537216 870 33554432000 134512640 135840783 4291568400 4291566336 8856871 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 1596 870 349 325 0 532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6384
[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 26928
/proc/meminfo: memFree=26415944/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=7808 CPUtime=0.29 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1281 0 0 0 29 0 0 0 20 0 1 0 337337574 7995392 1214 33554432000 134512640 135840783 4291568400 4291566320 8854848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 1952 1214 349 325 0 888 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7808
[startup+0.700218 s]
/proc/loadavg: 1.92 1.98 1.99 4/176 26928
/proc/meminfo: memFree=26415944/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=8064 CPUtime=0.69 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1359 0 0 0 69 0 0 0 20 0 1 0 337337574 8257536 1292 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2016 1292 349 325 0 952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8064
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26411712/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=8584 CPUtime=1.49 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1461 0 0 0 149 0 0 0 20 0 1 0 337337574 8790016 1394 33554432000 134512640 135840783 4291568400 4291567760 134551449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2146 1394 349 325 0 1082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8584
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26410952/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=8712 CPUtime=3.09 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1518 0 0 0 309 0 0 0 20 0 1 0 337337574 8921088 1451 33554432000 134512640 135840783 4291568400 4291566608 134547671 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2178 1451 349 325 0 1114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8712
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26410588/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=8968 CPUtime=6.29 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1582 0 0 0 629 0 0 0 20 0 1 0 337337574 9183232 1515 33554432000 134512640 135840783 4291568400 4291567752 3572232 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2242 1515 349 325 0 1178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8968
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26409816/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=9612 CPUtime=12.68 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1725 0 0 0 1268 0 0 0 20 0 1 0 337337574 9842688 1658 33554432000 134512640 135840783 4291568400 4291567712 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2403 1658 349 325 0 1339 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9612
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 26929
/proc/meminfo: memFree=26409584/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=9868 CPUtime=25.48 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1805 0 0 0 2548 0 0 0 20 0 1 0 337337574 10104832 1738 33554432000 134512640 135840783 4291568400 4291567760 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2467 1738 349 325 0 1403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9868
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/176 26929
/proc/meminfo: memFree=26409220/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=10176 CPUtime=51.08 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 1897 0 0 0 5108 0 0 0 20 0 1 0 337337574 10420224 1820 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2544 1820 349 325 0 1480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10176
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 26933
/proc/meminfo: memFree=26408164/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=10820 CPUtime=102.28 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2078 0 0 0 10228 0 0 0 20 0 1 0 337337574 11079680 1969 33554432000 134512640 135840783 4291568400 4291567760 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2705 1969 349 325 0 1641 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 10820
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26407876/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=11804 CPUtime=162.26 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2319 0 0 0 16226 0 0 0 20 0 1 0 337337574 12087296 2210 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2951 2210 349 325 0 1887 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11804
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26408028/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=11804 CPUtime=222.25 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2321 0 0 0 22225 0 0 0 20 0 1 0 337337574 12087296 2212 33554432000 134512640 135840783 4291568400 4291566768 134574500 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 2951 2212 349 325 0 1887 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 11804
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26406952/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=12372 CPUtime=282.24 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2468 0 0 0 28224 0 0 0 20 0 1 0 337337574 12668928 2356 33554432000 134512640 135840783 4291568400 4291567760 134551469 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3093 2356 349 325 0 2029 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12372
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26933
/proc/meminfo: memFree=26406460/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=12976 CPUtime=342.23 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2617 0 0 0 34223 0 0 0 20 0 1 0 337337574 13287424 2505 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3244 2505 349 325 0 2180 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12976
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 26934
/proc/meminfo: memFree=26406460/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=12976 CPUtime=402.22 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2627 0 0 0 40222 0 0 0 20 0 1 0 337337574 13287424 2515 33554432000 134512640 135840783 4291568400 4291567760 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3244 2515 349 325 0 2180 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 12976
[startup+462.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26406460/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=12976 CPUtime=462.21 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2627 0 0 0 46221 0 0 0 20 0 1 0 337337574 13287424 2515 33554432000 134512640 135840783 4291568400 4291567712 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3244 2515 349 325 0 2180 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12976
[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26405964/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=13624 CPUtime=522.2 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2784 0 0 0 52220 0 0 0 20 0 1 0 337337574 13950976 2672 33554432000 134512640 135840783 4291568400 4291567760 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3406 2672 349 325 0 2342 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 13624
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26934
/proc/meminfo: memFree=26406088/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=13624 CPUtime=582.19 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2792 0 0 0 58219 0 0 0 20 0 1 0 337337574 13950976 2680 33554432000 134512640 135840783 4291568400 4291567760 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3406 2680 349 325 0 2342 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 13624
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.37 1.82 1.94 2/171 26963
/proc/meminfo: memFree=26804952/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=14372 CPUtime=882.15 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2974 0 0 0 88215 0 0 0 20 0 1 0 337337574 14716928 2861 33554432000 134512640 135840783 4291568400 4291567760 134550899 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3593 2861 349 325 0 2529 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14372
[startup+942.3 s]
/proc/loadavg: 1.13 1.66 1.87 2/171 26963
/proc/meminfo: memFree=26805076/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=14336 CPUtime=942.14 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2974 0 0 0 94214 0 0 0 20 0 1 0 337337574 14680064 2860 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3584 2860 349 325 0 2520 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14336
[startup+1002.3 s]
/proc/loadavg: 1.05 1.54 1.82 2/171 26964
/proc/meminfo: memFree=26804952/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=14264 CPUtime=1002.13 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2974 0 0 0 100213 0 0 0 20 0 1 0 337337574 14606336 2842 33554432000 134512640 135840783 4291568400 4291566440 134584999 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3566 2842 349 325 0 2502 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14264
[startup+1062.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/171 26964
/proc/meminfo: memFree=26805076/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=14264 CPUtime=1062.12 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 2974 0 0 0 106212 0 0 0 20 0 1 0 337337574 14606336 2842 33554432000 134512640 135840783 4291568400 4291567760 134550985 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3566 2842 349 325 0 2502 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14264
[startup+1122.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/171 26964
/proc/meminfo: memFree=26804460/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15044 CPUtime=1122.11 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3165 0 0 0 112211 0 0 0 20 0 1 0 337337574 15405056 3033 33554432000 134512640 135840783 4291568400 4291567696 134572691 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3761 3033 349 325 0 2697 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15044
[startup+1182.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/171 26964
/proc/meminfo: memFree=26804336/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15128 CPUtime=1182.1 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 118210 0 0 0 20 0 1 0 337337574 15491072 3045 33554432000 134512640 135840783 4291568400 4291567760 134551532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3782 3045 349 325 0 2718 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 15128
[startup+1242.3 s]
/proc/loadavg: 1.00 1.23 1.62 2/171 26964
/proc/meminfo: memFree=26804212/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1242.09 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 124209 0 0 0 20 0 1 0 337337574 15486976 3045 33554432000 134512640 135840783 4291568400 4291567824 134546112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3045 349 325 0 2717 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 15124
[startup+1302.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/172 26968
/proc/meminfo: memFree=26803940/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1302.09 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 130209 0 0 0 20 0 1 0 337337574 15486976 3045 33554432000 134512640 135840783 4291568400 4291567760 134551646 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3045 349 325 0 2717 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15124
[startup+1362.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/171 26968
/proc/meminfo: memFree=26804504/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1362.07 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 136207 0 0 0 20 0 1 0 337337574 15486976 3045 33554432000 134512640 135840783 4291568400 4291567632 8481535 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3045 349 325 0 2717 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 15124
[startup+1422.31 s]
/proc/loadavg: 1.00 1.12 1.50 2/171 26968
/proc/meminfo: memFree=26804504/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1422.07 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 142207 0 0 0 20 0 1 0 337337574 15486976 3045 33554432000 134512640 135840783 4291568400 4291567760 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3045 349 325 0 2717 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15124
[startup+1482.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/171 26968
/proc/meminfo: memFree=26804628/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1482.05 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3177 0 0 0 148205 0 0 0 20 0 1 0 337337574 15486976 3045 33554432000 134512640 135840783 4291568400 4291567760 134551039 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3045 349 325 0 2717 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 15124
[startup+1542.3 s]
/proc/loadavg: 1.05 1.09 1.44 2/171 26968
/proc/meminfo: memFree=26804504/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1542.05 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3178 0 0 0 154205 0 0 0 20 0 1 0 337337574 15486976 3046 33554432000 134512640 135840783 4291568400 4291567760 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3046 349 325 0 2717 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15124
[startup+1602.3 s]
/proc/loadavg: 1.02 1.07 1.41 2/171 26969
/proc/meminfo: memFree=26804632/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1602.04 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3178 0 0 0 160204 0 0 0 20 0 1 0 337337574 15486976 3046 33554432000 134512640 135840783 4291568400 4291567760 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3046 349 325 0 2717 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15124
[startup+1662.3 s]
/proc/loadavg: 1.00 1.06 1.38 2/171 26969
/proc/meminfo: memFree=26804384/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15124 CPUtime=1662.03 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3179 0 0 0 166203 0 0 0 20 0 1 0 337337574 15486976 3047 33554432000 134512640 135840783 4291568400 4291567760 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3781 3047 349 325 0 2717 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15124
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 26969
/proc/meminfo: memFree=26803888/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15840 CPUtime=1722.02 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3353 0 0 0 172202 0 0 0 20 0 1 0 337337574 16220160 3221 33554432000 134512640 135840783 4291568400 4291567760 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3960 3221 349 325 0 2896 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15840
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 26969
/proc/meminfo: memFree=26803888/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15840 CPUtime=1782.01 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3365 0 0 0 178201 0 0 0 20 0 1 0 337337574 16220160 3233 33554432000 134512640 135840783 4291568400 4291567760 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3960 3233 349 325 0 2896 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/171 26969
/proc/meminfo: memFree=26803764/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15840 CPUtime=1800.01 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3365 0 0 0 180001 0 0 0 20 0 1 0 337337574 16220160 3233 33554432000 134512640 135840783 4291568400 4291567760 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3960 3233 349 325 0 2896 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15840
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: 1.00 1.03 1.32 2/171 26969
/proc/meminfo: memFree=26803764/32873648 swapFree=7120/7120
[pid=26928] ppid=26926 vsize=15840 CPUtime=1800.01 cores=1,3,5,7
/proc/26928/stat : 26928 (bsolo3.0.17) R 26926 26928 23594 0 -1 4202496 3365 0 0 0 180001 0 0 0 20 0 1 0 337337574 16220160 3233 33554432000 134512640 135840783 4291568400 4291567760 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/26928/statm: 3960 3233 349 325 0 2896 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15840
Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.02
CPU system time (s): 0.007998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 15864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.007998
maximum resident set size= 12932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3368
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= 1860
runsolver used 3.19251 second user time and 8.31374 second system time
The end