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: 63837 MiB (62332 MiB free)
  memory of node 1: 64465 MiB (63234 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484833-1751309688/watcher-4484833-1751309688 -o /tmp/evaluation-result-4484833-1751309688/solver-4484833-1751309688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751304475-38396 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=164070157 --ls=360 --inp-dombreaklim=0 HOME/instance-4484833-1751309688.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=39024, runsolver pid=39021

[startup+0.100084 s]*
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128580568/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=39696 memory=16436 CPUtime=0.09 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 3110 0 0 0 8 1 0 0 20 0 1 0 46647527 40648704 4109 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 9924 4109 1024 1200 0 8404 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39696 KiB
Current children cumulated memory: 16436 KiB

[startup+0.213204 s]*
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128580568/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=46632 memory=23692 CPUtime=0.19 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 4718 0 0 0 17 2 0 0 20 0 1 0 46647527 47751168 5923 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 11658 5923 1024 1200 0 10138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46632 KiB
Current children cumulated memory: 23692 KiB

[startup+0.317298 s]*
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128580568/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=47292 memory=26380 CPUtime=0.28 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 4880 0 0 0 26 2 0 0 20 0 1 0 46647527 48427008 6595 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 11823 6595 1024 1200 0 10303 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47292 KiB
Current children cumulated memory: 26380 KiB

[startup+0.700289 s]
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128556500/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=0.65 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8247 0 0 0 61 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+1.50033 s]
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128556604/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=1.44 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8247 0 0 0 140 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+3.11303 s]
/proc/loadavg: 4.06 4.14 4.15 5/250 39025
/proc/meminfo: memFree=128548612/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=3.05 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8253 0 0 0 301 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+6.30033 s]
/proc/loadavg: 4.14 4.15 4.16 5/250 39025
/proc/meminfo: memFree=128548724/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=6.23 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8259 0 0 0 619 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.15 4.16 5/250 39025
/proc/meminfo: memFree=128548740/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=12.61 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8265 0 0 0 1257 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.14 4.15 5/249 39025
/proc/meminfo: memFree=128548820/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46820 CPUtime=25.37 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8271 0 0 0 2533 4 0 0 20 0 1 0 46647527 70742016 11705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11705 1024 1200 0 15751 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46820 KiB

