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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457910-1721865119/watcher-4457910-1721865119 -o /tmp/evaluation-result-4457910-1721865119/solver-4457910-1721865119 -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=952934567 HOME/instance-4457910-1721865119.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
solver pid=218870, runsolver pid=218867
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 0.17 0.13 0.09 4/254 218873
/proc/meminfo: memFree=115017236/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=30728 memory=9752 CPUtime=0.09 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 1510 0 0 0 9 0 0 0 20 0 1 0 23035518 31465472 2438 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 7682 2438 1108 1005 0 6445 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 9752 KiB

[startup+0.206029 s]*
/proc/loadavg: 0.17 0.13 0.09 4/255 218885
/proc/meminfo: memFree=114982028/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=31256 memory=12592 CPUtime=0.2 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 1754 0 0 0 20 0 0 0 20 0 1 0 23035518 32006144 3148 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 7814 3148 1108 1005 0 6577 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31256 KiB
Current children cumulated memory: 12592 KiB

[startup+0.305528 s]*
/proc/loadavg: 0.17 0.13 0.09 5/252 218907
/proc/meminfo: memFree=114954836/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=31800 memory=15160 CPUtime=0.29 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 1873 0 0 0 29 0 0 0 20 0 1 0 23035518 32563200 3790 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 7950 3790 1108 1005 0 6713 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31800 KiB
Current children cumulated memory: 15160 KiB

[startup+0.700229 s]
/proc/loadavg: 0.17 0.13 0.09 5/258 218917
/proc/meminfo: memFree=114884980/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=32220 memory=15808 CPUtime=0.69 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 1994 0 0 0 68 1 0 0 20 0 1 0 23035518 32993280 3952 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 8055 3952 1140 1005 0 6818 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32220 KiB
Current children cumulated memory: 15808 KiB

[startup+1.50018 s]
/proc/loadavg: 0.48 0.19 0.12 5/258 218917
/proc/meminfo: memFree=114804516/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=33316 memory=20952 CPUtime=1.48 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 2266 0 0 0 146 2 0 0 20 0 1 0 23035518 34115584 5238 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 8329 5238 1140 1005 0 7092 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33316 KiB
Current children cumulated memory: 20952 KiB

[startup+3.10542 s]
/proc/loadavg: 0.48 0.19 0.12 5/258 218963
/proc/meminfo: memFree=115000132/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=35080 memory=28908 CPUtime=3.08 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 2730 0 0 0 304 4 0 0 20 0 1 0 23035518 35921920 7227 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 8770 7227 1140 1005 0 7533 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35080 KiB
Current children cumulated memory: 28908 KiB

[startup+6.30019 s]
/proc/loadavg: 0.76 0.26 0.14 5/258 218965
/proc/meminfo: memFree=114665700/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=73652 memory=49720 CPUtime=6.27 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 4493 0 0 0 617 10 0 0 20 0 1 0 23035518 75419648 12430 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 18413 12430 1140 1005 0 17176 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73652 KiB
Current children cumulated memory: 49720 KiB

[startup+12.7002 s]
/proc/loadavg: 1.02 0.32 0.16 5/258 218966
/proc/meminfo: memFree=114095712/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=75792 memory=64224 CPUtime=12.65 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 5072 0 0 0 1246 19 0 0 20 0 1 0 23035518 77611008 16056 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 18948 16056 1140 1005 0 17711 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 75792 KiB
Current children cumulated memory: 64224 KiB

[startup+25.5002 s]
/proc/loadavg: 1.48 0.44 0.20 5/258 218969
/proc/meminfo: memFree=114021456/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=78140 memory=72528 CPUtime=25.42 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 5679 0 0 0 2505 37 0 0 20 0 1 0 23035518 80015360 18132 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 19535 18132 1140 1005 0 18298 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 78140 KiB
Current children cumulated memory: 72528 KiB

[startup+51.1058 s]
/proc/loadavg: 2.54 0.80 0.33 5/258 218972
/proc/meminfo: memFree=113738724/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=119480 memory=76656 CPUtime=50.95 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 6693 0 0 0 5018 77 0 0 20 0 1 0 23035518 122347520 19164 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 29870 19164 1140 1005 0 28633 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 119480 KiB
Current children cumulated memory: 76656 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.32 0.53 5/258 219027
/proc/meminfo: memFree=115434232/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=124068 memory=85576 CPUtime=102 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 7916 0 0 0 10054 146 0 0 20 0 1 0 23035518 127045632 21394 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31017 21394 1140 1005 0 29780 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 124068 KiB
Current children cumulated memory: 85576 KiB

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

# cumulated CPU time of all completed processes:  user=129.228 s, system=1.86893 s

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

