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-3742139-1338767840/watcher-3742139-1338767840 -o /tmp/evaluation-result-3742139-1338767840/solver-3742139-1338767840 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742139-1338767840.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.02 2.01 2.00 3/176 7920
/proc/meminfo: memFree=25428716/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4194304 197 0 0 0 0 0 0 0 20 0 1 0 342909462 4583424 148 33554432000 134512640 135840783 4286641216 4286640132 7002680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 1119 148 130 325 0 39 0
[startup+0.0628511 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7920
/proc/meminfo: memFree=25428716/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=7012 CPUtime=0.05 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 1160 0 0 0 5 0 0 0 20 0 1 0 342909462 7180288 993 33554432000 134512640 135840783 4286641216 4286561968 134583023 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 1753 993 344 325 0 689 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7012
[startup+0.100215 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7920
/proc/meminfo: memFree=25428716/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=7012 CPUtime=0.09 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 1161 0 0 0 9 0 0 0 20 0 1 0 342909462 7180288 994 33554432000 134512640 135840783 4286641216 4286561632 1580260 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 1753 994 344 325 0 689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7012
[startup+0.300177 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7920
/proc/meminfo: memFree=25428716/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=7012 CPUtime=0.29 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 1162 0 0 0 29 0 0 0 20 0 1 0 342909462 7180288 995 33554432000 134512640 135840783 4286641216 4286561856 134551755 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 1753 995 344 325 0 689 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7012
[startup+0.700174 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 7920
/proc/meminfo: memFree=25428716/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=7012 CPUtime=0.69 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 1162 0 0 0 69 0 0 0 20 0 1 0 342909462 7180288 995 33554432000 134512640 135840783 4286641216 4286561996 12874800 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 1753 995 344 325 0 689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7012
[startup+1.50018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7921
/proc/meminfo: memFree=25424864/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=8336 CPUtime=1.48 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 1630 0 0 0 148 0 0 0 20 0 1 0 342909462 8536064 1355 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 2084 1355 349 325 0 1020 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8336
[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7921
/proc/meminfo: memFree=25418532/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=17496 CPUtime=3.09 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 3931 0 0 0 308 1 0 0 20 0 1 0 342909462 17915904 3656 33554432000 134512640 135840783 4286641216 4286640528 134550878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 4374 3656 349 325 0 3310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17496
[startup+6.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7921
/proc/meminfo: memFree=25397948/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=33168 CPUtime=6.29 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 7834 0 0 0 627 2 0 0 20 0 1 0 342909462 33964032 7559 33554432000 134512640 135840783 4286641216 4286640576 134550910 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 8292 7559 349 325 0 7228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33168
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7921
/proc/meminfo: memFree=25360952/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=66928 CPUtime=12.68 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 16285 0 0 0 1264 4 0 0 20 0 1 0 342909462 68534272 16010 33554432000 134512640 135840783 4286641216 4286640576 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 16732 16010 349 325 0 15668 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 66928
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7921
/proc/meminfo: memFree=25280088/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=133968 CPUtime=25.48 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 33032 0 0 0 2539 9 0 0 20 0 1 0 342909462 137183232 32757 33554432000 134512640 135840783 4286641216 4286640576 134551368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7920/statm: 33492 32757 349 325 0 32428 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 133968
[startup+51.1003 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 7921
/proc/meminfo: memFree=25167944/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=228496 CPUtime=51.07 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 56679 0 0 0 5092 15 0 0 20 0 1 0 342909462 233979904 56404 33554432000 134512640 135840783 4286641216 4286620000 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 57124 56404 349 325 0 56060 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 228496
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 7922
/proc/meminfo: memFree=25000588/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=361276 CPUtime=102.27 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 89857 0 0 0 10205 22 0 0 20 0 1 0 342909462 369946624 89582 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 90319 89582 349 325 0 89255 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 361276
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 7925
/proc/meminfo: memFree=24776640/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=545568 CPUtime=162.25 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 135926 0 0 0 16193 32 0 0 20 0 1 0 342909462 558661632 135651 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 136392 135651 349 325 0 135328 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 545568
[startup+222.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/178 7948
/proc/meminfo: memFree=24604648/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=675284 CPUtime=222.24 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 168376 0 0 0 22185 39 0 0 20 0 1 0 342909462 691490816 168101 33554432000 134512640 135840783 4286641216 4286640576 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 168821 168101 349 325 0 167757 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 675284
[startup+282.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 7948
/proc/meminfo: memFree=24466108/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=775056 CPUtime=282.24 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 193308 0 0 0 28179 45 0 0 20 0 1 0 342909462 793657344 193033 33554432000 134512640 135840783 4286641216 4286640572 134519592 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 193764 193033 349 325 0 192700 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 775056
[startup+342.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 7948
/proc/meminfo: memFree=24331348/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=873892 CPUtime=342.22 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 218008 0 0 0 34173 49 0 0 20 0 1 0 342909462 894865408 217733 33554432000 134512640 135840783 4286641216 4286640576 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 218473 217733 349 325 0 217409 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 873892
[startup+402.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 7949
/proc/meminfo: memFree=24177864/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=983512 CPUtime=402.22 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 245414 0 0 0 40167 55 0 0 20 0 1 0 342909462 1007116288 245139 33554432000 134512640 135840783 4286641216 4286640528 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 245878 245139 349 325 0 244814 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 983512
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 7949
/proc/meminfo: memFree=24021776/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1073580 CPUtime=462.21 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 267937 0 0 0 46161 60 0 0 20 0 1 0 342909462 1099345920 267662 33554432000 134512640 135840783 4286641216 4286640576 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 268395 267662 349 325 0 267331 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1073580
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 7949
/proc/meminfo: memFree=23873624/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1162048 CPUtime=522.2 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 290071 0 0 0 52155 65 0 0 20 0 1 0 342909462 1189937152 289796 33554432000 134512640 135840783 4286641216 4286640568 9824441 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 290512 289796 349 325 0 289448 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1162048
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 7949
/proc/meminfo: memFree=23737500/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1242264 CPUtime=582.18 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 310119 0 0 0 58149 69 0 0 20 0 1 0 342909462 1272078336 309844 33554432000 134512640 135840783 4286641216 4286640576 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 310566 309844 349 325 0 309502 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1242264
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7992
/proc/meminfo: memFree=24996068/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1644076 CPUtime=881.96 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 410769 0 0 0 88104 92 0 0 20 0 1 0 342909462 1683533824 410305 33554432000 134512640 135840783 4286641216 4286640576 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 411019 410305 349 325 0 409955 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 1644076
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7992
/proc/meminfo: memFree=24884372/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1709788 CPUtime=941.92 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 427221 0 0 0 94095 97 0 0 20 0 1 0 342909462 1750822912 426713 33554432000 134512640 135840783 4286641216 4286640576 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 427447 426713 349 325 0 426383 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1709788
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7992
/proc/meminfo: memFree=24764864/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1788116 CPUtime=1001.87 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 446856 0 0 0 100085 102 0 0 20 0 1 0 342909462 1831030784 446304 33554432000 134512640 135840783 4286641216 4286640576 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 447029 446304 349 325 0 445965 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 1788116
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7993
/proc/meminfo: memFree=24637048/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1858424 CPUtime=1061.82 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 464460 0 0 0 106076 106 0 0 20 0 1 0 342909462 1903026176 463873 33554432000 134512640 135840783 4286641216 4286640576 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 464606 463873 349 325 0 463542 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 1858424
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7993
/proc/meminfo: memFree=24513944/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1923872 CPUtime=1121.78 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 480867 0 0 0 112068 110 0 0 20 0 1 0 342909462 1970044928 480240 33554432000 134512640 135840783 4286641216 4286640576 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 480968 480240 349 325 0 479904 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 1923872
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7993
/proc/meminfo: memFree=24420848/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=1982720 CPUtime=1181.74 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 495621 0 0 0 118060 114 0 0 20 0 1 0 342909462 2030305280 494963 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 495680 494963 349 325 0 494616 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1982720
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7993
/proc/meminfo: memFree=24313740/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2041552 CPUtime=1241.7 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 510361 0 0 0 124052 118 0 0 20 0 1 0 342909462 2090549248 509673 33554432000 134512640 135840783 4286641216 4286640576 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 510388 509673 349 325 0 509324 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 2041552
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 7994
/proc/meminfo: memFree=24226464/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2097312 CPUtime=1301.66 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 524318 0 0 0 130044 122 0 0 20 0 1 0 342909462 2147647488 523597 33554432000 134512640 135840783 4286641216 4286640528 1576901 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 524328 523597 349 325 0 523264 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 2097312
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7998
/proc/meminfo: memFree=24149488/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2155500 CPUtime=1361.62 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 538901 0 0 0 136037 125 0 0 20 0 1 0 342909462 2207232000 538147 33554432000 134512640 135840783 4286641216 4286640576 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 538875 538147 349 325 0 537811 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 2155500
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7998
/proc/meminfo: memFree=24057764/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2217088 CPUtime=1421.6 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 554334 0 0 0 142031 129 0 0 20 0 1 0 342909462 2270298112 553544 33554432000 134512640 135840783 4286641216 4286640576 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 554272 553544 349 325 0 553208 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 2217088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7998
/proc/meminfo: memFree=23927840/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2319064 CPUtime=1481.57 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 579872 0 0 0 148021 136 0 0 20 0 1 0 342909462 2374721536 579045 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 579766 579045 349 325 0 578702 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 2319064
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7998
/proc/meminfo: memFree=23793080/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2415240 CPUtime=1541.52 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 603943 0 0 0 154011 141 0 0 20 0 1 0 342909462 2473205760 603077 33554432000 134512640 135840783 4286641216 4286640576 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 603810 603077 349 325 0 602746 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 2415240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7998
/proc/meminfo: memFree=23696760/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2469496 CPUtime=1601.5 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 617535 0 0 0 160006 144 0 0 20 0 1 0 342909462 2528763904 616638 33554432000 134512640 135840783 4286641216 4286640576 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 617374 616638 349 325 0 616310 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 2469496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7999
/proc/meminfo: memFree=23571548/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2526356 CPUtime=1661.48 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 631816 0 0 0 166001 147 0 0 20 0 1 0 342909462 2586988544 630882 33554432000 134512640 135840783 4286641216 4286640576 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 631589 630882 349 325 0 630525 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 2526356
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7999
/proc/meminfo: memFree=23492092/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2587492 CPUtime=1721.45 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 647120 0 0 0 171994 151 0 0 20 0 1 0 342909462 2649591808 646151 33554432000 134512640 135840783 4286641216 4286640576 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 646873 646151 349 325 0 645809 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 2587492
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 7999
/proc/meminfo: memFree=23377668/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2666668 CPUtime=1781.42 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 666927 0 0 0 177986 156 0 0 20 0 1 0 342909462 2730668032 665939 33554432000 134512640 135840783 4286641216 4286640576 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 666667 665939 349 325 0 665603 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 2666668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7999
/proc/meminfo: memFree=23352712/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2684688 CPUtime=1800.01 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 671458 0 0 0 179845 156 0 0 20 0 1 0 342909462 2749120512 670462 33554432000 134512640 135840783 4286641216 4286640576 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 671172 670462 349 325 0 670108 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2684688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7999
/proc/meminfo: memFree=23352712/32873844 swapFree=7384/7384
[pid=7920] ppid=7918 vsize=2684688 CPUtime=1800.01 cores=0,2,4,6
/proc/7920/stat : 7920 (bsolo3.0.17) R 7918 7920 5940 0 -1 4202496 671458 0 0 0 179845 156 0 0 20 0 1 0 342909462 2749120512 670462 33554432000 134512640 135840783 4286641216 4286640576 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7920/statm: 671172 670462 349 325 0 670108 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2684688
Child status: 15
Real time (s): 1800.96
CPU time (s): 1800.08
CPU user time (s): 1798.46
CPU system time (s): 1.62075
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 2684688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.62075
maximum resident set size= 2681848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671461
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= 790
involuntary context switches= 1991
runsolver used 3.69944 second user time and 8.81466 second system time
The end