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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459531-1721884726/watcher-4459531-1721884726 -o /tmp/evaluation-result-4459531-1721884726/solver-4459531-1721884726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721875931-265037 --watchdog 3760 mixed-bag HOME/instance-4459531-1721884726.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=271857, runsolver pid=271854

[startup+0.100105 s]*
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107372968/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=98216 memory=31268 CPUtime=0.1 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 5172 0 0 0 10 0 0 0 20 0 1 0 24461923 100573184 7817 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 24554 7817 3836 3002 0 8303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98216 KiB
Current children cumulated memory: 31268 KiB

[startup+0.212776 s]*
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107370264/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=102084 memory=35144 CPUtime=0.21 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 6083 0 0 0 21 0 0 0 20 0 1 0 24461923 104534016 8786 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 25521 8786 3884 3002 0 9270 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102084 KiB
Current children cumulated memory: 35144 KiB

[startup+0.312755 s]*
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107369256/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=102772 memory=35672 CPUtime=0.31 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 6253 0 0 0 31 0 0 0 20 0 1 0 24461923 105238528 8918 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 25693 8918 3884 3002 0 9442 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 35672 KiB

[startup+0.700329 s]
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107368248/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=103736 memory=36728 CPUtime=0.68 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 6509 0 0 0 68 0 0 0 20 0 1 0 24461923 106225664 9182 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 25934 9182 3884 3002 0 9683 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103736 KiB
Current children cumulated memory: 36728 KiB

[startup+1.50032 s]
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107367548/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=115532 memory=46760 CPUtime=1.48 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 8854 0 0 0 148 0 0 0 20 0 1 0 24461923 118304768 11690 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 28883 11690 4084 3002 0 12632 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115532 KiB
Current children cumulated memory: 46760 KiB

[startup+3.11242 s]
/proc/loadavg: 4.04 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107358308/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=115532 memory=46760 CPUtime=3.09 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 8858 0 0 0 309 0 0 0 20 0 1 0 24461923 118304768 11690 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 28883 11690 4084 3002 0 12632 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115532 KiB
Current children cumulated memory: 46760 KiB

[startup+6.30031 s]
/proc/loadavg: 4.03 4.13 4.17 5/241 271858
/proc/meminfo: memFree=107256328/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=225460 memory=154308 CPUtime=6.27 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 36771 0 0 0 622 5 0 0 20 0 1 0 24461923 230871040 38577 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 56365 38577 4115 3002 0 40114 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 225460 KiB
Current children cumulated memory: 154308 KiB

[startup+12.7003 s]
/proc/loadavg: 4.03 4.13 4.17 5/241 271860
/proc/meminfo: memFree=107202464/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=264296 memory=190996 CPUtime=12.64 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 46080 0 0 0 1257 7 0 0 20 0 1 0 24461923 270639104 47749 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 66074 47749 4115 3002 0 49823 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 264296 KiB
Current children cumulated memory: 190996 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.14 4.17 5/241 271861
/proc/meminfo: memFree=107162168/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=286124 memory=214380 CPUtime=25.4 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 52274 0 0 0 2531 9 0 0 20 0 1 0 24461923 292990976 53595 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 71531 53595 4115 3002 0 55280 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 286124 KiB
Current children cumulated memory: 214380 KiB

[startup+49.2672 s]
# the end of solver process 271857 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=48.9782 s, system=0.116493 s

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

[startup+25.6004 s]
/proc/loadavg: 4.10 4.14 4.17 5/241 271861
/proc/meminfo: memFree=107162168/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=286124 memory=214380 CPUtime=25.5 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 52274 0 0 0 2541 9 0 0 20 0 1 0 24461923 292990976 53595 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 71531 53595 4115 3002 0 55280 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 286124 KiB
Current children cumulated memory: 214380 KiB

[startup+38.4003 s]
/proc/loadavg: 4.08 4.13 4.17 5/241 271864
/proc/meminfo: memFree=107136664/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=302156 memory=230472 CPUtime=38.26 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56572 0 0 0 3816 10 0 0 20 0 1 0 24461923 309407744 57618 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 75539 57618 4115 3002 0 59288 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 230472 KiB

[startup+44.8003 s]
/proc/loadavg: 4.07 4.13 4.17 5/241 271864
/proc/meminfo: memFree=107136708/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=302156 memory=230472 CPUtime=44.64 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56575 0 0 0 4454 10 0 0 20 0 1 0 24461923 309407744 57618 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 75539 57618 4115 3002 0 59288 0
Current children cumulated CPU time: 44.64 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 230472 KiB

[startup+46.4003 s]
/proc/loadavg: 4.07 4.13 4.17 5/241 271864
/proc/meminfo: memFree=107136708/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=302156 memory=230472 CPUtime=46.23 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56575 0 0 0 4613 10 0 0 20 0 1 0 24461923 309407744 57618 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 75539 57618 4115 3002 0 59288 0
Current children cumulated CPU time: 46.23 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 230472 KiB

[startup+48.0003 s]*
/proc/loadavg: 4.07 4.13 4.17 5/241 271866
/proc/meminfo: memFree=107136624/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=302156 memory=230472 CPUtime=47.84 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56579 0 0 0 4774 10 0 0 20 0 1 0 24461923 309407744 57618 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 75539 57618 4115 3002 0 59288 0
Current children cumulated CPU time: 47.84 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 230472 KiB

[startup+48.8003 s]
/proc/loadavg: 4.07 4.13 4.17 5/241 271866
/proc/meminfo: memFree=107136624/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=302156 memory=230472 CPUtime=48.62 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56579 0 0 0 4852 10 0 0 20 0 1 0 24461923 309407744 57618 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 75539 57618 4115 3002 0 59288 0
Current children cumulated CPU time: 48.62 s
Current children cumulated vsize: 302156 KiB
Current children cumulated memory: 230472 KiB

[startup+49.2003 s]
/proc/loadavg: 4.07 4.13 4.17 5/241 271866
/proc/meminfo: memFree=107136620/131655788 swapFree=131070704/131071996
[pid=271857] ppid=271854 vsize=299632 memory=228120 CPUtime=49.02 cores=0,2
/proc/271857/stat : 271857 (mixed-bag) R 271854 271857 265027 0 -1 4194304 56588 0 0 0 4892 10 0 0 20 0 1 0 24461923 306823168 57030 134679101440 4194304 16488053 140727844014400 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 46952448 140727844021271 140727844021348 140727844021348 140727844028363 0
/proc/271857/statm: 74908 57030 4115 3002 0 58657 0
Current children cumulated CPU time: 49.02 s
Current children cumulated vsize: 299632 KiB
Current children cumulated memory: 228120 KiB

Child status: 0

Real time (s): 49.2673
CPU time (s): 49.0947
CPU user time (s): 48.9782
CPU system time (s): 0.116493
CPU usage (%): 99.6498
Max. virtual memory (cumulated for all children) (KiB): 302156
Max. memory (cumulated for all children) (KiB): 230472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.9782
system time used= 0.116493
maximum resident set size= 230472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56609
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= 11
involuntary context switches= 339


# summary of solver processes directly reported to runsolver:
#   pid: 271857
#   total CPU time (s): 49.0947
#   total CPU user time (s): 48.9782
#   total CPU system time (s): 0.116493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.263688 second user time and 0.51799 second system time

The end