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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=43976, runsolver pid=43972
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 4.15 4.10 4.03 5/265 43981
/proc/meminfo: memFree=125152248/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=47308 memory=24624 CPUtime=0.09 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 4969 0 0 0 9 0 0 0 20 0 1 0 46612257 48443392 6156 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 11827 6156 1024 1200 0 10307 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 24624 KiB

[startup+0.205541 s]*
/proc/loadavg: 4.15 4.10 4.03 5/265 43981
/proc/meminfo: memFree=125103544/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=77272 memory=53768 CPUtime=0.2 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 9307 0 0 0 18 2 0 0 20 0 1 0 46612257 79126528 13442 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 19318 13442 1184 1200 0 17798 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77272 KiB
Current children cumulated memory: 53768 KiB

[startup+0.305606 s]*
/proc/loadavg: 4.15 4.10 4.03 5/265 43981
/proc/meminfo: memFree=125058000/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=104300 memory=80564 CPUtime=0.3 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 13786 0 0 0 27 3 0 0 20 0 1 0 46612257 106803200 20141 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 26075 20141 1184 1200 0 24555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104300 KiB
Current children cumulated memory: 80564 KiB

[startup+0.700187 s]
/proc/loadavg: 4.15 4.10 4.03 4/262 43990
/proc/meminfo: memFree=128649336/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=106604 memory=85540 CPUtime=0.69 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 14441 0 0 0 66 3 0 0 20 0 1 0 46612257 109162496 21385 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 26651 21385 1280 1200 0 25131 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 85540 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.03 5/265 44026
/proc/meminfo: memFree=128643680/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=116092 memory=100528 CPUtime=1.48 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 16649 0 0 0 145 3 0 0 20 0 1 0 46612257 118878208 25132 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 29023 25132 1280 1200 0 27503 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116092 KiB
Current children cumulated memory: 100528 KiB

[startup+3.10527 s]
/proc/loadavg: 4.13 4.10 4.03 5/265 44026
/proc/meminfo: memFree=128566880/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=118356 memory=106852 CPUtime=3.08 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 17202 0 0 0 305 3 0 0 20 0 1 0 46612257 121196544 26713 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 29589 26713 1280 1200 0 28069 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118356 KiB
Current children cumulated memory: 106852 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.10 4.03 5/265 44026
/proc/meminfo: memFree=128500172/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=153944 memory=122028 CPUtime=6.27 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 18564 0 0 0 622 5 0 0 20 0 1 0 46612257 157638656 30507 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 38486 30507 1280 1200 0 36966 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153944 KiB
Current children cumulated memory: 122028 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.03 5/264 44026
/proc/meminfo: memFree=128422328/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=214312 memory=163168 CPUtime=12.65 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 23190 0 0 0 1258 7 0 0 20 0 1 0 46612257 219455488 40792 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 53578 40792 1280 1200 0 52058 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 214312 KiB
Current children cumulated memory: 163168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.03 5/264 44026
/proc/meminfo: memFree=128340320/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=235348 memory=181956 CPUtime=25.42 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 27387 0 0 0 2533 9 0 0 20 0 1 0 46612257 240996352 45489 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 58837 45489 1280 1200 0 57317 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 235348 KiB
Current children cumulated memory: 181956 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 4.08 4.03 5/266 44029
/proc/meminfo: memFree=128296672/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=241976 memory=201404 CPUtime=50.96 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 29236 0 0 0 5085 11 0 0 20 0 1 0 46612257 247783424 50351 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 60494 50351 1280 1200 0 58974 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 241976 KiB
Current children cumulated memory: 201404 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/267 44031
/proc/meminfo: memFree=128278760/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=247172 memory=207548 CPUtime=102.02 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 30800 0 0 0 10188 14 0 0 20 0 1 0 46612257 253104128 51887 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 61793 51887 1280 1200 0 60273 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 247172 KiB
Current children cumulated memory: 207548 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 44033
/proc/meminfo: memFree=128272008/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=248972 memory=209340 CPUtime=161.88 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 31315 0 0 0 16170 18 0 0 20 0 1 0 46612257 254947328 52335 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 62243 52335 1280 1200 0 60723 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 248972 KiB
Current children cumulated memory: 209340 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/267 44080
/proc/meminfo: memFree=128355116/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=251004 memory=211516 CPUtime=221.72 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 31865 0 0 0 22152 20 0 0 20 0 1 0 46612257 257028096 52879 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 62751 52879 1280 1200 0 61231 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 251004 KiB
Current children cumulated memory: 211516 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.07 4.03 5/267 44082
/proc/meminfo: memFree=127211788/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=252928 memory=214332 CPUtime=281.55 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 32507 0 0 0 28131 24 0 0 20 0 1 0 46612257 258998272 53583 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 63232 53583 1280 1200 0 61712 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 252928 KiB
Current children cumulated memory: 214332 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.04 5/266 44085
/proc/meminfo: memFree=127010420/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=255224 memory=221500 CPUtime=341.4 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 33118 0 0 0 34112 28 0 0 20 0 1 0 46612257 261349376 55375 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 63806 55375 1280 1200 0 62286 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 255224 KiB
Current children cumulated memory: 221500 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 44093
/proc/meminfo: memFree=127034496/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=256444 memory=226532 CPUtime=401.25 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 33392 0 0 0 40093 32 0 0 20 0 1 0 46612257 262598656 56633 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 64111 56633 1280 1200 0 62591 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 256444 KiB
Current children cumulated memory: 226532 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/263 44095
/proc/meminfo: memFree=126926028/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=257024 memory=226532 CPUtime=461.09 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 33405 0 0 0 46074 35 0 0 20 0 1 0 46612257 263192576 56633 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 64256 56633 1280 1200 0 62736 0

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

