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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426358-1720901797/watcher-4426358-1720901797 -o /tmp/evaluation-result-4426358-1720901797/solver-4426358-1720901797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720901807-715431 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426358-1720901797.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=715553, runsolver pid=715550
Current StackSize limit: 8192 KiB


[startup+0.100452 s]*
/proc/loadavg: 0.11 0.09 0.13 6/245 715558
/proc/meminfo: memFree=129966872/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=10908 memory=4608 CPUtime=0.09 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 807 0 0 0 9 0 0 0 20 0 1 0 142336396 11169792 1152 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 2727 1152 436 659 0 1931 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20840 KiB
Current children cumulated memory: 7292 KiB

[startup+0.211952 s]*
/proc/loadavg: 0.11 0.09 0.13 5/245 715558
/proc/meminfo: memFree=129960524/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=16432 memory=10000 CPUtime=0.2 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 2197 0 0 0 20 0 0 0 20 0 1 0 142336396 16826368 2500 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 4108 2500 436 659 0 3312 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26364 KiB
Current children cumulated memory: 12684 KiB

[startup+0.312668 s]*
/proc/loadavg: 0.11 0.09 0.13 5/245 715558
/proc/meminfo: memFree=129949288/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=21300 memory=14576 CPUtime=0.3 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 3404 0 0 0 30 0 0 0 20 0 1 0 142336396 21811200 3644 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 5325 3644 436 659 0 4529 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 17260 KiB

[startup+0.700347 s]
/proc/loadavg: 0.11 0.09 0.13 5/245 715558
/proc/meminfo: memFree=129935984/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=39628 memory=33572 CPUtime=0.67 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 8564 0 0 0 66 1 0 0 20 0 1 0 142336396 40579072 8393 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 9907 8393 468 659 0 9111 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49560 KiB
Current children cumulated memory: 36256 KiB

[startup+1.50043 s]
/proc/loadavg: 0.42 0.16 0.15 5/245 715558
/proc/meminfo: memFree=129871060/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=272748 memory=259312 CPUtime=1.47 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 29551 0 0 0 138 9 0 0 20 0 1 0 142336396 279293952 64828 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 68187 64828 468 659 0 67391 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 282680 KiB
Current children cumulated memory: 261996 KiB

[startup+3.11262 s]
/proc/loadavg: 0.42 0.16 0.15 5/245 715558
/proc/meminfo: memFree=128862424/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=775552 memory=727884 CPUtime=3.09 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 82598 0 0 0 285 24 0 0 20 0 1 0 142336396 794165248 181971 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 193888 181971 468 659 0 193092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 785484 KiB
Current children cumulated memory: 730568 KiB

[startup+6.30041 s]
/proc/loadavg: 0.71 0.22 0.17 5/245 715560
/proc/meminfo: memFree=127972880/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=1752288 memory=1527168 CPUtime=6.26 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 145616 0 0 0 583 43 0 0 20 0 1 0 142336396 1794342912 381792 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 438072 381792 468 659 0 437276 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1762220 KiB
Current children cumulated memory: 1529852 KiB

[startup+12.7004 s]
/proc/loadavg: 0.97 0.29 0.20 5/245 715610
/proc/meminfo: memFree=126749256/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=2011700 memory=1791460 CPUtime=12.65 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 166715 0 0 0 1211 54 0 0 20 0 1 0 142336396 2059980800 447865 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 502925 447865 468 659 0 502129 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2021632 KiB
Current children cumulated memory: 1794144 KiB

[startup+25.5004 s]
/proc/loadavg: 1.44 0.41 0.24 5/246 715614
/proc/meminfo: memFree=120065852/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=1981028 memory=1817436 CPUtime=25.4 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 179956 0 0 0 2477 63 0 0 20 0 1 0 142336396 2028572672 454359 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 495257 454359 468 659 0 494461 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1990960 KiB
Current children cumulated memory: 1820120 KiB

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

# cumulated CPU time of all completed processes:  user=25.6726 s, system=0.671137 s

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

[startup+25.6005 s]
/proc/loadavg: 1.44 0.41 0.24 5/246 715614
/proc/meminfo: memFree=120065852/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=1981028 memory=1819484 CPUtime=25.5 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 179957 0 0 0 2487 63 0 0 20 0 1 0 142336396 2028572672 454871 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 495257 454871 468 659 0 494461 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 1990960 KiB
Current children cumulated memory: 1822168 KiB

[startup+26.0004 s]*
/proc/loadavg: 1.72 0.48 0.26 5/246 715614
/proc/meminfo: memFree=119696960/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
[pid=715558] ppid=715553 vsize=1981028 memory=1824564 CPUtime=25.91 cores=1,3
/proc/715558/stat : 715558 (naps-1.03) R 715553 715553 715419 0 -1 4194304 180231 0 0 0 2528 63 0 0 20 0 1 0 142336396 2028572672 456141 134679101440 4194304 6891213 140730511527920 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20602880 140730511532989 140730511533105 140730511533105 140730511540171 0
/proc/715558/statm: 495257 456141 468 659 0 494461 0
Current children cumulated CPU time: 25.91 s
Current children cumulated vsize: 1990960 KiB
Current children cumulated memory: 1827248 KiB

[startup+26.4004 s]
/proc/loadavg: 1.72 0.48 0.26 5/246 715614
/proc/meminfo: memFree=119696960/131655788 swapFree=131071996/131071996
[pid=715553] ppid=715550 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/715553/stat : 715553 (naps-1.03.sh) S 715550 715553 715419 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 142336395 10170368 671 134679101440 94289247576064 94289248655384 140728402766944 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94289250753840 94289250801028 94289254260736 140728402768812 140728402768941 140728402768941 140728402776008 0
/proc/715553/statm: 2483 671 592 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2684 KiB

Child status: 30

Real time (s): 26.4294
CPU time (s): 26.3438
CPU user time (s): 25.6726
CPU system time (s): 0.671137
CPU usage (%): 99.6761
Max. virtual memory (cumulated for all children) (KiB): 2356136
Max. memory (cumulated for all children) (KiB): 1999072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6726
system time used= 0.671137
maximum resident set size= 1996388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180721
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= 37


# summary of solver processes directly reported to runsolver:
#   pid: 715553
#   total CPU time (s): 26.3438
#   total CPU user time (s): 25.6726
#   total CPU system time (s): 0.671137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184032 second user time and 0.297367 second system time

The end