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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498416-1751271862/watcher-4498416-1751271862 -o /tmp/evaluation-result-4498416-1751271862/solver-4498416-1751271862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751268232-33794 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=497536264 --ls=0 --inp-dombreaklim=0 HOME/instance-4498416-1751271862.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=34481, runsolver pid=34478
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.24 4.23 4.11 5/266 34482
/proc/meminfo: memFree=129113544/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=70764 memory=48032 CPUtime=0.09 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 12154 0 0 0 7 2 0 0 20 0 1 0 42866045 72462336 12008 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 17691 12008 1024 1200 0 16171 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70764 KiB
Current children cumulated memory: 48032 KiB

[startup+0.205484 s]*
/proc/loadavg: 4.24 4.23 4.11 5/266 34482
/proc/meminfo: memFree=129081980/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=109348 memory=84624 CPUtime=0.2 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 19002 0 0 0 16 4 0 0 20 0 1 0 42866045 111972352 21156 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 27337 21156 1024 1200 0 25817 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109348 KiB
Current children cumulated memory: 84624 KiB

[startup+0.305452 s]*
/proc/loadavg: 4.24 4.23 4.11 5/266 34482
/proc/meminfo: memFree=129049596/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=145148 memory=120756 CPUtime=0.29 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 24466 0 0 0 24 5 0 0 20 0 1 0 42866045 148631552 30189 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 36287 30189 1024 1200 0 34767 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145148 KiB
Current children cumulated memory: 120756 KiB

[startup+0.700168 s]
/proc/loadavg: 4.22 4.23 4.11 5/266 34482
/proc/meminfo: memFree=128989552/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=262892 memory=239488 CPUtime=0.69 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 38817 0 0 0 59 10 0 0 20 0 1 0 42866045 269201408 59872 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 65723 59872 1024 1200 0 64203 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 262892 KiB
Current children cumulated memory: 239488 KiB

[startup+1.50017 s]
/proc/loadavg: 4.22 4.23 4.11 5/266 34482
/proc/meminfo: memFree=128775756/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=456400 memory=435388 CPUtime=1.48 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 55822 0 0 0 132 16 0 0 20 0 1 0 42866045 467353600 108847 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 114100 108847 1184 1200 0 112580 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 456400 KiB
Current children cumulated memory: 435388 KiB

[startup+3.10537 s]
/proc/loadavg: 4.22 4.23 4.11 5/266 34482
/proc/meminfo: memFree=128660348/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=489044 memory=464092 CPUtime=3.09 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 61168 0 0 0 291 18 0 0 20 0 1 0 42866045 500781056 116023 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 122261 116023 1248 1200 0 120741 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 489044 KiB
Current children cumulated memory: 464092 KiB

[startup+6.30016 s]
/proc/loadavg: 4.20 4.23 4.11 5/266 34482
/proc/meminfo: memFree=128591664/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=555708 memory=523684 CPUtime=6.27 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 65403 0 0 0 607 20 0 0 20 0 1 0 42866045 569044992 130921 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 138927 130921 1248 1200 0 137407 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 555708 KiB
Current children cumulated memory: 523684 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.22 4.11 5/266 34482
/proc/meminfo: memFree=128436476/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=629352 memory=572900 CPUtime=12.66 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 72598 0 0 0 1242 24 0 0 20 0 1 0 42866045 644456448 143225 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 157338 143225 1248 1200 0 155818 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 629352 KiB
Current children cumulated memory: 572900 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.23 4.11 5/266 34482
/proc/meminfo: memFree=128356264/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=654676 memory=615648 CPUtime=25.41 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 77833 0 0 0 2516 25 0 0 20 0 1 0 42866045 670388224 153912 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 163669 153912 1248 1200 0 162149 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 654676 KiB
Current children cumulated memory: 615648 KiB

