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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443798-1721313565/watcher-4443798-1721313565 -o /tmp/evaluation-result-4443798-1721313565/solver-4443798-1721313565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443798-1721313565.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_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=955752, runsolver pid=955749

[startup+0.100783 s]*
/proc/loadavg: 4.76 4.33 4.23 5/245 955757
/proc/meminfo: memFree=123191176/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=8876 memory=2800 CPUtime=0.1 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 336 0 0 0 10 0 0 0 20 0 1 0 183512638 9089024 700 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 2219 700 436 659 0 1423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18808 KiB
Current children cumulated memory: 5528 KiB

[startup+0.213176 s]*
/proc/loadavg: 4.76 4.33 4.23 5/245 955757
/proc/meminfo: memFree=123189992/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=9760 memory=3760 CPUtime=0.2 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 597 0 0 0 20 0 0 0 20 0 1 0 183512638 9994240 940 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 2440 940 436 659 0 1644 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19692 KiB
Current children cumulated memory: 6488 KiB

[startup+0.310816 s]*
/proc/loadavg: 4.76 4.33 4.23 5/245 955757
/proc/meminfo: memFree=123189180/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=9940 memory=4284 CPUtime=0.3 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 724 0 0 0 30 0 0 0 20 0 1 0 183512638 10178560 1071 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 2485 1071 436 659 0 1689 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19872 KiB
Current children cumulated memory: 7012 KiB

[startup+0.7004 s]
/proc/loadavg: 4.76 4.33 4.23 5/245 955757
/proc/meminfo: memFree=123187752/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=11884 memory=6580 CPUtime=0.67 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 1373 0 0 0 67 0 0 0 20 0 1 0 183512638 12169216 1645 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 2971 1645 436 659 0 2175 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21816 KiB
Current children cumulated memory: 9308 KiB

[startup+1.50042 s]
/proc/loadavg: 4.78 4.34 4.24 5/245 955757
/proc/meminfo: memFree=123182764/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=18372 memory=14064 CPUtime=1.48 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 2834 0 0 0 147 1 0 0 20 0 1 0 183512638 18812928 3516 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 4593 3516 436 659 0 3797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28304 KiB
Current children cumulated memory: 16792 KiB

[startup+3.1128 s]
/proc/loadavg: 4.78 4.34 4.24 5/245 955757
/proc/meminfo: memFree=123151380/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=49196 memory=44368 CPUtime=3.08 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 10039 0 0 0 304 4 0 0 20 0 1 0 183512638 50376704 11092 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 12299 11092 436 659 0 11503 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59128 KiB
Current children cumulated memory: 47096 KiB

[startup+6.30041 s]
/proc/loadavg: 4.80 4.35 4.24 5/245 955757
/proc/meminfo: memFree=123059056/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=136224 memory=123992 CPUtime=6.27 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 27939 0 0 0 619 8 0 0 20 0 1 0 183512638 139493376 30998 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 34056 30998 468 659 0 33260 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146156 KiB
Current children cumulated memory: 126720 KiB

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

# cumulated CPU time of all completed processes:  user=8.72868 s, system=0.117273 s

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

[startup+6.4005 s]
/proc/loadavg: 4.80 4.35 4.24 5/245 955757
/proc/meminfo: memFree=123059056/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=136224 memory=123992 CPUtime=6.37 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 27939 0 0 0 629 8 0 0 20 0 1 0 183512638 139493376 30998 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 34056 30998 468 659 0 33260 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 146156 KiB
Current children cumulated memory: 126720 KiB

[startup+8.00038 s]*
/proc/loadavg: 4.80 4.35 4.24 5/245 955757
/proc/meminfo: memFree=122978528/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=183256 memory=164568 CPUtime=7.98 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 33475 0 0 0 788 10 0 0 20 0 1 0 183512638 187654144 41142 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 45814 41142 468 659 0 45018 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 193188 KiB
Current children cumulated memory: 167296 KiB

[startup+8.40037 s]
/proc/loadavg: 4.80 4.35 4.24 5/245 955757
/proc/meminfo: memFree=122978528/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=183256 memory=164568 CPUtime=8.36 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 33490 0 0 0 826 10 0 0 20 0 1 0 183512638 187654144 41142 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 45814 41142 468 659 0 45018 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 193188 KiB
Current children cumulated memory: 167296 KiB

[startup+8.80037 s]
/proc/loadavg: 4.80 4.35 4.24 5/245 955757
/proc/meminfo: memFree=122978528/131655788 swapFree=131071996/131071996
[pid=955752] ppid=955749 vsize=9932 memory=2728 CPUtime=0 cores=1,3
/proc/955752/stat : 955752 (naps-1.03.sh) S 955749 955752 949639 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 183512638 10170368 682 134679101440 94541521104896 94541522184216 140733592002336 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94541524282672 94541524329860 94541525913600 140733592007647 140733592007776 140733592007776 140733592014792 0
/proc/955752/statm: 2483 682 603 264 0 134 0
[pid=955757] ppid=955752 vsize=173568 memory=153812 CPUtime=8.76 cores=1,3
/proc/955757/stat : 955757 (naps-1.03) R 955752 955752 949639 0 -1 4194304 34226 0 0 0 866 10 0 0 20 0 1 0 183512638 177733632 38453 134679101440 4194304 6891213 140733524713552 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 27983872 140733524722672 140733524722788 140733524722788 140733524729803 0
/proc/955757/statm: 43392 38453 468 659 0 42596 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 183500 KiB
Current children cumulated memory: 156540 KiB

Child status: 10

Real time (s): 8.87227
CPU time (s): 8.84596
CPU user time (s): 8.72868
CPU system time (s): 0.117273
CPU usage (%): 99.7034
Max. virtual memory (cumulated for all children) (KiB): 211996
Max. memory (cumulated for all children) (KiB): 182688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.72868
system time used= 0.117273
maximum resident set size= 182008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34839
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= 15


# summary of solver processes directly reported to runsolver:
#   pid: 955752
#   total CPU time (s): 8.84596
#   total CPU user time (s): 8.72868
#   total CPU system time (s): 0.117273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063393 second user time and 0.145655 second system time

The end