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: 63794 MiB (60649 MiB free)
  memory of node 1: 64507 MiB (59616 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481755-1751313896/watcher-4481755-1751313896 -o /tmp/evaluation-result-4481755-1751313896/solver-4481755-1751313896 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751313534-44109 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1969349560 --ls=360 HOME/instance-4481755-1751313896.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44281, runsolver pid=44277

[startup+0.100076 s]*
/proc/loadavg: 4.07 3.22 2.70 5/250 44286
/proc/meminfo: memFree=123117720/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=39968 memory=16080 CPUtime=0.09 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 2942 0 0 0 9 0 0 0 20 0 1 0 47069405 40927232 4448 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 9543 4020 1024 1200 0 8023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39968 KiB
Current children cumulated memory: 16080 KiB

[startup+0.215218 s]*
/proc/loadavg: 4.06 3.23 2.70 6/250 44286
/proc/meminfo: memFree=123104048/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=46772 memory=24160 CPUtime=0.2 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 4837 0 0 0 19 1 0 0 20 0 1 0 47069405 47894528 6040 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 11693 6040 1024 1200 0 10173 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46772 KiB
Current children cumulated memory: 24160 KiB

[startup+0.313169 s]*
/proc/loadavg: 4.06 3.23 2.70 5/250 44286
/proc/meminfo: memFree=123099952/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=47300 memory=24800 CPUtime=0.28 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 5014 0 0 0 27 1 0 0 20 0 1 0 47069405 48435200 6200 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 11825 6200 1024 1200 0 10305 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47300 KiB
Current children cumulated memory: 24800 KiB

[startup+0.700233 s]
/proc/loadavg: 4.06 3.23 2.70 6/250 44286
/proc/meminfo: memFree=123056856/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=45324 CPUtime=0.62 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 8872 0 0 0 60 2 0 0 20 0 1 0 47069405 70868992 11331 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11331 1024 1200 0 15782 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 45324 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 3.23 2.70 5/250 44286
/proc/meminfo: memFree=123049596/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=45324 CPUtime=1.41 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 8873 0 0 0 138 3 0 0 20 0 1 0 47069405 70868992 11331 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11331 1024 1200 0 15782 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 45324 KiB

[startup+3.11306 s]
/proc/loadavg: 4.06 3.23 2.70 5/250 44331
/proc/meminfo: memFree=123018752/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=2.99 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9114 0 0 0 294 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+6.30031 s]
/proc/loadavg: 4.06 3.25 2.71 5/250 44331
/proc/meminfo: memFree=123002720/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=6.17 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9119 0 0 0 612 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 3.26 2.72 5/250 44331
/proc/meminfo: memFree=122999040/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=12.54 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9124 0 0 0 1249 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 3.28 2.73 5/250 44331
/proc/meminfo: memFree=122976456/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=25.29 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9129 0 0 0 2524 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+51.1131 s]
/proc/loadavg: 4.08 3.37 2.78 5/250 44332
/proc/meminfo: memFree=122963176/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=50.79 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9134 0 0 0 5074 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 3.50 2.86 5/251 44335
/proc/meminfo: memFree=122965284/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=101.76 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9144 0 0 0 10171 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.61 2.93 5/252 44338
/proc/meminfo: memFree=122940480/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=46220 CPUtime=161.51 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9153 0 0 0 16146 5 0 0 20 0 1 0 47069405 70868992 11555 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11555 1024 1200 0 15782 0
Current children cumulated CPU time: 161.51 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 46220 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.71 3.02 5/251 44340
/proc/meminfo: memFree=122903932/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=47372 CPUtime=221.26 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9166 0 0 0 22121 5 0 0 20 0 1 0 47069405 70868992 11843 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11843 1024 1200 0 15782 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 47372 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.78 3.08 5/251 44342
/proc/meminfo: memFree=122881336/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=47372 CPUtime=281.05 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9183 0 0 0 28100 5 0 0 20 0 1 0 47069405 70868992 11843 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11843 1024 1200 0 15782 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 47372 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.87 3.16 5/251 44344
/proc/meminfo: memFree=122893276/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=69208 memory=47372 CPUtime=340.87 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 9200 0 0 0 34081 6 0 0 20 0 1 0 47069405 70868992 11843 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 17302 11843 1024 1200 0 15782 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 69208 KiB
Current children cumulated memory: 47372 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 3.93 3.23 5/250 44346
/proc/meminfo: memFree=122382184/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=243984 memory=206864 CPUtime=400.7 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 28719 0 0 0 40055 15 0 0 20 0 1 0 47069405 249839616 51716 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 60996 51716 1280 1200 0 59476 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 206864 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.98 3.29 5/249 44348
/proc/meminfo: memFree=122330800/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=265332 memory=227472 CPUtime=460.53 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 33868 0 0 0 46035 18 0 0 20 0 1 0 47069405 271699968 56868 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 66333 56868 1280 1200 0 64813 0

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

