runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (58318 MiB free)
  memory of node 1: 64507 MiB (62727 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484832-1751305954/watcher-4484832-1751305954 -o /tmp/evaluation-result-4484832-1751305954/solver-4484832-1751305954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751305734-43599 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1983905749 --ls=0 --inp-dombreaklim=0 HOME/instance-4484832-1751305954.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43707, runsolver pid=43704
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.04 2.59 1.89 5/266 43708
/proc/meminfo: memFree=123934164/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=47532 memory=26000 CPUtime=0.09 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 5312 0 0 0 9 0 0 0 20 0 1 0 46273045 48672768 6500 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 11883 6500 1024 1200 0 10363 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47532 KiB
Current children cumulated memory: 26000 KiB

[startup+0.2059 s]*
/proc/loadavg: 4.04 2.59 1.89 5/266 43708
/proc/meminfo: memFree=123918288/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=63940 memory=43412 CPUtime=0.2 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 8395 0 0 0 19 1 0 0 20 0 1 0 46273045 65474560 10853 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 15985 10853 1024 1200 0 14465 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63940 KiB
Current children cumulated memory: 43412 KiB

[startup+0.305842 s]*
/proc/loadavg: 4.04 2.59 1.89 5/266 43708
/proc/meminfo: memFree=123868008/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=112572 memory=92460 CPUtime=0.3 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 16683 0 0 0 27 3 0 0 20 0 1 0 46273045 115273728 23115 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 28143 23115 1184 1200 0 26623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 92460 KiB

[startup+0.700174 s]
/proc/loadavg: 4.04 2.59 1.89 5/266 43708
/proc/meminfo: memFree=123872088/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=112572 memory=92588 CPUtime=0.69 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 16738 0 0 0 66 3 0 0 20 0 1 0 46273045 115273728 23147 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 28143 23147 1184 1200 0 26623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112572 KiB
Current children cumulated memory: 92588 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 2.59 1.89 5/266 43708
/proc/meminfo: memFree=123870324/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=119496 memory=107740 CPUtime=1.48 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 18399 0 0 0 145 3 0 0 20 0 1 0 46273045 122363904 26935 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 29874 26935 1280 1200 0 28354 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119496 KiB
Current children cumulated memory: 107740 KiB

[startup+3.10574 s]
/proc/loadavg: 4.04 2.62 1.90 5/266 43708
/proc/meminfo: memFree=123844448/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=136676 memory=121380 CPUtime=3.08 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 19996 0 0 0 304 4 0 0 20 0 1 0 46273045 139956224 30345 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 34169 30345 1280 1200 0 32649 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136676 KiB
Current children cumulated memory: 121380 KiB

[startup+6.30018 s]
/proc/loadavg: 4.04 2.62 1.90 5/266 43708
/proc/meminfo: memFree=123817712/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=161128 memory=136888 CPUtime=6.27 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 21193 0 0 0 622 5 0 0 20 0 1 0 46273045 164995072 34222 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 40282 34222 1280 1200 0 38762 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161128 KiB
Current children cumulated memory: 136888 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 2.64 1.91 5/266 43708
/proc/meminfo: memFree=123765696/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=222852 memory=182772 CPUtime=12.65 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 25986 0 0 0 1257 8 0 0 20 0 1 0 46273045 228200448 45693 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 55713 45693 1280 1200 0 54193 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 222852 KiB
Current children cumulated memory: 182772 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 2.71 1.94 5/265 43708
/proc/meminfo: memFree=123735700/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=240552 memory=207008 CPUtime=25.41 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 29516 0 0 0 2531 10 0 0 20 0 1 0 46273045 246325248 51752 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 60138 51752 1280 1200 0 58618 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 240552 KiB
Current children cumulated memory: 207008 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 2.83 2.00 5/265 43708
/proc/meminfo: memFree=123440732/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=253472 memory=225380 CPUtime=50.94 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 32640 0 0 0 5083 11 0 0 20 0 1 0 46273045 259555328 56345 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 63368 56345 1280 1200 0 61848 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 253472 KiB
Current children cumulated memory: 225380 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.03 2.12 5/264 43710
/proc/meminfo: memFree=123296204/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=261952 memory=233700 CPUtime=101.99 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 34756 0 0 0 10186 13 0 0 20 0 1 0 46273045 268238848 58425 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 65488 58425 1280 1200 0 63968 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 261952 KiB
Current children cumulated memory: 233700 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.22 2.24 5/264 43712
/proc/meminfo: memFree=123198156/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=264328 memory=237412 CPUtime=161.82 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 35725 0 0 0 16167 15 0 0 20 0 1 0 46273045 270671872 59353 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 66082 59353 1280 1200 0 64562 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 264328 KiB
Current children cumulated memory: 237412 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.38 2.36 5/262 43720
/proc/meminfo: memFree=122918540/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=268456 memory=240996 CPUtime=221.65 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 36658 0 0 0 22147 18 0 0 20 0 1 0 46273045 274898944 60249 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 67114 60249 1280 1200 0 65594 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 268456 KiB
Current children cumulated memory: 240996 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.51 2.47 5/262 43722
/proc/meminfo: memFree=122817168/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=270292 memory=243044 CPUtime=281.48 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 37210 0 0 0 28127 21 0 0 20 0 1 0 46273045 276779008 60761 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 67573 60761 1280 1200 0 66053 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 270292 KiB
Current children cumulated memory: 243044 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.63 2.58 5/263 43725
/proc/meminfo: memFree=122693108/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=271692 memory=244836 CPUtime=341.29 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 37670 0 0 0 34106 23 0 0 20 0 1 0 46273045 278212608 61209 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 67923 61209 1280 1200 0 66403 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 271692 KiB
Current children cumulated memory: 244836 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.70 2.67 5/264 43728
/proc/meminfo: memFree=122619016/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=273896 memory=246500 CPUtime=401.13 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 38099 0 0 0 40087 26 0 0 20 0 1 0 46273045 280469504 61625 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 68474 61625 1280 1200 0 66954 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 273896 KiB
Current children cumulated memory: 246500 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 3.81 2.77 5/264 43730
/proc/meminfo: memFree=122552836/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=274492 memory=247908 CPUtime=460.95 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 38464 0 0 0 46067 28 0 0 20 0 1 0 46273045 281079808 61977 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 68623 61977 1280 1200 0 67103 0

################
# More data... #
################

Current children cumulated memory: 298476 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/265 43866
/proc/meminfo: memFree=120504508/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=314996 memory=302696 CPUtime=2913.46 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 49588 0 0 0 291230 116 0 0 20 0 1 0 46273045 322555904 75674 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 78749 75674 1280 1200 0 77229 0
Current children cumulated CPU time: 2913.46 s
Current children cumulated vsize: 314996 KiB
Current children cumulated memory: 302696 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/265 43868
/proc/meminfo: memFree=120497812/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=315956 memory=303720 CPUtime=2973.26 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 49850 0 0 0 297208 118 0 0 20 0 1 0 46273045 323538944 75930 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 78989 75930 1280 1200 0 77469 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 315956 KiB
Current children cumulated memory: 303720 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/265 43870
/proc/meminfo: memFree=120489536/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=316892 memory=304616 CPUtime=3033.05 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50097 0 0 0 303186 119 0 0 20 0 1 0 46273045 324497408 76154 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 79223 76154 1280 1200 0 77703 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 304616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/265 43873
/proc/meminfo: memFree=120458784/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=316892 memory=304744 CPUtime=3092.85 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50126 0 0 0 309163 122 0 0 20 0 1 0 46273045 324497408 76186 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 79223 76186 1280 1200 0 77703 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 304744 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/265 43875
/proc/meminfo: memFree=120445028/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=316892 memory=304744 CPUtime=3152.66 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50140 0 0 0 315142 124 0 0 20 0 1 0 46273045 324497408 76186 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 79223 76186 1280 1200 0 77703 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 316892 KiB
Current children cumulated memory: 304744 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/265 43884
/proc/meminfo: memFree=120437616/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=318372 memory=306152 CPUtime=3212.45 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50511 0 0 0 321120 125 0 0 20 0 1 0 46273045 326012928 76538 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 79593 76538 1280 1200 0 78073 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 318372 KiB
Current children cumulated memory: 306152 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/265 43886
/proc/meminfo: memFree=120417080/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=319112 memory=306920 CPUtime=3272.24 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50741 0 0 0 327097 127 0 0 20 0 1 0 46273045 326770688 76730 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 79778 76730 1280 1200 0 78258 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 319112 KiB
Current children cumulated memory: 306920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 43888
/proc/meminfo: memFree=120325260/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=389264 memory=319348 CPUtime=3332.04 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 50897 0 0 0 333073 131 0 0 20 0 1 0 46273045 398606336 79837 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97316 79837 1280 1200 0 95796 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 389264 KiB
Current children cumulated memory: 319348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 44026
/proc/meminfo: memFree=128438144/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=390864 memory=321652 CPUtime=3391.84 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51538 0 0 0 339051 133 0 0 20 0 1 0 46273045 400244736 80413 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97716 80413 1280 1200 0 96196 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 390864 KiB
Current children cumulated memory: 321652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.03 5/266 44030
/proc/meminfo: memFree=128315948/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=390864 memory=321780 CPUtime=3451.65 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51576 0 0 0 345030 135 0 0 20 0 1 0 46273045 400244736 80445 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97716 80445 1280 1200 0 96196 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 390864 KiB
Current children cumulated memory: 321780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/267 44033
/proc/meminfo: memFree=128280024/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=390864 memory=323956 CPUtime=3511.48 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51597 0 0 0 351010 138 0 0 20 0 1 0 46273045 400244736 80989 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97716 80989 1280 1200 0 96196 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 390864 KiB
Current children cumulated memory: 323956 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/267 44035
/proc/meminfo: memFree=128270116/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=391480 memory=324340 CPUtime=3571.31 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51802 0 0 0 356991 140 0 0 20 0 1 0 46273045 400875520 81085 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97870 81085 1280 1200 0 96350 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 391480 KiB
Current children cumulated memory: 324340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.13 4.10 4.04 5/267 44035
/proc/meminfo: memFree=128268108/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=391672 memory=324596 CPUtime=3600.04 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51884 0 0 0 359863 141 0 0 20 0 1 0 46273045 401072128 81149 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97918 81149 1280 1200 0 96398 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 391672 KiB
Current children cumulated memory: 324596 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.12 s]
# the end of solver process 43707 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.64 s, system=1.41067 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.11 s]
/proc/loadavg: 4.13 4.10 4.04 5/267 44035
/proc/meminfo: memFree=128268108/131249996 swapFree=33010684/33010684
[pid=43707] ppid=43704 vsize=391672 memory=324596 CPUtime=3600.04 cores=5,7
/proc/43707/stat : 43707 (Exact) R 43704 43707 43586 0 -1 4194304 51884 0 0 0 359863 141 0 0 20 0 1 0 46273045 401072128 81149 18446744073709551615 4198400 9112445 140720819934032 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36749312 140720819939624 140720819939821 140720819939821 140720819945423 0
/proc/43707/statm: 97918 81149 1280 1200 0 96398 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 391672 KiB
Current children cumulated memory: 324596 KiB

Child status: 10

Real time (s): 3611.12
CPU time (s): 3600.05
CPU user time (s): 3598.64
CPU system time (s): 1.41067
CPU usage (%): 99.6937
Max. virtual memory (cumulated for all children) (KiB): 391672
Max. memory (cumulated for all children) (KiB): 324596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.41067
maximum resident set size= 403600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51893
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= 53
involuntary context switches= 19545


# summary of solver processes directly reported to runsolver:
#   pid: 43707
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.64
#   total CPU system time (s): 1.41067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57441 second user time and 16.2606 second system time

The end