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-3741598-1338760616/watcher-3741598-1338760616 -o /tmp/evaluation-result-3741598-1338760616/solver-3741598-1338760616 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741598-1338760616.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.58 2.14 2.05 3/177 7424
/proc/meminfo: memFree=26840956/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4194304 98 0 0 0 0 0 0 0 20 0 1 0 342187481 2842624 50 33554432000 134512640 135840783 4292538048 4292536056 7001028 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 695 51 40 325 0 33 0
[startup+0.0464649 s]
/proc/loadavg: 2.58 2.14 2.05 3/177 7424
/proc/meminfo: memFree=26840956/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=216124 CPUtime=0.03 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1310 0 0 0 3 0 0 0 20 0 1 0 342187481 221310976 1149 33554432000 134512640 135840783 4292538048 4292537040 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 54031 1149 438 325 0 2656 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 216124
[startup+0.100266 s]
/proc/loadavg: 2.58 2.14 2.05 3/177 7424
/proc/meminfo: memFree=26840956/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=219128 CPUtime=0.09 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 2273 0 0 0 9 0 0 0 20 0 1 0 342187481 224387072 1965 33554432000 134512640 135840783 4292538048 4292536768 7513383 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 54782 1966 574 325 0 3407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 219128
[startup+0.30026 s]
/proc/loadavg: 2.58 2.14 2.05 3/177 7424
/proc/meminfo: memFree=26840956/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=221812 CPUtime=0.28 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 5753 0 0 0 28 0 0 0 20 0 1 0 342187481 227135488 5142 33554432000 134512640 135840783 4292538048 4292537040 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 55453 5142 1164 325 0 4078 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 221812
[startup+0.700254 s]
/proc/loadavg: 2.58 2.14 2.05 3/177 7424
/proc/meminfo: memFree=26840956/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=230936 CPUtime=0.69 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 9194 0 0 0 68 1 0 0 20 0 1 0 342187481 236478464 8583 33554432000 134512640 135840783 4292538048 4292536864 7513383 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 57734 8584 2284 325 0 6359 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 230936
[startup+1.50026 s]
/proc/loadavg: 2.58 2.14 2.05 3/178 7425
/proc/meminfo: memFree=26795800/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=244968 CPUtime=1.49 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 15140 0 0 0 147 2 0 0 20 0 1 0 342187481 250847232 14529 33554432000 134512640 135840783 4292538048 4292537040 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 61242 14529 4713 325 0 9867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 244968
[startup+3.10028 s]
/proc/loadavg: 2.58 2.14 2.05 3/178 7425
/proc/meminfo: memFree=26779804/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=269032 CPUtime=3.09 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 25587 0 0 0 306 3 0 0 20 0 1 0 342187481 275488768 24976 33554432000 134512640 135840783 4292538048 4292537040 134525337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 67258 24976 9152 325 0 15883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 269032
[startup+6.30023 s]
/proc/loadavg: 2.54 2.14 2.05 3/178 7425
/proc/meminfo: memFree=26746200/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=309664 CPUtime=6.29 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 43498 0 0 0 625 4 0 0 20 0 1 0 342187481 317095936 42887 33554432000 134512640 135840783 4292538048 4292537040 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 77416 42887 16929 325 0 26041 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309664
[startup+12.7003 s]
/proc/loadavg: 2.49 2.14 2.04 3/178 7425
/proc/meminfo: memFree=26661576/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=391000 CPUtime=12.68 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 79515 0 0 0 1259 9 0 0 20 0 1 0 342187481 400384000 78903 33554432000 134512640 135840783 4292538048 4292537040 134525046 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 97750 78903 32581 325 0 46375 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 391000
[startup+25.5003 s]
/proc/loadavg: 2.38 2.13 2.04 3/178 7425
/proc/meminfo: memFree=26064252/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=783744 CPUtime=25.47 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 257639 0 0 0 2517 30 0 0 20 0 1 0 342187481 802553856 194694 33554432000 134512640 135840783 4292538048 4291041536 134551814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 195936 194694 342 325 0 194872 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 783744
[startup+51.1066 s]
/proc/loadavg: 2.25 2.12 2.04 3/178 7425
/proc/meminfo: memFree=26067940/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=784052 CPUtime=51.08 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 344171 0 0 0 5063 45 0 0 20 0 1 0 342187481 802869248 194761 33554432000 134512640 135840783 4292538048 4291041536 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 196013 194761 342 325 0 194949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 784052
[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.04 3/177 7425
/proc/meminfo: memFree=26066984/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=784088 CPUtime=102.26 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 422453 0 0 0 10168 58 0 0 20 0 1 0 342187481 802906112 194772 33554432000 134512640 135840783 4292538048 4291041648 134551970 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 196022 194772 342 325 0 194958 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 784088
[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/177 7425
/proc/meminfo: memFree=26067136/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=784108 CPUtime=162.25 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 435477 0 0 0 16164 61 0 0 20 0 1 0 342187481 802926592 194784 33554432000 134512640 135840783 4292538048 4291041488 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 196027 194784 342 325 0 194963 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 784108
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/178 7428
/proc/meminfo: memFree=26026608/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=825004 CPUtime=222.24 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 480103 0 0 0 22154 70 0 0 20 0 1 0 342187481 844804096 205032 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 206251 205032 346 325 0 205187 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 825004
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/178 7451
/proc/meminfo: memFree=25915904/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=935972 CPUtime=282.22 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 544702 0 0 0 28140 82 0 0 20 0 1 0 342187481 958435328 232766 33554432000 134512640 135840783 4292538048 4292537408 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 233993 232766 346 325 0 232929 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 935972
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 7452
/proc/meminfo: memFree=25813036/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1038048 CPUtime=342.21 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 582652 0 0 0 34132 89 0 0 20 0 1 0 342187481 1062961152 258304 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 259512 258304 346 325 0 258448 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1038048
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/177 7452
/proc/meminfo: memFree=25670200/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1183176 CPUtime=402.19 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 842195 0 0 0 40083 136 0 0 20 0 1 0 342187481 1211572224 294574 33554432000 134512640 135840783 4292538048 4292537308 7510867 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 295794 294579 346 325 0 294730 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1183176
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7452
/proc/meminfo: memFree=25579972/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1271640 CPUtime=462.18 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 864305 0 0 0 46079 139 0 0 20 0 1 0 342187481 1302159360 316683 33554432000 134512640 135840783 4292538048 4292537408 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 317910 316683 346 325 0 316846 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1271640
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7452
/proc/meminfo: memFree=25558036/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1292976 CPUtime=522.18 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 869641 0 0 0 52078 140 0 0 20 0 1 0 342187481 1324007424 322017 33554432000 134512640 135840783 4292538048 4292537408 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 323244 322017 346 325 0 322180 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1292976
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7452
/proc/meminfo: memFree=25529420/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1321392 CPUtime=582.17 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 876745 0 0 0 58076 141 0 0 20 0 1 0 342187481 1353105408 329121 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 330348 329121 346 325 0 329284 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1321392
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7534
/proc/meminfo: memFree=24916652/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1609208 CPUtime=882.09 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 953711 0 0 0 88057 152 0 0 20 0 1 0 342187481 1647828992 401105 33554432000 134512640 135840783 4292538048 4292537408 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 402302 401105 346 325 0 401238 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1609208
[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7535
/proc/meminfo: memFree=24862600/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1629112 CPUtime=942.08 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 958663 0 0 0 94055 153 0 0 20 0 1 0 342187481 1668210688 406051 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 407278 406051 346 325 0 406214 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 1629112
[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7535
/proc/meminfo: memFree=24810440/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1647324 CPUtime=1002.06 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 963219 0 0 0 100053 153 0 0 20 0 1 0 342187481 1686859776 410604 33554432000 134512640 135840783 4292538048 4292537408 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 411831 410604 346 325 0 410767 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1647324
[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7535
/proc/meminfo: memFree=24741028/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1660800 CPUtime=1062.05 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 966592 0 0 0 106051 154 0 0 20 0 1 0 342187481 1700659200 414078 33554432000 134512640 135840783 4292538048 4292537408 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 415200 414078 346 325 0 414136 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1660800
[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7535
/proc/meminfo: memFree=24669880/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1676352 CPUtime=1122.05 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 970480 0 0 0 112050 155 0 0 20 0 1 0 342187481 1716584448 417966 33554432000 134512640 135840783 4292538048 4292537408 134551294 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 419088 417966 346 325 0 418024 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1676352
[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7535
/proc/meminfo: memFree=24577404/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1724008 CPUtime=1182.03 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 982394 0 0 0 118047 156 0 0 20 0 1 0 342187481 1765384192 429880 33554432000 134512640 135840783 4292538048 4292537408 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 431002 429880 346 325 0 429938 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1724008
[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7536
/proc/meminfo: memFree=24510332/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1761580 CPUtime=1242.04 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 991787 0 0 0 124046 158 0 0 20 0 1 0 342187481 1803857920 439273 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 440395 439273 346 325 0 439331 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1761580
[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 7536
/proc/meminfo: memFree=24463752/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1785232 CPUtime=1302.02 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 997700 0 0 0 130043 159 0 0 20 0 1 0 342187481 1828077568 445186 33554432000 134512640 135840783 4292538048 4292537408 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 446308 445186 346 325 0 445244 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1785232
[startup+1362.31 s]
/proc/loadavg: 2.13 2.02 2.01 3/177 7536
/proc/meminfo: memFree=24396572/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1811104 CPUtime=1362.02 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1004168 0 0 0 136042 160 0 0 20 0 1 0 342187481 1854570496 451654 33554432000 134512640 135840783 4292538048 4292537408 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 452776 451654 346 325 0 451712 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1811104
[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 7539
/proc/meminfo: memFree=24337444/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1837092 CPUtime=1422 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1010665 0 0 0 142039 161 0 0 20 0 1 0 342187481 1881182208 458151 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 459273 458151 346 325 0 458209 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1837092
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7539
/proc/meminfo: memFree=24279084/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1868588 CPUtime=1481.99 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1018539 0 0 0 148036 163 0 0 20 0 1 0 342187481 1913434112 466025 33554432000 134512640 135840783 4292538048 4292537408 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 467147 466025 346 325 0 466083 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1868588
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24229236/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1895568 CPUtime=1541.98 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1025284 0 0 0 154034 164 0 0 20 0 1 0 342187481 1941061632 472770 33554432000 134512640 135840783 4292538048 4292537408 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 473892 472770 346 325 0 472828 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1895568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24179512/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1914380 CPUtime=1601.97 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1029987 0 0 0 160033 164 0 0 20 0 1 0 342187481 1960325120 477473 33554432000 134512640 135840783 4292538048 4292537408 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 478595 477473 346 325 0 477531 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1914380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24135740/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1927816 CPUtime=1661.97 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1033346 0 0 0 166032 165 0 0 20 0 1 0 342187481 1974083584 480832 33554432000 134512640 135840783 4292538048 4292537408 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 481954 480832 346 325 0 480890 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1927816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24102508/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1936236 CPUtime=1721.95 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1035451 0 0 0 172030 165 0 0 20 0 1 0 342187481 1982705664 482937 33554432000 134512640 135840783 4292538048 4292537408 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 484059 482937 346 325 0 482995 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1936236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24061588/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1953032 CPUtime=1781.95 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1039649 0 0 0 178029 166 0 0 20 0 1 0 342187481 1999904768 487135 33554432000 134512640 135840783 4292538048 4292537408 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 488258 487135 346 325 0 487194 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1953032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24044600/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1957316 CPUtime=1800.05 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1040721 0 0 0 179839 166 0 0 20 0 1 0 342187481 2004291584 488207 33554432000 134512640 135840783 4292538048 4292537408 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 489329 488207 346 325 0 488265 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1957316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7540
/proc/meminfo: memFree=24044600/32873844 swapFree=7384/7384
[pid=7424] ppid=7422 vsize=1957316 CPUtime=1800.05 cores=0,2,4,6
/proc/7424/stat : 7424 (bsolo3.0.17) R 7422 7424 5940 0 -1 4202496 1040721 0 0 0 179839 166 0 0 20 0 1 0 342187481 2004291584 488207 33554432000 134512640 135840783 4292538048 4292537408 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7424/statm: 489329 488207 346 325 0 488265 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1957316
Child status: 15
Real time (s): 1800.43
CPU time (s): 1800.09
CPU user time (s): 1798.4
CPU system time (s): 1.68874
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 1957316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 1.68874
maximum resident set size= 1952828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1040724
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= 108
involuntary context switches= 1843
runsolver used 3.39048 second user time and 9.05662 second system time
The end