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: 63968 MiB (62214 MiB free)
  memory of node 1: 64473 MiB (63166 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435186-1721118940/watcher-4435186-1721118940 -o /tmp/evaluation-result-4435186-1721118940/solver-4435186-1721118940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721118953-888834 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435186-1721118940.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=888896, runsolver pid=888890
Current StackSize limit: 8192 KiB


[startup+0.10072 s]*
/proc/loadavg: 1.12 1.52 1.95 7/260 888912
/proc/meminfo: memFree=128386000/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=8748 memory=5840 CPUtime=0.09 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 601 0 0 0 9 0 0 0 20 0 1 0 164062093 8957952 1460 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 2187 1460 405 379 0 1721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18680 KiB
Current children cumulated memory: 8560 KiB

[startup+0.204645 s]*
/proc/loadavg: 1.12 1.52 1.95 7/260 888912
/proc/meminfo: memFree=128374888/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=9724 memory=6928 CPUtime=0.19 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 892 0 0 0 19 0 0 0 20 0 1 0 164062093 9957376 1732 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 2431 1732 405 379 0 1965 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19656 KiB
Current children cumulated memory: 9648 KiB

[startup+0.304728 s]*
/proc/loadavg: 1.12 1.52 1.95 7/260 888912
/proc/meminfo: memFree=128366716/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=10956 memory=8096 CPUtime=0.29 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 1217 0 0 0 29 0 0 0 20 0 1 0 164062093 11218944 2024 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 2739 2024 405 379 0 2273 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20888 KiB
Current children cumulated memory: 10816 KiB

[startup+0.700197 s]
/proc/loadavg: 1.12 1.52 1.95 7/260 888912
/proc/meminfo: memFree=128345952/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=16988 memory=15296 CPUtime=0.68 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 3960 0 0 0 68 0 0 0 20 0 1 0 164062093 17395712 3824 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 4247 3824 421 379 0 3781 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26920 KiB
Current children cumulated memory: 18016 KiB

[startup+1.50019 s]
/proc/loadavg: 1.12 1.52 1.95 7/260 888914
/proc/meminfo: memFree=128326232/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=24224 memory=22352 CPUtime=1.48 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5206 0 0 0 147 1 0 0 20 0 1 0 164062093 24805376 5588 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6056 5588 421 379 0 5590 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34156 KiB
Current children cumulated memory: 25072 KiB

[startup+3.10541 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128345268/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23400 CPUtime=3.08 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5519 0 0 0 307 1 0 0 20 0 1 0 164062093 26521600 5850 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5850 421 379 0 6009 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26120 KiB

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

# cumulated CPU time of all completed processes:  user=4.76011 s, system=0.020297 s

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

[startup+3.2002 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128345268/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23664 CPUtime=3.18 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5555 0 0 0 317 1 0 0 20 0 1 0 164062093 26521600 5916 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5916 421 379 0 6009 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26384 KiB

[startup+4.0002 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128316108/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23664 CPUtime=3.98 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5593 0 0 0 397 1 0 0 20 0 1 0 164062093 26521600 5916 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5916 421 379 0 6009 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26384 KiB

[startup+4.40019 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128316108/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23920 CPUtime=4.37 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5630 0 0 0 436 1 0 0 20 0 1 0 164062093 26521600 5980 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5980 421 379 0 6009 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26640 KiB

[startup+4.60018 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128316108/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23920 CPUtime=4.57 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5650 0 0 0 456 1 0 0 20 0 1 0 164062093 26521600 5980 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5980 421 379 0 6009 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26640 KiB

[startup+4.7002 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128316108/131524600 swapFree=131071996/131071996
[pid=888896] ppid=888890 vsize=9932 memory=2720 CPUtime=0 cores=4,6
/proc/888896/stat : 888896 (naps-1.02b5.sh) S 888890 888896 888823 0 -1 4194304 220 246 0 0 0 0 0 0 20 0 1 0 164062093 10170368 680 134679101440 94500450643968 94500451723288 140734691640384 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94500453821744 94500453868932 94500481994752 140734691644384 140734691644511 140734691644511 140734691651526 0
/proc/888896/statm: 2483 680 602 264 0 134 0
[pid=888904] ppid=888896 vsize=25900 memory=23920 CPUtime=4.67 cores=4,6
/proc/888904/stat : 888904 (naps-1.02b5) R 888896 888896 888823 0 -1 4194304 5650 0 0 0 466 1 0 0 20 0 1 0 164062093 26521600 5980 134679101440 4194304 5746509 140723532194112 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 35213312 140723532198895 140723532199009 140723532199009 140723532206025 0
/proc/888904/statm: 6475 5980 421 379 0 6009 0
Current children cumulated CPU time: 4.67 s
Current children cumulated vsize: 35832 KiB
Current children cumulated memory: 26640 KiB

Child status: 30

Real time (s): 4.79712
CPU time (s): 4.7804
CPU user time (s): 4.76011
CPU system time (s): 0.020297
CPU usage (%): 99.6515
Max. virtual memory (cumulated for all children) (KiB): 35832
Max. memory (cumulated for all children) (KiB): 26640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.76011
system time used= 0.020297
maximum resident set size= 26976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6843
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= 12
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 888896
#   total CPU time (s): 4.7804
#   total CPU user time (s): 4.76011
#   total CPU system time (s): 0.020297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015331 second user time and 0.042897 second system time

The end