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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443828-1721313576/watcher-4443828-1721313576 -o /tmp/evaluation-result-4443828-1721313576/solver-4443828-1721313576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443828-1721313576.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB

solver pid=955803, runsolver pid=955800

[startup+0.10039 s]*
/proc/loadavg: 4.74 4.35 4.24 5/245 955808
/proc/meminfo: memFree=123132860/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=8872 memory=2796 CPUtime=0.09 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 334 0 0 0 9 0 0 0 20 0 1 0 183513694 9084928 699 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 2218 699 436 659 0 1422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18804 KiB
Current children cumulated memory: 5524 KiB

[startup+0.211297 s]*
/proc/loadavg: 4.74 4.35 4.24 5/245 955808
/proc/meminfo: memFree=123131264/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=10500 memory=4652 CPUtime=0.2 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 790 0 0 0 20 0 0 0 20 0 1 0 183513694 10752000 1163 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 2625 1163 436 659 0 1829 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20432 KiB
Current children cumulated memory: 7380 KiB

[startup+0.311536 s]*
/proc/loadavg: 4.74 4.35 4.24 5/245 955808
/proc/meminfo: memFree=123129444/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=11676 memory=8164 CPUtime=0.3 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 1162 0 0 0 30 0 0 0 20 0 1 0 183513694 11956224 2041 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 2919 2041 436 659 0 2123 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21608 KiB
Current children cumulated memory: 10892 KiB

[startup+0.70043 s]
/proc/loadavg: 4.74 4.35 4.24 5/245 955808
/proc/meminfo: memFree=123124960/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=16080 memory=12284 CPUtime=0.69 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 2382 0 0 0 68 1 0 0 20 0 1 0 183513694 16465920 3071 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 4020 3071 436 659 0 3224 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26012 KiB
Current children cumulated memory: 15012 KiB

[startup+1.50043 s]
/proc/loadavg: 4.74 4.35 4.24 6/245 955808
/proc/meminfo: memFree=123118680/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=28300 memory=25152 CPUtime=1.48 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 5442 0 0 0 146 2 0 0 20 0 1 0 183513694 28979200 6288 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 7075 6288 436 659 0 6279 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38232 KiB
Current children cumulated memory: 27880 KiB

[startup+3.11352 s]
/proc/loadavg: 4.74 4.35 4.24 6/245 955808
/proc/meminfo: memFree=123076116/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=60492 memory=53824 CPUtime=3.09 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 13139 0 0 0 306 3 0 0 20 0 1 0 183513694 61943808 13456 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 15123 13456 468 659 0 14327 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70424 KiB
Current children cumulated memory: 56552 KiB

[startup+6.30042 s]
/proc/loadavg: 4.84 4.38 4.25 6/245 955808
/proc/meminfo: memFree=122969152/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=183996 memory=168128 CPUtime=6.27 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 33309 0 0 0 620 7 0 0 20 0 1 0 183513694 188411904 42032 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 45999 42032 468 659 0 45203 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 193928 KiB
Current children cumulated memory: 170856 KiB

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

# cumulated CPU time of all completed processes:  user=7.74173 s, system=0.092621 s

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

[startup+6.40046 s]
/proc/loadavg: 4.84 4.38 4.25 6/245 955808
/proc/meminfo: memFree=122969152/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=183996 memory=168128 CPUtime=6.37 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 33310 0 0 0 630 7 0 0 20 0 1 0 183513694 188411904 42032 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 45999 42032 468 659 0 45203 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 193928 KiB
Current children cumulated memory: 170856 KiB

[startup+7.20038 s]
/proc/loadavg: 4.84 4.38 4.25 6/245 955808
/proc/meminfo: memFree=122947996/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=184136 memory=168336 CPUtime=7.17 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 33392 0 0 0 710 7 0 0 20 0 1 0 183513694 188555264 42084 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 46034 42084 468 659 0 45238 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 194068 KiB
Current children cumulated memory: 171064 KiB

[startup+7.60037 s]
/proc/loadavg: 4.84 4.38 4.25 6/245 955808
/proc/meminfo: memFree=122947996/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=184136 memory=168336 CPUtime=7.57 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 33392 0 0 0 750 7 0 0 20 0 1 0 183513694 188555264 42084 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 46034 42084 468 659 0 45238 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 194068 KiB
Current children cumulated memory: 171064 KiB

[startup+7.80037 s]
/proc/loadavg: 4.84 4.38 4.25 6/245 955808
/proc/meminfo: memFree=122947996/131655788 swapFree=131071996/131071996
[pid=955803] ppid=955800 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955803/stat : 955803 (naps-1.03.sh) S 955800 955803 949639 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 183513694 10170368 682 134679101440 94162458132480 94162459211800 140737032202400 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94162461310256 94162461357444 94162488676352 140737032205279 140737032205408 140737032205408 140737032212424 0
/proc/955803/statm: 2483 682 604 264 0 134 0
[pid=955808] ppid=955803 vsize=173528 memory=156684 CPUtime=7.77 cores=1,3
/proc/955808/stat : 955808 (naps-1.03) R 955803 955803 949639 0 -1 4194304 33802 0 0 0 769 8 0 0 20 0 1 0 183513694 177692672 39171 134679101440 4194304 6891213 140723566807456 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 35700736 140723566810096 140723566810212 140723566810212 140723566817227 0
/proc/955808/statm: 43382 39171 468 659 0 42586 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 183460 KiB
Current children cumulated memory: 159412 KiB

Child status: 10

Real time (s): 7.8556
CPU time (s): 7.83435
CPU user time (s): 7.74173
CPU system time (s): 0.092621
CPU usage (%): 99.7296
Max. virtual memory (cumulated for all children) (KiB): 212744
Max. memory (cumulated for all children) (KiB): 187976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.74173
system time used= 0.092621
maximum resident set size= 185248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34430
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= 10
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 955803
#   total CPU time (s): 7.83435
#   total CPU user time (s): 7.74173
#   total CPU system time (s): 0.092621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083522 second user time and 0.115485 second system time

The end