[startup+51.1054 s]
/proc/loadavg: 4.20 4.22 4.11 5/266 34483
/proc/meminfo: memFree=128254860/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=779100 memory=711756 CPUtime=50.93 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 84785 0 0 0 5062 31 0 0 20 0 1 0 42866045 797798400 177939 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 194775 177939 1248 1200 0 193255 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 779100 KiB
Current children cumulated memory: 711756 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.20 4.11 5/266 34485
/proc/meminfo: memFree=128087920/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=885156 memory=811716 CPUtime=101.95 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 105531 0 0 0 10158 37 0 0 20 0 1 0 42866045 906399744 202929 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 221289 202929 1248 1200 0 219769 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 885156 KiB
Current children cumulated memory: 811716 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.20 4.11 5/266 34487
/proc/meminfo: memFree=127889016/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1083112 memory=958428 CPUtime=161.75 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 122979 0 0 0 16130 45 0 0 20 0 1 0 42866045 1109106688 239607 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 270778 239607 1280 1200 0 269258 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1083112 KiB
Current children cumulated memory: 958428 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.16 4.10 5/265 34490
/proc/meminfo: memFree=127706052/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1273224 memory=1121104 CPUtime=221.56 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 161313 0 0 0 22102 54 0 0 20 0 1 0 42866045 1303781376 280276 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 318306 280276 1280 1200 0 316786 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1273224 KiB
Current children cumulated memory: 1121104 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.10 5/265 34492
/proc/meminfo: memFree=127583968/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1333680 memory=1174216 CPUtime=281.35 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 174228 0 0 0 28074 61 0 0 20 0 1 0 42866045 1365688320 293554 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 333420 293554 1280 1200 0 331900 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1333680 KiB
Current children cumulated memory: 1174216 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/264 34494
/proc/meminfo: memFree=127406372/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1440324 memory=1321436 CPUtime=341.15 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 196778 0 0 0 34048 67 0 0 20 0 1 0 42866045 1474891776 330359 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 360081 330359 1280 1200 0 358561 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1440324 KiB
Current children cumulated memory: 1321436 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/264 34497
/proc/meminfo: memFree=127265840/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1550580 memory=1419604 CPUtime=400.96 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 218892 0 0 0 40025 71 0 0 20 0 1 0 42866045 1587793920 354901 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 387645 354901 1280 1200 0 386125 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1550580 KiB
Current children cumulated memory: 1419604 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 34498
/proc/meminfo: memFree=127170584/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=1599892 memory=1462028 CPUtime=460.79 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 228577 0 0 0 46000 79 0 0 20 0 1 0 42866045 1638289408 365507 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0

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

Current children cumulated memory: 2471124 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 34622
/proc/meminfo: memFree=125690116/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=2914.07 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 425767 0 0 0 291231 176 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 2914.07 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 34624
/proc/meminfo: memFree=125689360/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=2973.9 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 425866 0 0 0 297211 179 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 34632
/proc/meminfo: memFree=125684320/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3033.7 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 425963 0 0 0 303190 180 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3033.7 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 34634
/proc/meminfo: memFree=125683240/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3093.52 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426045 0 0 0 309170 182 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 34636
/proc/meminfo: memFree=125667240/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3153.33 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426128 0 0 0 315149 184 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 34638
/proc/meminfo: memFree=125667416/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3213.15 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426227 0 0 0 321128 187 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.40 4.18 4.12 5/263 34640
/proc/meminfo: memFree=125659732/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3272.96 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426264 0 0 0 327107 189 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/262 34642
/proc/meminfo: memFree=125651560/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3332.78 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426360 0 0 0 333087 191 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3402.3 s]
/proc/loadavg: 4.38 4.24 4.15 5/263 34657
/proc/meminfo: memFree=125638968/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2471124 CPUtime=3392.6 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426462 0 0 0 339066 194 0 0 20 0 1 0 42866045 2689871872 617781 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 617781 1280 1200 0 655187 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2471124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.14 5/263 34659
/proc/meminfo: memFree=125596684/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2481108 CPUtime=3452.4 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 426544 0 0 0 345045 195 0 0 20 0 1 0 42866045 2689871872 620277 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 620277 1280 1200 0 655187 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2481108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/263 34661
/proc/meminfo: memFree=125539056/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2521208 CPUtime=3512.23 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 427678 0 0 0 351026 197 0 0 20 0 1 0 42866045 2689871872 630302 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 630302 1280 1200 0 655187 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2521208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/263 34663
/proc/meminfo: memFree=125495068/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2540972 CPUtime=3572.06 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 428441 0 0 0 357009 197 0 0 20 0 1 0 42866045 2689871872 635243 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 635243 1280 1200 0 655187 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2540972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.14 4.16 4.13 5/265 34718
/proc/meminfo: memFree=126147468/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2626828 memory=2549676 CPUtime=3600.09 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 428889 0 0 0 359812 197 0 0 20 0 1 0 42866045 2689871872 637419 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 656707 637419 1280 1200 0 655187 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2626828 KiB
Current children cumulated memory: 2549676 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.23 s, system=1.98812 s

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

[startup+3610.5 s]
/proc/loadavg: 4.14 4.16 4.13 5/265 34718
/proc/meminfo: memFree=126147468/131250000 swapFree=33010684/33010684
[pid=34481] ppid=34478 vsize=2253000 memory=2200904 CPUtime=3600.19 cores=0,2
/proc/34481/stat : 34481 (Exact) R 34478 34481 33777 0 -1 4194304 429098 0 0 0 359822 197 0 0 20 0 1 0 42866045 2307072000 550226 18446744073709551615 4198400 9112445 140735557453984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 20996096 140735557462313 140735557462509 140735557462509 140735557468111 0
/proc/34481/statm: 563250 550226 1280 1200 0 561730 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 2253000 KiB
Current children cumulated memory: 2200904 KiB

Child status: 10

Real time (s): 3610.53
CPU time (s): 3600.22
CPU user time (s): 3598.23
CPU system time (s): 1.98812
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 2626828
Max. memory (cumulated for all children) (KiB): 2549676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.23
system time used= 1.98812
maximum resident set size= 2549676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429102
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= 67
involuntary context switches= 7931


# summary of solver processes directly reported to runsolver:
#   pid: 34481
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.23
#   total CPU system time (s): 1.98812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63463 second user time and 15.1362 second system time

The end