Current children cumulated memory: 316360 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 44222
/proc/meminfo: memFree=126357844/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=368876 memory=316360 CPUtime=2855.18 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 45114 0 0 0 285375 143 0 0 20 0 1 0 46612257 377729024 79090 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92219 79090 1280 1200 0 90699 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 368876 KiB
Current children cumulated memory: 316360 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 44224
/proc/meminfo: memFree=126334220/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=369884 memory=317512 CPUtime=2915.03 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 45478 0 0 0 291358 145 0 0 20 0 1 0 46612257 378761216 79378 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92471 79378 1280 1200 0 90951 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 369884 KiB
Current children cumulated memory: 317512 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 44226
/proc/meminfo: memFree=126334380/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=370936 memory=318280 CPUtime=2974.89 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 45689 0 0 0 297341 148 0 0 20 0 1 0 46612257 379838464 79570 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92734 79570 1280 1200 0 91214 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 370936 KiB
Current children cumulated memory: 318280 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 44229
/proc/meminfo: memFree=126334524/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=370936 memory=318792 CPUtime=3034.73 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 45825 0 0 0 303323 150 0 0 20 0 1 0 46612257 379838464 79698 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92734 79698 1280 1200 0 91214 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 370936 KiB
Current children cumulated memory: 318792 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 44231
/proc/meminfo: memFree=126334444/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=370936 memory=318792 CPUtime=3094.6 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 45937 0 0 0 309307 153 0 0 20 0 1 0 46612257 379838464 79698 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92734 79698 1280 1200 0 91214 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 370936 KiB
Current children cumulated memory: 318792 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 44234
/proc/meminfo: memFree=126318452/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=371468 memory=319432 CPUtime=3154.44 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 46103 0 0 0 315289 155 0 0 20 0 1 0 46612257 380383232 79858 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 92867 79858 1280 1200 0 91347 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 371468 KiB
Current children cumulated memory: 319432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 44237
/proc/meminfo: memFree=126317872/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=372408 memory=320456 CPUtime=3214.29 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 46447 0 0 0 321272 157 0 0 20 0 1 0 46612257 381345792 80114 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 93102 80114 1280 1200 0 91582 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 372408 KiB
Current children cumulated memory: 320456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 44239
/proc/meminfo: memFree=126318028/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=373232 memory=321224 CPUtime=3274.15 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 46655 0 0 0 327254 161 0 0 20 0 1 0 46612257 382189568 80306 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 93308 80306 1280 1200 0 91788 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 373232 KiB
Current children cumulated memory: 321224 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 44241
/proc/meminfo: memFree=126245604/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=374180 memory=322248 CPUtime=3334 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 46893 0 0 0 333237 163 0 0 20 0 1 0 46612257 383160320 80562 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 93545 80562 1280 1200 0 92025 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 374180 KiB
Current children cumulated memory: 322248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 44244
/proc/meminfo: memFree=126244524/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=375244 memory=323144 CPUtime=3393.85 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 47239 0 0 0 339220 165 0 0 20 0 1 0 46612257 384249856 80786 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 93811 80786 1280 1200 0 92291 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 375244 KiB
Current children cumulated memory: 323144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 44253
/proc/meminfo: memFree=126171156/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=378480 memory=326088 CPUtime=3453.7 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 47963 0 0 0 345203 167 0 0 20 0 1 0 46612257 387563520 81522 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 94620 81522 1280 1200 0 93100 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 378480 KiB
Current children cumulated memory: 326088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 44255
/proc/meminfo: memFree=126126512/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=379116 memory=326856 CPUtime=3513.55 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 48281 0 0 0 351185 170 0 0 20 0 1 0 46612257 388214784 81714 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 94779 81714 1280 1200 0 93259 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 379116 KiB
Current children cumulated memory: 326856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 44259
/proc/meminfo: memFree=126035580/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=379764 memory=327752 CPUtime=3573.41 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 48510 0 0 0 357168 173 0 0 20 0 1 0 46612257 388878336 81938 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 94941 81938 1280 1200 0 93421 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 379764 KiB
Current children cumulated memory: 327752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 44261
/proc/meminfo: memFree=126025756/131249996 swapFree=33010684/33010684
[pid=43976] ppid=43972 vsize=380124 memory=328136 CPUtime=3600.05 cores=1,3
/proc/43976/stat : 43976 (Exact) R 43972 43976 43586 0 -1 4194304 48602 0 0 0 359831 174 0 0 20 0 1 0 46612257 389246976 82034 18446744073709551615 4198400 9112445 140721307549888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38580224 140721307556136 140721307556333 140721307556333 140721307561935 0
/proc/43976/statm: 95031 82034 1280 1200 0 93511 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 380124 KiB
Current children cumulated memory: 328136 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.32 s, system=1.75056 s

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

Child status: 10

Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3598.32
CPU system time (s): 1.75056
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 380124
Max. memory (cumulated for all children) (KiB): 328136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.32
system time used= 1.75056
maximum resident set size= 369664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48612
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= 47
involuntary context switches= 6064


# summary of solver processes directly reported to runsolver:
#   pid: 43976
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.32
#   total CPU system time (s): 1.75056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57986 second user time and 15.631 second system time

The end