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-3742750-1338773939/watcher-3742750-1338773939 -o /tmp/evaluation-result-3742750-1338773939/solver-3742750-1338773939 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742750-1338773939.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.91 1.98 1.99 3/176 14029
/proc/meminfo: memFree=27286444/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 343519806 4583424 155 33554432000 134512640 135840783 4293127424 4293126764 10417496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 1119 155 134 325 0 39 0
[startup+0.0286679 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 14029
/proc/meminfo: memFree=27286444/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=5956 CPUtime=0.02 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 880 0 0 0 2 0 0 0 20 0 1 0 343519806 6098944 756 33554432000 134512640 135840783 4293127424 4293079020 6075440 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 1489 756 342 325 0 425 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5956
[startup+0.100216 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 14029
/proc/meminfo: memFree=27286444/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=6088 CPUtime=0.09 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 882 0 0 0 9 0 0 0 20 0 1 0 343519806 6234112 758 33554432000 134512640 135840783 4293127424 4293079020 6075440 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 1522 758 342 325 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6088
[startup+0.30018 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 14029
/proc/meminfo: memFree=27286444/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=6088 CPUtime=0.29 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 882 0 0 0 29 0 0 0 20 0 1 0 343519806 6234112 758 33554432000 134512640 135840783 4293127424 4293079020 6075440 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 1522 758 342 325 0 458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6088
[startup+0.700177 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 14029
/proc/meminfo: memFree=27286444/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=7892 CPUtime=0.69 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 1378 0 0 0 69 0 0 0 20 0 1 0 343519806 8081408 1229 33554432000 134512640 135840783 4293127424 4293126736 1815073 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 1973 1229 347 325 0 909 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7892
[startup+1.50018 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 14030
/proc/meminfo: memFree=27278400/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=14588 CPUtime=1.48 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 3044 0 0 0 148 0 0 0 20 0 1 0 343519806 14938112 2895 33554432000 134512640 135840783 4293127424 4293121680 10975986 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 3647 2895 347 325 0 2583 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14588
[startup+3.10021 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 14030
/proc/meminfo: memFree=27269232/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=24452 CPUtime=3.08 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 5528 0 0 0 307 1 0 0 20 0 1 0 343519806 25038848 5379 33554432000 134512640 135840783 4293127424 4293126784 134551285 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 6113 5379 347 325 0 5049 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24452
[startup+6.30015 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 14030
/proc/meminfo: memFree=27243112/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=42480 CPUtime=6.28 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 10047 0 0 0 626 2 0 0 20 0 1 0 343519806 43499520 9898 33554432000 134512640 135840783 4293127424 4293126784 134551104 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 10620 9898 347 325 0 9556 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42480
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 14030
/proc/meminfo: memFree=27203688/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=70696 CPUtime=12.68 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 17100 0 0 0 1264 4 0 0 20 0 1 0 343519806 72392704 16951 33554432000 134512640 135840783 4293127424 4293126784 134551065 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 17674 16951 347 325 0 16610 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70696
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 14030
/proc/meminfo: memFree=27131816/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=117752 CPUtime=25.47 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 28858 0 0 0 2541 6 0 0 20 0 1 0 343519806 120578048 28709 33554432000 134512640 135840783 4293127424 4293126784 134551330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 29438 28709 347 325 0 28374 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 117752
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 14030
/proc/meminfo: memFree=27028168/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=183168 CPUtime=51.07 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 45221 0 0 0 5095 12 0 0 20 0 1 0 343519806 187564032 45072 33554432000 134512640 135840783 4293127424 4293126736 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 45792 45072 347 325 0 44728 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 183168
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 14033
/proc/meminfo: memFree=26842856/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=282592 CPUtime=102.26 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 70076 0 0 0 10208 18 0 0 20 0 1 0 343519806 289374208 69927 33554432000 134512640 135840783 4293127424 4293126784 134550872 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14029/statm: 70648 69927 347 325 0 69584 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 282592
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 14034
/proc/meminfo: memFree=26671400/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=371460 CPUtime=162.25 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 92286 0 0 0 16201 24 0 0 20 0 1 0 343519806 380375040 92137 33554432000 134512640 135840783 4293127424 4293126784 134550904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 92865 92137 347 325 0 91801 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 371460
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/177 14034
/proc/meminfo: memFree=26500064/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=456308 CPUtime=222.24 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 113495 0 0 0 22195 29 0 0 20 0 1 0 343519806 467259392 113346 33554432000 134512640 135840783 4293127424 4293126660 10973204 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 114077 113346 347 325 0 113013 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 456308
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14034
/proc/meminfo: memFree=26380556/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=522848 CPUtime=282.23 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 130118 0 0 0 28189 34 0 0 20 0 1 0 343519806 535396352 129969 33554432000 134512640 135840783 4293127424 4293126784 134551076 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 130712 129969 347 325 0 129648 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 522848
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14034
/proc/meminfo: memFree=26254232/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=589164 CPUtime=342.21 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 146711 0 0 0 34183 38 0 0 20 0 1 0 343519806 603303936 146562 33554432000 134512640 135840783 4293127424 4293126784 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 147291 146562 347 325 0 146227 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 589164
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14034
/proc/meminfo: memFree=26135716/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=654564 CPUtime=402.21 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 163056 0 0 0 40179 42 0 0 20 0 1 0 343519806 670273536 162907 33554432000 134512640 135840783 4293127424 4293126784 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 163641 162907 347 325 0 162577 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 654564
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14035
/proc/meminfo: memFree=26030492/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=713356 CPUtime=462.2 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 177757 0 0 0 46174 46 0 0 20 0 1 0 343519806 730476544 177608 33554432000 134512640 135840783 4293127424 4293126784 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 178339 177608 347 325 0 177275 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 713356
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14035
/proc/meminfo: memFree=25944596/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=760660 CPUtime=522.15 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 189618 0 0 0 52165 50 0 0 20 0 1 0 343519806 778915840 189425 33554432000 134512640 135840783 4293127424 4293126784 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 190165 189425 347 325 0 189101 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 760660
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14035
/proc/meminfo: memFree=25857944/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=805680 CPUtime=582.11 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 200940 0 0 0 58157 54 0 0 20 0 1 0 343519806 825016320 200699 33554432000 134512640 135840783 4293127424 4293126784 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 201420 200699 347 325 0 200356 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 805680
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14039
/proc/meminfo: memFree=25490776/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=967392 CPUtime=821.94 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 241545 0 0 0 82128 66 0 0 20 0 1 0 343519806 990609408 241124 33554432000 134512640 135840783 4293127424 4293126784 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 241848 241124 347 325 0 240784 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 967392
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14039
/proc/meminfo: memFree=25401284/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1008592 CPUtime=881.89 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 251871 0 0 0 88120 69 0 0 20 0 1 0 343519806 1032798208 251406 33554432000 134512640 135840783 4293127424 4293126784 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 252148 251406 347 325 0 251084 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 1008592
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14039
/proc/meminfo: memFree=25317044/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1045376 CPUtime=941.85 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 261114 0 0 0 94112 73 0 0 20 0 1 0 343519806 1070465024 260603 33554432000 134512640 135840783 4293127424 4293126736 134551052 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 261344 260603 347 325 0 260280 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 1045376
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14039
/proc/meminfo: memFree=25224152/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1092900 CPUtime=1001.81 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 273038 0 0 0 100103 78 0 0 20 0 1 0 343519806 1119129600 272479 33554432000 134512640 135840783 4293127424 4293126496 10976158 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 273225 272479 347 325 0 272161 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 1092900
[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14040
/proc/meminfo: memFree=25121196/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1142932 CPUtime=1061.77 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 285596 0 0 0 106095 82 0 0 20 0 1 0 343519806 1170362368 284992 33554432000 134512640 135840783 4293127424 4293126660 10973265 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 285733 284992 347 325 0 284669 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 1142932
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14040
/proc/meminfo: memFree=25035544/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1185280 CPUtime=1121.73 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 296226 0 0 0 112088 85 0 0 20 0 1 0 343519806 1213726720 295577 33554432000 134512640 135840783 4293127424 4293126784 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 296320 295577 347 325 0 295256 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 1185280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14040
/proc/meminfo: memFree=24967868/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1223348 CPUtime=1181.69 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 305790 0 0 0 118080 89 0 0 20 0 1 0 343519806 1252708352 305095 33554432000 134512640 135840783 4293127424 4293126784 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 305837 305095 347 325 0 304773 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 1223348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14040
/proc/meminfo: memFree=24870680/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1282664 CPUtime=1241.66 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 320679 0 0 0 124072 94 0 0 20 0 1 0 343519806 1313447936 319939 33554432000 134512640 135840783 4293127424 4293126784 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 320666 319939 347 325 0 319602 0
Current children cumulated CPU time (s) 1241.66
Current children cumulated vsize (KiB) 1282664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14043
/proc/meminfo: memFree=24793768/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1325748 CPUtime=1301.65 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 331460 0 0 0 130067 98 0 0 20 0 1 0 343519806 1357565952 330715 33554432000 134512640 135840783 4293127424 4293126784 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 331437 330715 347 325 0 330373 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 1325748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14066
/proc/meminfo: memFree=24735496/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1359824 CPUtime=1361.63 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 339957 0 0 0 136062 101 0 0 20 0 1 0 343519806 1392459776 339212 33554432000 134512640 135840783 4293127424 4293126784 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 339956 339212 347 325 0 338892 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1359824
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14066
/proc/meminfo: memFree=24673256/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1389312 CPUtime=1421.63 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 347343 0 0 0 142058 105 0 0 20 0 1 0 343519806 1422655488 346598 33554432000 134512640 135840783 4293127424 4293126776 1419436 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 347328 346598 347 325 0 346264 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 1389312
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14066
/proc/meminfo: memFree=24604808/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1423388 CPUtime=1481.62 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 355861 0 0 0 148054 108 0 0 20 0 1 0 343519806 1457549312 355116 33554432000 134512640 135840783 4293127424 4293126784 134550884 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 355847 355116 347 325 0 354783 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 1423388
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14066
/proc/meminfo: memFree=24542812/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1452208 CPUtime=1541.6 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 363064 0 0 0 154050 110 0 0 20 0 1 0 343519806 1487060992 362319 33554432000 134512640 135840783 4293127424 4293126784 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 363052 362319 347 325 0 361988 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1452208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14066
/proc/meminfo: memFree=24491724/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1473736 CPUtime=1601.59 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 368451 0 0 0 160047 112 0 0 20 0 1 0 343519806 1509105664 367706 33554432000 134512640 135840783 4293127424 4293126784 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 368434 367706 347 325 0 367370 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1473736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14067
/proc/meminfo: memFree=24433072/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1498436 CPUtime=1661.59 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 374617 0 0 0 166045 114 0 0 20 0 1 0 343519806 1534398464 373872 33554432000 134512640 135840783 4293127424 4293126784 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 374609 373872 347 325 0 373545 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 1498436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14067
/proc/meminfo: memFree=24370236/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1532268 CPUtime=1721.58 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 383088 0 0 0 172041 117 0 0 20 0 1 0 343519806 1569042432 382343 33554432000 134512640 135840783 4293127424 4293126784 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 383067 382343 347 325 0 382003 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1532268
[startup+1782.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 14106
/proc/meminfo: memFree=25897732/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1563960 CPUtime=1781.57 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 390992 0 0 0 178037 120 0 0 20 0 1 0 343519806 1601495040 390247 33554432000 134512640 135840783 4293127424 4293126784 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 390990 390247 347 325 0 389926 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1563960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 14106
/proc/meminfo: memFree=25872312/32873648 swapFree=7112/7112
[pid=14029] ppid=14027 vsize=1573952 CPUtime=1800.07 cores=1,3,5,7
/proc/14029/stat : 14029 (bsolo3.0.17) R 14027 14029 11604 0 -1 4202496 393485 0 0 0 179887 120 0 0 20 0 1 0 343519806 1611726848 392740 33554432000 134512640 135840783 4293127424 4293126784 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14029/statm: 393488 392740 347 325 0 392424 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1573952
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.83
CPU time (s): 1800.11
CPU user time (s): 1798.88
CPU system time (s): 1.22981
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 1573952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.22981
maximum resident set size= 1570960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 393488
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= 618
involuntary context switches= 2217
runsolver used 3.77143 second user time and 9.47456 second system time
The end