Current children cumulated memory: 343400 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 44469
/proc/meminfo: memFree=121921416/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=417712 memory=343400 CPUtime=2913.41 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53603 0 0 0 291235 106 0 0 20 0 1 0 47069405 427737088 85850 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104428 85850 1280 1200 0 102908 0
Current children cumulated CPU time: 2913.41 s
Current children cumulated vsize: 417712 KiB
Current children cumulated memory: 343400 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 44471
/proc/meminfo: memFree=121936508/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418276 memory=343656 CPUtime=2973.26 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53695 0 0 0 297218 108 0 0 20 0 1 0 47069405 428314624 85914 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104569 85914 1280 1200 0 103049 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 418276 KiB
Current children cumulated memory: 343656 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 44472
/proc/meminfo: memFree=121936200/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418276 memory=343784 CPUtime=3033.1 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53849 0 0 0 303200 110 0 0 20 0 1 0 47069405 428314624 85946 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104569 85946 1280 1200 0 103049 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 418276 KiB
Current children cumulated memory: 343784 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 44475
/proc/meminfo: memFree=121935264/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418276 memory=343784 CPUtime=3092.95 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53860 0 0 0 309184 111 0 0 20 0 1 0 47069405 428314624 85946 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104569 85946 1280 1200 0 103049 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 418276 KiB
Current children cumulated memory: 343784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 44477
/proc/meminfo: memFree=121927776/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418276 memory=343784 CPUtime=3152.8 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53861 0 0 0 315167 113 0 0 20 0 1 0 47069405 428314624 85946 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104569 85946 1280 1200 0 103049 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 418276 KiB
Current children cumulated memory: 343784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 44479
/proc/meminfo: memFree=121927032/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418832 memory=343912 CPUtime=3212.65 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53986 0 0 0 321149 116 0 0 20 0 1 0 47069405 428883968 85978 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104708 85978 1280 1200 0 103188 0
Current children cumulated CPU time: 3212.65 s
Current children cumulated vsize: 418832 KiB
Current children cumulated memory: 343912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/250 44526
/proc/meminfo: memFree=122054640/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418832 memory=343912 CPUtime=3272.47 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 53998 0 0 0 327126 121 0 0 20 0 1 0 47069405 428883968 85978 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104708 85978 1280 1200 0 103188 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 418832 KiB
Current children cumulated memory: 343912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 44528
/proc/meminfo: memFree=122036764/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=418832 memory=344296 CPUtime=3332.32 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 54231 0 0 0 333109 123 0 0 20 0 1 0 47069405 428883968 86074 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104708 86074 1280 1200 0 103188 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 418832 KiB
Current children cumulated memory: 344296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/249 44541
/proc/meminfo: memFree=122032540/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=419816 memory=345320 CPUtime=3392.17 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 54489 0 0 0 339092 125 0 0 20 0 1 0 47069405 429891584 86330 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104954 86330 1280 1200 0 103434 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 419816 KiB
Current children cumulated memory: 345320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 44543
/proc/meminfo: memFree=122029584/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=419816 memory=345832 CPUtime=3452.02 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 54489 0 0 0 345075 127 0 0 20 0 1 0 47069405 429891584 86458 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 104954 86458 1280 1200 0 103434 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 419816 KiB
Current children cumulated memory: 345832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 44552
/proc/meminfo: memFree=122026096/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=421988 memory=346728 CPUtime=3511.86 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 54878 0 0 0 351057 129 0 0 20 0 1 0 47069405 432115712 86682 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 105497 86682 1280 1200 0 103977 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 421988 KiB
Current children cumulated memory: 346728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 44554
/proc/meminfo: memFree=122024768/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=422688 memory=348008 CPUtime=3571.72 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 55192 0 0 0 357040 132 0 0 20 0 1 0 47069405 432832512 87002 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 105672 87002 1280 1200 0 104152 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 422688 KiB
Current children cumulated memory: 348008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 44555
/proc/meminfo: memFree=122024912/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=422688 memory=348008 CPUtime=3600.05 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 55194 0 0 0 359872 133 0 0 20 0 1 0 47069405 432832512 87002 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 105672 87002 1280 1200 0 104152 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 422688 KiB
Current children cumulated memory: 348008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.73 s, system=1.33667 s

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

[startup+3610.7 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 44555
/proc/meminfo: memFree=122024912/131382112 swapFree=33010684/33010684
[pid=44281] ppid=44277 vsize=422688 memory=348008 CPUtime=3600.05 cores=5,7
/proc/44281/stat : 44281 (Exact) R 44277 44281 44096 0 -1 4194304 55194 0 0 0 359872 133 0 0 20 0 1 0 47069405 432832512 87002 18446744073709551615 4198400 9112445 140721682714496 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33452032 140721682716986 140721682717165 140721682717165 140721682722767 0
/proc/44281/statm: 105672 87002 1280 1200 0 104152 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 422688 KiB
Current children cumulated memory: 348008 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.07
CPU user time (s): 3598.73
CPU system time (s): 1.33667
CPU usage (%): 99.7052
Max. virtual memory (cumulated for all children) (KiB): 422688
Max. memory (cumulated for all children) (KiB): 348008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.73
system time used= 1.33667
maximum resident set size= 393372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55205
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= 73
involuntary context switches= 1596


# summary of solver processes directly reported to runsolver:
#   pid: 44281
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.73
#   total CPU system time (s): 1.33667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1806 second user time and 34.4321 second system time

The end