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: 64059 MiB (61132 MiB free)
  memory of node 1: 64510 MiB (62267 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433107-1721063086/watcher-4433107-1721063086 -o /tmp/evaluation-result-4433107-1721063086/solver-4433107-1721063086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811457 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1754728395 HOME/instance-4433107-1721063086.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=811519, runsolver pid=811516

[startup+0.100454 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126341748/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=29892 memory=8112 CPUtime=0.1 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 1343 0 0 0 10 0 0 0 20 0 1 0 158467352 30609408 2028 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 7473 2028 868 1005 0 6236 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29892 KiB
Current children cumulated memory: 8112 KiB

[startup+0.213195 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126292920/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=31604 memory=12004 CPUtime=0.21 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 1779 0 0 0 21 0 0 0 20 0 1 0 158467352 32362496 3001 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 7901 3001 868 1005 0 6664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31604 KiB
Current children cumulated memory: 12004 KiB

[startup+0.313865 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126284768/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=33444 memory=15604 CPUtime=0.31 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 2270 0 0 0 31 0 0 0 20 0 1 0 158467352 34246656 3901 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 8361 3901 868 1005 0 7124 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33444 KiB
Current children cumulated memory: 15604 KiB

[startup+0.700372 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126275260/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=100408 memory=85460 CPUtime=0.69 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 9282 0 0 0 64 5 0 0 20 0 1 0 158467352 102817792 21365 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 25102 21365 1028 1005 0 23865 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 100408 KiB
Current children cumulated memory: 85460 KiB

[startup+1.50028 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126166256/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=109372 memory=94464 CPUtime=1.48 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 13937 0 0 0 141 7 0 0 20 0 1 0 158467352 111996928 23616 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 27343 23616 1028 1005 0 26106 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109372 KiB
Current children cumulated memory: 94464 KiB

[startup+3.11273 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811522
/proc/meminfo: memFree=126054960/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=133060 memory=118580 CPUtime=3.09 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 17013 0 0 0 301 8 0 0 20 0 1 0 158467352 136253440 29645 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 33265 29645 1140 1005 0 32028 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 133060 KiB
Current children cumulated memory: 118580 KiB

[startup+6.30031 s]
/proc/loadavg: 1.33 1.16 1.52 5/243 811522
/proc/meminfo: memFree=125950552/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=138604 memory=132052 CPUtime=6.26 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 18365 0 0 0 618 8 0 0 20 0 1 0 158467352 141930496 33013 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 34651 33013 1140 1005 0 33414 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 138604 KiB
Current children cumulated memory: 132052 KiB

[startup+12.7003 s]
/proc/loadavg: 1.54 1.20 1.54 5/243 811523
/proc/meminfo: memFree=125827512/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=172624 memory=163844 CPUtime=12.66 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 20208 0 0 0 1256 10 0 0 20 0 1 0 158467352 176766976 40961 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 43156 40961 1140 1005 0 41919 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 172624 KiB
Current children cumulated memory: 163844 KiB

[startup+25.5004 s]
/proc/loadavg: 2.17 1.36 1.58 5/243 811525
/proc/meminfo: memFree=125610908/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=215208 memory=181808 CPUtime=25.42 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 21134 0 0 0 2530 12 0 0 20 0 1 0 158467352 220372992 45452 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 53802 45452 1140 1005 0 52565 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 215208 KiB
Current children cumulated memory: 181808 KiB

[startup+51.1136 s]
/proc/loadavg: 2.79 1.57 1.65 5/243 811528
/proc/meminfo: memFree=125365220/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=223044 memory=208708 CPUtime=50.98 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 23431 0 0 0 5085 13 0 0 20 0 1 0 158467352 228397056 52177 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 55761 52177 1140 1005 0 54524 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 223044 KiB
Current children cumulated memory: 208708 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.96 1.78 5/245 811543
/proc/meminfo: memFree=125142992/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=228180 memory=214152 CPUtime=102.04 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 24832 0 0 0 10190 14 0 0 20 0 1 0 158467352 233656320 53538 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 57045 53538 1140 1005 0 55808 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 228180 KiB
Current children cumulated memory: 214152 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.35 1.93 5/245 811554
/proc/meminfo: memFree=125128820/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=233548 memory=219420 CPUtime=161.91 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 26264 0 0 0 16174 17 0 0 20 0 1 0 158467352 239153152 54855 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 58387 54855 1140 1005 0 57150 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 233548 KiB
Current children cumulated memory: 219420 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.67 2.06 5/245 811564
/proc/meminfo: memFree=125082112/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=235964 memory=221868 CPUtime=221.77 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 26924 0 0 0 22158 19 0 0 20 0 1 0 158467352 241627136 55467 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 58991 55467 1140 1005 0 57754 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 235964 KiB
Current children cumulated memory: 221868 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.95 2.20 5/245 811576
/proc/meminfo: memFree=125057808/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=239776 memory=225844 CPUtime=281.62 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 27428 0 0 0 28142 20 0 0 20 0 1 0 158467352 245530624 56461 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 59944 56461 1140 1005 0 58707 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 239776 KiB
Current children cumulated memory: 225844 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.15 2.32 5/245 811589
/proc/meminfo: memFree=124996684/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=242196 memory=228272 CPUtime=341.48 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 28085 0 0 0 34126 22 0 0 20 0 1 0 158467352 248008704 57068 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 60549 57068 1140 1005 0 59312 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 242196 KiB
Current children cumulated memory: 228272 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.32 2.43 5/245 811599
/proc/meminfo: memFree=124936328/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=314656 memory=251992 CPUtime=401.34 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 29574 0 0 0 40108 26 0 0 20 0 1 0 158467352 322207744 62998 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 78664 62998 1140 1005 0 77427 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 314656 KiB
Current children cumulated memory: 251992 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 3.50 2.55 5/244 811611
/proc/meminfo: memFree=124909052/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=316524 memory=253692 CPUtime=461.21 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 30087 0 0 0 46092 29 0 0 20 0 1 0 158467352 324120576 63423 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 79131 63423 1140 1005 0 77894 0

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

Current children cumulated memory: 391576 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.29 4.10 5/242 812665
/proc/meminfo: memFree=124440936/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=410324 memory=395200 CPUtime=2914.7 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 56634 0 0 0 291363 107 0 0 20 0 1 0 158467352 420171776 98800 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 102581 98800 1140 1005 0 101344 0
Current children cumulated CPU time: 2914.7 s
Current children cumulated vsize: 410324 KiB
Current children cumulated memory: 395200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.23 4.09 5/242 812676
/proc/meminfo: memFree=124437412/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=410324 memory=395200 CPUtime=2974.57 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 56760 0 0 0 297348 109 0 0 20 0 1 0 158467352 420171776 98800 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 102581 98800 1140 1005 0 101344 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 410324 KiB
Current children cumulated memory: 395200 KiB

[startup+3042.3 s]
/proc/loadavg: 4.44 4.28 4.11 5/244 813070
/proc/meminfo: memFree=124432592/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=413520 memory=397864 CPUtime=3034.44 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 57574 0 0 0 303332 112 0 0 20 0 1 0 158467352 423444480 99466 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 103380 99466 1140 1005 0 102143 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 413520 KiB
Current children cumulated memory: 397864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.68 4.40 4.17 5/244 813081
/proc/meminfo: memFree=124430888/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=414280 memory=399116 CPUtime=3094.31 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 58035 0 0 0 309316 115 0 0 20 0 1 0 158467352 424222720 99779 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 103570 99779 1140 1005 0 102333 0
Current children cumulated CPU time: 3094.31 s
Current children cumulated vsize: 414280 KiB
Current children cumulated memory: 399116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.34 4.16 5/244 813091
/proc/meminfo: memFree=124429108/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=414280 memory=399156 CPUtime=3154.19 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 58172 0 0 0 315302 117 0 0 20 0 1 0 158467352 424222720 99789 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 103570 99789 1140 1005 0 102333 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 414280 KiB
Current children cumulated memory: 399156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.77 4.46 4.21 5/246 813271
/proc/meminfo: memFree=124421344/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=414280 memory=399164 CPUtime=3214.05 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 58341 0 0 0 321287 118 0 0 20 0 1 0 158467352 424222720 99791 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 103570 99791 1140 1005 0 102333 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 414280 KiB
Current children cumulated memory: 399164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.79 4.52 4.25 5/246 813282
/proc/meminfo: memFree=124411324/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=414280 memory=399168 CPUtime=3273.92 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 58478 0 0 0 327272 120 0 0 20 0 1 0 158467352 424222720 99792 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 103570 99792 1140 1005 0 102333 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 414280 KiB
Current children cumulated memory: 399168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.70 4.56 4.28 5/248 813296
/proc/meminfo: memFree=124382716/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=419048 memory=403920 CPUtime=3333.79 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 59797 0 0 0 333258 121 0 0 20 0 1 0 158467352 429105152 100980 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 104762 100980 1140 1005 0 103525 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 419048 KiB
Current children cumulated memory: 403920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.45 4.26 5/245 813317
/proc/meminfo: memFree=124377732/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=419048 memory=403940 CPUtime=3393.66 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 59949 0 0 0 339243 123 0 0 20 0 1 0 158467352 429105152 100985 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 104762 100985 1140 1005 0 103525 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 419048 KiB
Current children cumulated memory: 403940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.38 4.25 5/245 813329
/proc/meminfo: memFree=124376604/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=419048 memory=403940 CPUtime=3453.52 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 60095 0 0 0 345227 125 0 0 20 0 1 0 158467352 429105152 100985 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 104762 100985 1140 1005 0 103525 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 419048 KiB
Current children cumulated memory: 403940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.34 4.24 5/245 813339
/proc/meminfo: memFree=124371428/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=423460 memory=408324 CPUtime=3513.39 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 61335 0 0 0 351212 127 0 0 20 0 1 0 158467352 433623040 102081 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 105865 102081 1140 1005 0 104628 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 423460 KiB
Current children cumulated memory: 408324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.29 4.23 5/243 813350
/proc/meminfo: memFree=124368932/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=423608 memory=408504 CPUtime=3573.27 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 61519 0 0 0 357197 130 0 0 20 0 1 0 158467352 433774592 102126 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 105902 102126 1140 1005 0 104665 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 423608 KiB
Current children cumulated memory: 408504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.07 4.27 4.22 6/241 813368
/proc/meminfo: memFree=125500788/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=425236 memory=410116 CPUtime=3600.03 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 62040 0 0 0 359872 131 0 0 20 0 1 0 158467352 435441664 102529 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 106309 102529 1140 1005 0 105072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 425236 KiB
Current children cumulated memory: 410116 KiB

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

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

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

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

[startup+3609.11 s]
/proc/loadavg: 4.07 4.27 4.22 6/241 813368
/proc/meminfo: memFree=125500788/131655788 swapFree=131071996/131071996
[pid=811519] ppid=811516 vsize=425236 memory=410116 CPUtime=3600.03 cores=4,6
/proc/811519/stat : 811519 (Exact) R 811516 811519 811446 0 -1 4194304 62040 0 0 0 359872 131 0 0 20 0 1 0 158467352 435441664 102529 134679101440 4194304 8309489 140736968195024 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35123200 140736968201150 140736968201320 140736968201320 140736968208335 0
/proc/811519/statm: 106309 102529 1140 1005 0 105072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 425236 KiB
Current children cumulated memory: 410116 KiB

Child status: 10

Real time (s): 3609.12
CPU time (s): 3600.04
CPU user time (s): 3598.73
CPU system time (s): 1.31352
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 425236
Max. memory (cumulated for all children) (KiB): 410116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.73
system time used= 1.31352
maximum resident set size= 410116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62043
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= 61
involuntary context switches= 2068


# summary of solver processes directly reported to runsolver:
#   pid: 811519
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.73
#   total CPU system time (s): 1.31352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1225 second user time and 36.9008 second system time

The end