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-3737595-1338723797/watcher-3737595-1338723797 -o /tmp/evaluation-result-3737595-1338723797/solver-3737595-1338723797 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737595-1338723797.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.05 2.01 2.00 2/176 9375
/proc/meminfo: memFree=25359940/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) D 9373 9375 8706 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 338506949 2723840 47 33554432000 134512640 135840783 4287775760 4287773796 11490244 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 665 47 37 325 0 32 0
[startup+0.0874349 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 9375
/proc/meminfo: memFree=25359940/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11604 CPUtime=0.07 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2228 0 0 0 7 0 0 0 20 0 1 0 338506949 11882496 2117 33554432000 134512640 135840783 4287775760 4287612256 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 2901 2117 343 325 0 1837 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11604
[startup+0.100254 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 9375
/proc/meminfo: memFree=25359940/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11604 CPUtime=0.09 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2228 0 0 0 9 0 0 0 20 0 1 0 338506949 11882496 2117 33554432000 134512640 135840783 4287775760 4287612368 134583223 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 2901 2117 343 325 0 1837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11604
[startup+0.300194 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 9375
/proc/meminfo: memFree=25359940/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11604 CPUtime=0.29 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2229 0 0 0 29 0 0 0 20 0 1 0 338506949 11882496 2118 33554432000 134512640 135840783 4287775760 4287612256 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 2901 2118 343 325 0 1837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11604
[startup+0.700222 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 9375
/proc/meminfo: memFree=25359940/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11604 CPUtime=0.68 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2229 0 0 0 68 0 0 0 20 0 1 0 338506949 11882496 2118 33554432000 134512640 135840783 4287775760 4287612256 134551727 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 2901 2118 343 325 0 1837 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11604
[startup+1.50019 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25353228/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11604 CPUtime=1.48 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2229 0 0 0 148 0 0 0 20 0 1 0 338506949 11882496 2118 33554432000 134512640 135840783 4287775760 4287612396 7500848 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9375/statm: 2901 2118 343 325 0 1837 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11604
[startup+3.10026 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25352824/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=11792 CPUtime=3.08 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 2735 0 0 0 307 1 0 0 20 0 1 0 338506949 12075008 2200 33554432000 134512640 135840783 4287775760 4287775072 134575799 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 2948 2200 348 325 0 1884 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11792
[startup+6.30023 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25343904/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=27040 CPUtime=6.29 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 6556 0 0 0 627 2 0 0 20 0 1 0 338506949 27688960 6021 33554432000 134512640 135840783 4287775760 4287763808 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 6760 6021 349 325 0 5696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27040
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25318756/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=47336 CPUtime=12.68 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 11620 0 0 0 1266 2 0 0 20 0 1 0 338506949 48472064 11085 33554432000 134512640 135840783 4287775760 4287775120 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 11834 11085 349 325 0 10770 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47336
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25287764/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=76256 CPUtime=25.47 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 18844 0 0 0 2544 3 0 0 20 0 1 0 338506949 78086144 18309 33554432000 134512640 135840783 4287775760 4287775056 134572646 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 19064 18309 349 325 0 18000 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 76256
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 9376
/proc/meminfo: memFree=25227500/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=131372 CPUtime=51.07 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 32630 0 0 0 5102 5 0 0 20 0 1 0 338506949 134524928 32095 33554432000 134512640 135840783 4287775760 4287774832 12000158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 32843 32095 349 325 0 31779 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131372
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9376
/proc/meminfo: memFree=25094364/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=245096 CPUtime=102.28 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 61078 0 0 0 10215 13 0 0 20 0 1 0 338506949 250978304 60543 33554432000 134512640 135840783 4287775760 4287775120 134550797 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 61274 60543 349 325 0 60210 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 245096
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 9376
/proc/meminfo: memFree=24922592/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=408168 CPUtime=162.24 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 101870 0 0 0 16204 20 0 0 20 0 1 0 338506949 417964032 101313 33554432000 134512640 135840783 4287775760 4287775056 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 102042 101313 349 325 0 100978 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 408168
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9376
/proc/meminfo: memFree=24735380/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=592624 CPUtime=222.21 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 148015 0 0 0 22192 29 0 0 20 0 1 0 338506949 606846976 147425 33554432000 134512640 135840783 4287775760 4287765440 12002599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 148156 147425 349 325 0 147092 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 592624
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9377
/proc/meminfo: memFree=24545692/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=785060 CPUtime=282.18 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 196151 0 0 0 28178 40 0 0 20 0 1 0 338506949 803901440 195528 33554432000 134512640 135840783 4287775760 4287775120 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 196265 195528 349 325 0 195201 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 785060
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9377
/proc/meminfo: memFree=24304292/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1022276 CPUtime=342.14 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 255487 0 0 0 34162 52 0 0 20 0 1 0 338506949 1046810624 254831 33554432000 134512640 135840783 4287775760 4287774896 12000158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 255569 254831 349 325 0 254505 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1022276
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9377
/proc/meminfo: memFree=24248396/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1079204 CPUtime=402.09 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 269755 0 0 0 40153 56 0 0 20 0 1 0 338506949 1105104896 269064 33554432000 134512640 135840783 4287775760 4287775072 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 269801 269064 349 325 0 268737 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1079204
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9380
/proc/meminfo: memFree=24162860/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1163684 CPUtime=462.06 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 290916 0 0 0 46143 63 0 0 20 0 1 0 338506949 1191612416 290192 33554432000 134512640 135840783 4287775760 4287775056 134572684 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 290921 290192 349 325 0 289857 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1163684
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=24091348/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1235604 CPUtime=522.03 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 308918 0 0 0 52133 70 0 0 20 0 1 0 338506949 1265258496 308153 33554432000 134512640 135840783 4287775760 4287775120 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 308901 308153 349 325 0 307837 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1235604
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=24030368/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1293596 CPUtime=581.98 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 323459 0 0 0 58123 75 0 0 20 0 1 0 338506949 1324642304 322650 33554432000 134512640 135840783 4287775760 4287774832 12000158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 323399 322650 349 325 0 322335 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 1293596
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9382
/proc/meminfo: memFree=23340076/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=1961492 CPUtime=881.82 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 490580 0 0 0 88057 125 0 0 20 0 1 0 338506949 2008567808 489631 33554432000 134512640 135840783 4287775760 4287775120 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 490373 489631 349 325 0 489309 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 1961492
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23280996/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2205228 CPUtime=941.78 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 551537 0 0 0 94038 140 0 0 20 0 1 0 338506949 2258153472 550558 33554432000 134512640 135840783 4287775760 4287768592 12002599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 551307 550558 349 325 0 550243 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 2205228
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9421
/proc/meminfo: memFree=23191388/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2285500 CPUtime=1001.75 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 571649 0 0 0 100028 147 0 0 20 0 1 0 338506949 2340352000 570642 33554432000 134512640 135840783 4287775760 4287775120 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 571375 570642 349 325 0 570311 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 2285500
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9424
/proc/meminfo: memFree=23113892/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2350956 CPUtime=1061.72 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 588048 0 0 0 106020 152 0 0 20 0 1 0 338506949 2407378944 587008 33554432000 134512640 135840783 4287775760 4287767360 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 587739 587008 349 325 0 586675 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 2350956
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9447
/proc/meminfo: memFree=23035636/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2419824 CPUtime=1121.7 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 605279 0 0 0 112012 158 0 0 20 0 1 0 338506949 2477899776 604209 33554432000 134512640 135840783 4287775760 4287775120 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 604956 604209 349 325 0 603892 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 2419824
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22962636/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2492732 CPUtime=1181.66 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 623558 0 0 0 118002 164 0 0 20 0 1 0 338506949 2552557568 622455 33554432000 134512640 135840783 4287775760 4287775056 134572580 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 623183 622455 349 325 0 622119 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 2492732
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22875868/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2575164 CPUtime=1241.64 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 644185 0 0 0 123993 171 0 0 20 0 1 0 338506949 2636967936 643057 33554432000 134512640 135840783 4287775760 4287775120 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 643791 643057 349 325 0 642727 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 2575164
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22783888/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2663660 CPUtime=1301.62 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 666333 0 0 0 129984 178 0 0 20 0 1 0 338506949 2727587840 665181 33554432000 134512640 135840783 4287775760 4287775120 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 665915 665181 349 325 0 664851 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 2663660
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22678268/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2770352 CPUtime=1361.58 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 693002 0 0 0 135972 186 0 0 20 0 1 0 338506949 2836840448 691830 33554432000 134512640 135840783 4287775760 4287775056 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 692588 691830 349 325 0 691524 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 2770352
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9448
/proc/meminfo: memFree=22531728/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=2915396 CPUtime=1421.57 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 729292 0 0 0 141961 196 0 0 20 0 1 0 338506949 2985365504 728095 33554432000 134512640 135840783 4287775760 4287775120 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 728849 728095 349 325 0 727785 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 2915396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9449
/proc/meminfo: memFree=22352576/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3095924 CPUtime=1481.53 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 774436 0 0 0 147945 208 0 0 20 0 1 0 338506949 3170226176 773221 33554432000 134512640 135840783 4287775760 4287764256 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 773981 773221 349 325 0 772917 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 3095924
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9449
/proc/meminfo: memFree=22258116/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1541.51 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797770 0 0 0 153938 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 3187768
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9449
/proc/meminfo: memFree=22257648/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1601.49 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797777 0 0 0 159936 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 3187768
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9452
/proc/meminfo: memFree=22258172/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1661.47 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797792 0 0 0 165934 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 3187768
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9452
/proc/meminfo: memFree=22257976/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1721.45 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797807 0 0 0 171932 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 3187768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9453
/proc/meminfo: memFree=22255756/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1781.43 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797826 0 0 0 177930 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 3187768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9453
/proc/meminfo: memFree=22253136/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1800.03 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797826 0 0 0 179790 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3187768
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.00 2.00 2.00 3/177 9453
/proc/meminfo: memFree=22253136/32873648 swapFree=6852/6852
[pid=9375] ppid=9373 vsize=3187768 CPUtime=1800.03 cores=0,2,4,6
/proc/9375/stat : 9375 (bsolo3.0.17) R 9373 9375 8706 0 -1 4202496 797826 0 0 0 179790 213 0 0 20 0 1 0 338506949 3264274432 796203 33554432000 134512640 135840783 4287775760 4287775184 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9375/statm: 796942 796203 349 325 0 795878 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3187768
Child status: 15
Real time (s): 1800.94
CPU time (s): 1800.08
CPU user time (s): 1797.91
CPU system time (s): 2.16967
CPU usage (%): 99.9521
Max. virtual memory (cumulated for all children) (KiB): 3189112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.16967
maximum resident set size= 3186156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 797829
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= 917
involuntary context switches= 1979
runsolver used 3.69344 second user time and 8.97164 second system time
The end