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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458066-1721865251/watcher-4458066-1721865251 -o /tmp/evaluation-result-4458066-1721865251/solver-4458066-1721865251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721865115-218441 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1053313976 HOME/instance-4458066-1721865251.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=219077, runsolver pid=219074

[startup+0.100133 s]*
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115478396/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=31840 memory=10112 CPUtime=0.09 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 1722 0 0 0 9 0 0 0 20 0 1 0 23048709 32604160 2528 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 7960 2528 1124 1005 0 6723 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 10112 KiB

[startup+0.205477 s]*
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115477392/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=31840 memory=10376 CPUtime=0.2 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 1828 0 0 0 20 0 0 0 20 0 1 0 23048709 32604160 2594 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 7960 2594 1124 1005 0 6723 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31840 KiB
Current children cumulated memory: 10376 KiB

[startup+0.305356 s]*
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115474308/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=32168 memory=13476 CPUtime=0.3 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 2062 0 0 0 30 0 0 0 20 0 1 0 23048709 32940032 3369 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 8042 3369 1124 1005 0 6805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32168 KiB
Current children cumulated memory: 13476 KiB

[startup+0.700201 s]
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115473832/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=32588 memory=13740 CPUtime=0.69 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 2180 0 0 0 69 0 0 0 20 0 1 0 23048709 33370112 3435 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 8147 3435 1124 1005 0 6910 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32588 KiB
Current children cumulated memory: 13740 KiB

[startup+1.50022 s]
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115473004/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=34436 memory=17692 CPUtime=1.49 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 2642 0 0 0 148 1 0 0 20 0 1 0 23048709 35262464 4423 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 8609 4423 1140 1005 0 7372 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34436 KiB
Current children cumulated memory: 17692 KiB

[startup+3.10537 s]
/proc/loadavg: 3.68 1.58 0.64 5/258 219078
/proc/meminfo: memFree=115464428/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=36980 memory=22368 CPUtime=3.09 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 3279 0 0 0 307 2 0 0 20 0 1 0 23048709 37867520 5592 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 9245 5592 1140 1005 0 8008 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36980 KiB
Current children cumulated memory: 22368 KiB

[startup+6.3002 s]
/proc/loadavg: 3.71 1.62 0.66 5/258 219080
/proc/meminfo: memFree=115463244/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=38208 memory=23676 CPUtime=6.28 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 3576 0 0 0 622 6 0 0 20 0 1 0 23048709 39124992 5919 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 9552 5919 1140 1005 0 8315 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 38208 KiB
Current children cumulated memory: 23676 KiB

[startup+12.7002 s]
/proc/loadavg: 3.89 1.69 0.69 5/258 219080
/proc/meminfo: memFree=115452244/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=43924 memory=33532 CPUtime=12.66 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 5031 0 0 0 1256 10 0 0 20 0 1 0 23048709 44978176 8383 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 10981 8383 1140 1005 0 9744 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43924 KiB
Current children cumulated memory: 33532 KiB

[startup+25.5002 s]
/proc/loadavg: 3.91 1.81 0.75 5/258 219083
/proc/meminfo: memFree=115441020/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=46672 memory=38272 CPUtime=25.42 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 6614 0 0 0 2519 23 0 0 20 0 1 0 23048709 47792128 9568 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 11668 9568 1198 1005 0 10431 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 46672 KiB
Current children cumulated memory: 38272 KiB

[startup+51.1054 s]
/proc/loadavg: 4.31 2.07 0.86 5/258 219086
/proc/meminfo: memFree=115414156/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=50696 memory=42212 CPUtime=50.93 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 9353 0 0 0 5050 43 0 0 20 0 1 0 23048709 51912704 10553 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 12674 10553 1198 1005 0 11437 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 50696 KiB
Current children cumulated memory: 42212 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 2.44 1.05 5/258 219525
/proc/meminfo: memFree=115513724/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=55824 memory=49052 CPUtime=101.96 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 14695 0 0 0 10103 93 0 0 20 0 1 0 23048709 57163776 12263 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 13956 12263 1198 1005 0 12719 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 55824 KiB
Current children cumulated memory: 49052 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 2.74 1.25 5/258 219535
/proc/meminfo: memFree=115454188/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=77008 memory=66328 CPUtime=161.76 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18391 0 0 0 16038 138 0 0 20 0 1 0 23048709 78856192 16582 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19252 16582 1198 1005 0 18015 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 77008 KiB
Current children cumulated memory: 66328 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.99 1.43 5/257 219547
/proc/meminfo: memFree=115422804/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=221.57 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18679 0 0 0 21968 189 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

[startup+229.85 s]
# the end of solver process 219077 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=227.142 s, system=1.95906 s

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

[startup+224 s]*
/proc/loadavg: 4.10 2.99 1.43 5/257 219549
/proc/meminfo: memFree=115422260/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=223.27 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18679 0 0 0 22136 191 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 223.27 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

[startup+227.2 s]
/proc/loadavg: 4.09 3.01 1.44 5/257 219549
/proc/meminfo: memFree=115421992/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=226.45 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18692 0 0 0 22452 193 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 226.45 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

[startup+228.8 s]
/proc/loadavg: 4.09 3.01 1.44 5/257 219549
/proc/meminfo: memFree=115421936/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=228.04 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18692 0 0 0 22610 194 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 228.04 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

[startup+229.6 s]
/proc/loadavg: 4.09 3.01 1.44 5/257 219549
/proc/meminfo: memFree=115421936/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=228.84 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18692 0 0 0 22689 195 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 228.84 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

[startup+229.8 s]
/proc/loadavg: 4.09 3.01 1.44 5/257 219549
/proc/meminfo: memFree=115421936/131524600 swapFree=131056796/131071996
[pid=219077] ppid=219074 vsize=78164 memory=67352 CPUtime=229.04 cores=5,7
/proc/219077/stat : 219077 (Exact) R 219074 219077 218428 0 -1 4194304 18692 0 0 0 22709 195 0 0 20 0 1 0 23048709 80039936 16838 134679101440 4194304 8309489 140721082160560 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 23035904 140721082164158 140721082164328 140721082164328 140721082171343 0
/proc/219077/statm: 19541 16838 1198 1005 0 18304 0
Current children cumulated CPU time: 229.04 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 67352 KiB

Child status: 30

Real time (s): 229.85
CPU time (s): 229.101
CPU user time (s): 227.142
CPU system time (s): 1.95906
CPU usage (%): 99.6742
Max. virtual memory (cumulated for all children) (KiB): 87532
Max. memory (cumulated for all children) (KiB): 67352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.142
system time used= 1.95906
maximum resident set size= 70784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18693
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= 2
involuntary context switches= 299


# summary of solver processes directly reported to runsolver:
#   pid: 219077
#   total CPU time (s): 229.101
#   total CPU user time (s): 227.142
#   total CPU system time (s): 1.95906

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.465259 second user time and 1.01354 second system time

The end