[startup+51.113 s]
/proc/loadavg: 4.19 4.16 4.16 5/249 39025
/proc/meminfo: memFree=128540760/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=50.91 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8305 0 0 0 5087 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/249 39027
/proc/meminfo: memFree=128495108/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=101.94 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8317 0 0 0 10190 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/249 39029
/proc/meminfo: memFree=128495136/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=161.76 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8323 0 0 0 16172 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/249 39031
/proc/meminfo: memFree=128459956/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=221.59 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8329 0 0 0 22155 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/249 39033
/proc/meminfo: memFree=128453012/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=281.42 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8335 0 0 0 28138 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/250 39036
/proc/meminfo: memFree=128453776/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=69084 memory=46948 CPUtime=341.25 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 8341 0 0 0 34121 4 0 0 20 0 1 0 46647527 70742016 11737 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 17271 11737 1024 1200 0 15751 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 69084 KiB
Current children cumulated memory: 46948 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/250 39051
/proc/meminfo: memFree=128299932/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=244176 memory=206448 CPUtime=401.08 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 29876 0 0 0 40095 13 0 0 20 0 1 0 46647527 250036224 51612 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 61044 51612 1280 1200 0 59524 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 244176 KiB
Current children cumulated memory: 206448 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/250 39057
/proc/meminfo: memFree=128247696/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=263016 memory=223728 CPUtime=460.92 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 34213 0 0 0 46076 16 0 0 20 0 1 0 46647527 269328384 55932 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 65754 55932 1280 1200 0 64234 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 312756 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 39302
/proc/meminfo: memFree=128614572/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=428316 memory=377796 CPUtime=2914.28 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 57685 0 0 0 291318 110 0 0 20 0 1 0 46647527 438595584 94449 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107079 94449 1280 1200 0 105559 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 428316 KiB
Current children cumulated memory: 377796 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 39308
/proc/meminfo: memFree=128578444/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=428316 memory=377796 CPUtime=2974.14 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 57716 0 0 0 297301 113 0 0 20 0 1 0 46647527 438595584 94449 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107079 94449 1280 1200 0 105559 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 428316 KiB
Current children cumulated memory: 377796 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/249 39310
/proc/meminfo: memFree=128574868/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=428316 memory=377796 CPUtime=3033.99 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 57717 0 0 0 303283 116 0 0 20 0 1 0 46647527 438595584 94449 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107079 94449 1280 1200 0 105559 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 428316 KiB
Current children cumulated memory: 377796 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/249 39312
/proc/meminfo: memFree=128528296/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=428316 memory=377796 CPUtime=3093.82 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 57751 0 0 0 309264 118 0 0 20 0 1 0 46647527 438595584 94449 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107079 94449 1280 1200 0 105559 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 428316 KiB
Current children cumulated memory: 377796 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 39314
/proc/meminfo: memFree=128530532/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=429416 memory=378820 CPUtime=3153.62 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58031 0 0 0 315242 120 0 0 20 0 1 0 46647527 439721984 94705 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107354 94705 1280 1200 0 105834 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 429416 KiB
Current children cumulated memory: 378820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/249 39316
/proc/meminfo: memFree=128544788/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430160 memory=379588 CPUtime=3213.43 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58241 0 0 0 321221 122 0 0 20 0 1 0 46647527 440483840 94897 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107540 94897 1280 1200 0 106020 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 430160 KiB
Current children cumulated memory: 379588 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 39318
/proc/meminfo: memFree=128428680/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430160 memory=379588 CPUtime=3273.23 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58278 0 0 0 327199 124 0 0 20 0 1 0 46647527 440483840 94897 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107540 94897 1280 1200 0 106020 0
Current children cumulated CPU time: 3273.23 s
Current children cumulated vsize: 430160 KiB
Current children cumulated memory: 379588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.38 4.16 4.11 5/249 39320
/proc/meminfo: memFree=128412500/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430160 memory=379588 CPUtime=3333.04 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58279 0 0 0 333177 127 0 0 20 0 1 0 46647527 440483840 94897 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107540 94897 1280 1200 0 106020 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 430160 KiB
Current children cumulated memory: 379588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.67 4.30 4.16 5/249 39322
/proc/meminfo: memFree=128413760/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430160 memory=379588 CPUtime=3392.84 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58317 0 0 0 339155 129 0 0 20 0 1 0 46647527 440483840 94897 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107540 94897 1280 1200 0 106020 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 430160 KiB
Current children cumulated memory: 379588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.26 4.16 6/250 39326
/proc/meminfo: memFree=128404044/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430160 memory=379588 CPUtime=3452.64 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58318 0 0 0 345133 131 0 0 20 0 1 0 46647527 440483840 94897 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107540 94897 1280 1200 0 106020 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 430160 KiB
Current children cumulated memory: 379588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.24 4.16 5/251 39331
/proc/meminfo: memFree=128386884/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430656 memory=386884 CPUtime=3512.47 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58459 0 0 0 351113 134 0 0 20 0 1 0 46647527 440991744 96721 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107664 96721 1280 1200 0 106144 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 430656 KiB
Current children cumulated memory: 386884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.22 4.16 5/251 39337
/proc/meminfo: memFree=128388404/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=430656 memory=386884 CPUtime=3572.31 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58601 0 0 0 357096 135 0 0 20 0 1 0 46647527 440991744 96721 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107664 96721 1280 1200 0 106144 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 430656 KiB
Current children cumulated memory: 386884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.11 4.20 4.15 5/251 39337
/proc/meminfo: memFree=128367388/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=431024 memory=387268 CPUtime=3600.06 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58694 0 0 0 359869 137 0 0 20 0 1 0 46647527 441368576 96817 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107756 96817 1280 1200 0 106236 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 431024 KiB
Current children cumulated memory: 387268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.7 s, system=1.37243 s

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

[startup+3610.11 s]
/proc/loadavg: 4.11 4.20 4.15 5/251 39337
/proc/meminfo: memFree=128367388/131382120 swapFree=33010684/33010684
[pid=39024] ppid=39021 vsize=431024 memory=387268 CPUtime=3600.06 cores=4,6
/proc/39024/stat : 39024 (Exact) R 39021 39024 38382 0 -1 4194304 58694 0 0 0 359869 137 0 0 20 0 1 0 46647527 441368576 96817 18446744073709551615 4198400 9112445 140720399148592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30498816 140720399157543 140720399157741 140720399157741 140720399163343 0
/proc/39024/statm: 107756 96817 1280 1200 0 106236 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 431024 KiB
Current children cumulated memory: 387268 KiB

Child status: 10

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3598.7
CPU system time (s): 1.37243
CPU usage (%): 99.7216
Max. virtual memory (cumulated for all children) (KiB): 431024
Max. memory (cumulated for all children) (KiB): 387268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.37243
maximum resident set size= 387268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58706
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= 65
involuntary context switches= 2796


# summary of solver processes directly reported to runsolver:
#   pid: 39024
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.7
#   total CPU system time (s): 1.37243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8169 second user time and 34.4127 second system time

The end