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-3742646-1338773371/watcher-3742646-1338773371 -o /tmp/evaluation-result-3742646-1338773371/solver-3742646-1338773371 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742646-1338773371.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 3/176 8313
/proc/meminfo: memFree=27261336/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) D 8311 8313 5948 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 343462762 2723840 47 33554432000 134512640 135840783 4294364176 4294362212 5489604 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 665 47 37 325 0 32 0
[startup+0.0990021 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8313
/proc/meminfo: memFree=27261336/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=5896 CPUtime=0.09 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 850 0 0 0 9 0 0 0 20 0 1 0 343462762 6037504 731 33554432000 134512640 135840783 4294364176 4294319708 11117616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 1474 731 344 325 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896
[startup+0.100266 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8313
/proc/meminfo: memFree=27261336/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=5896 CPUtime=0.09 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 850 0 0 0 9 0 0 0 20 0 1 0 343462762 6037504 731 33554432000 134512640 135840783 4294364176 4294319708 11117616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 1474 731 344 325 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5896
[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8313
/proc/meminfo: memFree=27261336/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=5896 CPUtime=0.29 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 850 0 0 0 29 0 0 0 20 0 1 0 343462762 6037504 731 33554432000 134512640 135840783 4294364176 4294319708 11117616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 1474 731 344 325 0 410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5896
[startup+0.700225 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 8313
/proc/meminfo: memFree=27261336/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=7396 CPUtime=0.68 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 1255 0 0 0 68 0 0 0 20 0 1 0 343462762 7573504 1120 33554432000 134512640 135840783 4294364176 4294363408 2072206 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 1849 1120 349 325 0 785 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7396
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8314
/proc/meminfo: memFree=27256112/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=14668 CPUtime=1.48 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 3071 0 0 0 148 0 0 0 20 0 1 0 343462762 15020032 2936 33554432000 134512640 135840783 4294364176 4294363488 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 3667 2936 349 325 0 2603 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14668
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 8314
/proc/meminfo: memFree=27246192/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=24420 CPUtime=3.08 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 5496 0 0 0 308 0 0 0 20 0 1 0 343462762 25006080 5361 33554432000 134512640 135840783 4294364176 4294360768 2069799 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 6105 5361 349 325 0 5041 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24420
[startup+6.3003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8314
/proc/meminfo: memFree=27224120/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=45620 CPUtime=6.29 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 10818 0 0 0 627 2 0 0 20 0 1 0 343462762 46714880 10683 33554432000 134512640 135840783 4294364176 4294363536 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 11405 10683 349 325 0 10341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45620
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 8314
/proc/meminfo: memFree=27185928/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=74072 CPUtime=12.68 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 17909 0 0 0 1264 4 0 0 20 0 1 0 343462762 75849728 17774 33554432000 134512640 135840783 4294364176 4294363536 134551472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 18518 17774 349 325 0 17454 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74072
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 8314
/proc/meminfo: memFree=27139288/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=113656 CPUtime=25.48 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 27812 0 0 0 2542 6 0 0 20 0 1 0 343462762 116383744 27677 33554432000 134512640 135840783 4294364176 4294363536 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 28414 27677 349 325 0 27350 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113656
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 8317
/proc/meminfo: memFree=27065204/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=169640 CPUtime=51.08 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 41815 0 0 0 5098 10 0 0 20 0 1 0 343462762 173711360 41680 33554432000 134512640 135840783 4294364176 4294363536 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 42410 41680 349 325 0 41346 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 169640
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 8318
/proc/meminfo: memFree=26955144/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=244040 CPUtime=102.27 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 60416 0 0 0 10212 15 0 0 20 0 1 0 343462762 249896960 60281 33554432000 134512640 135840783 4294364176 4294363536 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 61010 60281 349 325 0 59946 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 244040
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8318
/proc/meminfo: memFree=26762228/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=322240 CPUtime=162.26 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 79946 0 0 0 16204 22 0 0 20 0 1 0 343462762 329973760 79811 33554432000 134512640 135840783 4294364176 4294363488 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 80560 79811 349 325 0 79496 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 322240
[startup+222.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 8318
/proc/meminfo: memFree=26541288/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=395208 CPUtime=222.25 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 98198 0 0 0 22197 28 0 0 20 0 1 0 343462762 404692992 98063 33554432000 134512640 135840783 4294364176 4294363536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 98802 98063 349 325 0 97738 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 395208
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8318
/proc/meminfo: memFree=26363252/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=471844 CPUtime=282.24 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 117371 0 0 0 28190 34 0 0 20 0 1 0 343462762 483168256 117236 33554432000 134512640 135840783 4294364176 4294363536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 117961 117236 349 325 0 116897 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 471844
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8318
/proc/meminfo: memFree=26174800/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=536020 CPUtime=342.23 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 133400 0 0 0 34184 39 0 0 20 0 1 0 343462762 548884480 133265 33554432000 134512640 135840783 4294364176 4294363536 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 134005 133265 349 325 0 132941 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 536020
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8319
/proc/meminfo: memFree=26009784/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=591212 CPUtime=402.22 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 147201 0 0 0 40178 44 0 0 20 0 1 0 343462762 605401088 147066 33554432000 134512640 135840783 4294364176 4294363536 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 147803 147066 349 325 0 146739 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 591212
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8319
/proc/meminfo: memFree=25871924/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=644708 CPUtime=462.21 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 160585 0 0 0 46173 48 0 0 20 0 1 0 343462762 660180992 160450 33554432000 134512640 135840783 4294364176 4294363312 2067180 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 161177 160450 349 325 0 160113 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 644708
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 8319
/proc/meminfo: memFree=25757252/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=684272 CPUtime=522.2 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 170474 0 0 0 52169 51 0 0 20 0 1 0 343462762 700694528 170339 33554432000 134512640 135840783 4294364176 4294363536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 171068 170339 349 325 0 170004 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 684272
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8319
/proc/meminfo: memFree=25625840/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=722392 CPUtime=582.2 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 179995 0 0 0 58165 55 0 0 20 0 1 0 343462762 739729408 179860 33554432000 134512640 135840783 4294364176 4294363536 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 180598 179860 349 325 0 179534 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 722392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8362
/proc/meminfo: memFree=27475992/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=915468 CPUtime=822.12 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 228318 0 0 0 82142 70 0 0 20 0 1 0 343462762 937439232 228125 33554432000 134512640 135840783 4294364176 4294363536 134551315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 228867 228125 349 325 0 227803 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 915468
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8362
/proc/meminfo: memFree=27401248/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=953840 CPUtime=882.08 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 237959 0 0 0 88135 73 0 0 20 0 1 0 343462762 976732160 237718 33554432000 134512640 135840783 4294364176 4294363536 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 238460 237718 349 325 0 237396 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 953840
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8362
/proc/meminfo: memFree=27333696/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=990616 CPUtime=942.04 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 247216 0 0 0 94127 77 0 0 20 0 1 0 343462762 1014390784 246928 33554432000 134512640 135840783 4294364176 4294363528 6146225 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 247654 246928 349 325 0 246590 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 990616
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8362
/proc/meminfo: memFree=27233168/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1030500 CPUtime=1001.99 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 257233 0 0 0 100119 80 0 0 20 0 1 0 343462762 1055232000 256898 33554432000 134512640 135840783 4294364176 4294363536 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 257625 256902 349 325 0 256561 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1030500
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8363
/proc/meminfo: memFree=27115760/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1069604 CPUtime=1061.94 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 267054 0 0 0 106111 83 0 0 20 0 1 0 343462762 1095274496 266673 33554432000 134512640 135840783 4294364176 4294363536 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 267401 266673 349 325 0 266337 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1069604
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8363
/proc/meminfo: memFree=27049944/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1111496 CPUtime=1121.91 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 277556 0 0 0 112104 87 0 0 20 0 1 0 343462762 1138171904 277131 33554432000 134512640 135840783 4294364176 4294348224 11117616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 277874 277131 349 325 0 276810 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1111496
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8363
/proc/meminfo: memFree=26977804/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1150988 CPUtime=1181.87 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 287479 0 0 0 118096 91 0 0 20 0 1 0 343462762 1178611712 287009 33554432000 134512640 135840783 4294364176 4294363536 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 287747 287009 349 325 0 286683 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1150988
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8366
/proc/meminfo: memFree=26912344/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1193596 CPUtime=1241.83 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 298180 0 0 0 124088 95 0 0 20 0 1 0 343462762 1222242304 297665 33554432000 134512640 135840783 4294364176 4294363536 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 298399 297665 349 325 0 297335 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1193596
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8366
/proc/meminfo: memFree=26851008/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1223532 CPUtime=1301.8 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 305728 0 0 0 130082 98 0 0 20 0 1 0 343462762 1252896768 305169 33554432000 134512640 135840783 4294364176 4294363476 2075205 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 305883 305169 349 325 0 304819 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1223532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8367
/proc/meminfo: memFree=26810116/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1249688 CPUtime=1361.74 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 312297 0 0 0 136075 99 0 0 20 0 1 0 343462762 1279680512 311692 33554432000 134512640 135840783 4294364176 4294363536 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 312422 311692 349 325 0 311358 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1249688
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8367
/proc/meminfo: memFree=26771952/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1272824 CPUtime=1421.72 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 318121 0 0 0 142070 102 0 0 20 0 1 0 343462762 1303371776 317469 33554432000 134512640 135840783 4294364176 4294363536 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 318206 317469 349 325 0 317142 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1272824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8367
/proc/meminfo: memFree=26735524/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1297472 CPUtime=1481.66 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 324322 0 0 0 148062 104 0 0 20 0 1 0 343462762 1328611328 323626 33554432000 134512640 135840783 4294364176 4294363536 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 324368 323626 349 325 0 323304 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1297472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8367
/proc/meminfo: memFree=26699344/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1327804 CPUtime=1541.61 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 331954 0 0 0 154054 107 0 0 20 0 1 0 343462762 1359671296 331210 33554432000 134512640 135840783 4294364176 4294363536 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 331951 331210 349 325 0 330887 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1327804
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8367
/proc/meminfo: memFree=26657352/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1354824 CPUtime=1601.59 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 338716 0 0 0 160050 109 0 0 20 0 1 0 343462762 1387339776 337965 33554432000 134512640 135840783 4294364176 4294363536 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 338706 337965 349 325 0 337642 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1354824
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8368
/proc/meminfo: memFree=26605424/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1385680 CPUtime=1661.59 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 346428 0 0 0 166047 112 0 0 20 0 1 0 343462762 1418936320 345677 33554432000 134512640 135840783 4294364176 4294363536 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 346420 345677 349 325 0 345356 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 1385680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8368
/proc/meminfo: memFree=26540848/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1409744 CPUtime=1721.58 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 352450 0 0 0 172044 114 0 0 20 0 1 0 343462762 1443577856 351699 33554432000 134512640 135840783 4294364176 4294363536 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 352436 351699 349 325 0 351372 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1409744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8368
/proc/meminfo: memFree=26472800/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1440296 CPUtime=1781.57 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 360088 0 0 0 178040 117 0 0 20 0 1 0 343462762 1474863104 359337 33554432000 134512640 135840783 4294364176 4294363412 2064342 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 360074 359337 349 325 0 359010 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1440296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8368
/proc/meminfo: memFree=26458384/32873844 swapFree=7112/7112
[pid=8313] ppid=8311 vsize=1448652 CPUtime=1800.07 cores=1,3,5,7
/proc/8313/stat : 8313 (bsolo3.0.17) R 8311 8313 5948 0 -1 4202496 362194 0 0 0 179889 118 0 0 20 0 1 0 343462762 1483419648 361443 33554432000 134512640 135840783 4294364176 4294363536 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8313/statm: 362163 361443 349 325 0 361099 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1448652
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.82
CPU time (s): 1800.1
CPU user time (s): 1798.9
CPU system time (s): 1.19982
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 1448652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.19982
maximum resident set size= 1445772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362197
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= 636
involuntary context switches= 1833
runsolver used 4.26135 second user time and 9.24459 second system time
The end