[startup+102.4 s]
/proc/loadavg: 3.47 1.32 0.53 5/258 219027
/proc/meminfo: memFree=115434232/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=124068 memory=85576 CPUtime=102.11 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 7916 0 0 0 10064 147 0 0 20 0 1 0 23035518 127045632 21394 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31017 21394 1140 1005 0 29780 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 124068 KiB
Current children cumulated memory: 85576 KiB

[startup+115.2 s]
/proc/loadavg: 3.55 1.41 0.57 5/258 219031
/proc/meminfo: memFree=115421652/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=125244 memory=90720 CPUtime=114.87 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8205 0 0 0 11324 163 0 0 20 0 1 0 23035518 128249856 22680 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31311 22680 1140 1005 0 30074 0
Current children cumulated CPU time: 114.87 s
Current children cumulated vsize: 125244 KiB
Current children cumulated memory: 90720 KiB

[startup+121.6 s]
/proc/loadavg: 3.62 1.50 0.61 5/258 219031
/proc/meminfo: memFree=115411100/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=126836 memory=92152 CPUtime=121.26 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8596 0 0 0 11955 171 0 0 20 0 1 0 23035518 129880064 23038 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31709 23038 1140 1005 0 30472 0
Current children cumulated CPU time: 121.26 s
Current children cumulated vsize: 126836 KiB
Current children cumulated memory: 92152 KiB

[startup+128 s]*
/proc/loadavg: 3.65 1.54 0.63 5/258 219032
/proc/meminfo: memFree=115396044/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=127688 memory=93208 CPUtime=127.65 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8812 0 0 0 12583 182 0 0 20 0 1 0 23035518 130752512 23302 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31922 23302 1140 1005 0 30685 0
Current children cumulated CPU time: 127.65 s
Current children cumulated vsize: 127688 KiB
Current children cumulated memory: 93208 KiB

[startup+129.6 s]
/proc/loadavg: 3.65 1.54 0.63 5/258 219032
/proc/meminfo: memFree=115395736/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=127820 memory=93208 CPUtime=129.24 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8861 0 0 0 12740 184 0 0 20 0 1 0 23035518 130887680 23302 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 31955 23302 1140 1005 0 30718 0
Current children cumulated CPU time: 129.24 s
Current children cumulated vsize: 127820 KiB
Current children cumulated memory: 93208 KiB

[startup+130.4 s]
/proc/loadavg: 3.65 1.54 0.63 5/258 219032
/proc/meminfo: memFree=115395176/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=128376 memory=93736 CPUtime=130.03 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8984 0 0 0 12818 185 0 0 20 0 1 0 23035518 131457024 23434 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 32094 23434 1140 1005 0 30857 0
Current children cumulated CPU time: 130.03 s
Current children cumulated vsize: 128376 KiB
Current children cumulated memory: 93736 KiB

[startup+131.2 s]
/proc/loadavg: 3.68 1.58 0.64 5/258 219032
/proc/meminfo: memFree=115394216/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=128376 memory=93736 CPUtime=130.84 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8984 0 0 0 12898 186 0 0 20 0 1 0 23035518 131457024 23434 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 32094 23434 1140 1005 0 30857 0
Current children cumulated CPU time: 130.84 s
Current children cumulated vsize: 128376 KiB
Current children cumulated memory: 93736 KiB

[startup+131.4 s]
/proc/loadavg: 3.68 1.58 0.64 5/258 219032
/proc/meminfo: memFree=115394216/131524600 swapFree=131056796/131071996
[pid=218870] ppid=218867 vsize=128376 memory=93736 CPUtime=131.03 cores=5,7
/proc/218870/stat : 218870 (Exact) R 218867 218870 218428 0 -1 4194304 8984 0 0 0 12917 186 0 0 20 0 1 0 23035518 131457024 23434 134679101440 4194304 8309489 140735509857888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 22020096 140735509861311 140735509861480 140735509861480 140735509868495 0
/proc/218870/statm: 32094 23434 1140 1005 0 30857 0
Current children cumulated CPU time: 131.03 s
Current children cumulated vsize: 128376 KiB
Current children cumulated memory: 93736 KiB

Child status: 30

Real time (s): 131.455
CPU time (s): 131.097
CPU user time (s): 129.228
CPU system time (s): 1.86893
CPU usage (%): 99.7275
Max. virtual memory (cumulated for all children) (KiB): 128376
Max. memory (cumulated for all children) (KiB): 93736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 129.228
system time used= 1.86893
maximum resident set size= 128288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8985
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= 165


# summary of solver processes directly reported to runsolver:
#   pid: 218870
#   total CPU time (s): 131.097
#   total CPU user time (s): 129.228
#   total CPU system time (s): 1.86893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270377 second user time and 0.600471 second system time

The end