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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443918-1721313698/watcher-4443918-1721313698 -o /tmp/evaluation-result-4443918-1721313698/solver-4443918-1721313698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443918-1721313698.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=955976, runsolver pid=955973

[startup+0.100098 s]*
/proc/loadavg: 4.20 4.29 4.24 5/247 955981
/proc/meminfo: memFree=123233876/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=9764 memory=3756 CPUtime=0.1 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 596 0 0 0 10 0 0 0 20 0 1 0 183525938 9998336 939 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 2441 939 436 659 0 1645 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19696 KiB
Current children cumulated memory: 6512 KiB

[startup+0.213286 s]*
/proc/loadavg: 4.20 4.29 4.24 5/247 955981
/proc/meminfo: memFree=123230120/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=10792 memory=7176 CPUtime=0.21 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 915 0 0 0 21 0 0 0 20 0 1 0 183525938 11051008 1794 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 2698 1794 436 659 0 1902 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20724 KiB
Current children cumulated memory: 9932 KiB

[startup+0.312718 s]*
/proc/loadavg: 4.20 4.29 4.24 5/247 955981
/proc/meminfo: memFree=123227176/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=11888 memory=8152 CPUtime=0.31 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 1193 0 0 0 31 0 0 0 20 0 1 0 183525938 12173312 2038 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 2972 2038 436 659 0 2176 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21820 KiB
Current children cumulated memory: 10908 KiB

[startup+0.700403 s]
/proc/loadavg: 4.20 4.29 4.24 5/247 955981
/proc/meminfo: memFree=123225160/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=15904 memory=11592 CPUtime=0.69 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 2227 0 0 0 69 0 0 0 20 0 1 0 183525938 16285696 2898 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 3976 2898 436 659 0 3180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 25836 KiB
Current children cumulated memory: 14348 KiB

[startup+1.50042 s]
/proc/loadavg: 4.20 4.29 4.24 5/247 955981
/proc/meminfo: memFree=123214344/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=27992 memory=24060 CPUtime=1.48 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 5207 0 0 0 147 1 0 0 20 0 1 0 183525938 28663808 6015 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 6998 6015 436 659 0 6202 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37924 KiB
Current children cumulated memory: 26816 KiB

[startup+3.11272 s]
/proc/loadavg: 4.18 4.29 4.23 5/247 955981
/proc/meminfo: memFree=123171088/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=59824 memory=54224 CPUtime=3.09 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 13248 0 0 0 306 3 0 0 20 0 1 0 183525938 61259776 13556 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 14956 13556 468 659 0 14160 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69756 KiB
Current children cumulated memory: 56980 KiB

[startup+6.3004 s]
/proc/loadavg: 4.18 4.29 4.23 5/247 955983
/proc/meminfo: memFree=123046452/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=184200 memory=167864 CPUtime=6.27 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 35313 0 0 0 619 8 0 0 20 0 1 0 183525938 188620800 41966 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 46050 41966 468 659 0 45254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 194132 KiB
Current children cumulated memory: 170620 KiB

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

# cumulated CPU time of all completed processes:  user=8.60722 s, system=0.09942 s

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

[startup+6.40051 s]
/proc/loadavg: 4.18 4.29 4.23 5/247 955983
/proc/meminfo: memFree=123046452/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=206164 memory=172352 CPUtime=6.37 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 36450 0 0 0 629 8 0 0 20 0 1 0 183525938 211111936 43088 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 51541 43088 468 659 0 50745 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 216096 KiB
Current children cumulated memory: 175108 KiB

[startup+8.00038 s]*
/proc/loadavg: 4.17 4.28 4.23 5/247 955983
/proc/meminfo: memFree=122996472/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=210480 memory=177188 CPUtime=7.98 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 37106 0 0 0 790 8 0 0 20 0 1 0 183525938 215531520 44297 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 52620 44297 468 659 0 51824 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 220412 KiB
Current children cumulated memory: 179944 KiB

[startup+8.40038 s]
/proc/loadavg: 4.17 4.28 4.23 5/247 955983
/proc/meminfo: memFree=122996472/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=229156 memory=191788 CPUtime=8.36 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 37184 0 0 0 828 8 0 0 20 0 1 0 183525938 234655744 47947 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 57289 47947 468 659 0 56493 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 239088 KiB
Current children cumulated memory: 194544 KiB

[startup+8.60038 s]
/proc/loadavg: 4.17 4.28 4.23 5/247 955983
/proc/meminfo: memFree=122996472/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=180236 memory=165148 CPUtime=8.56 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 37308 0 0 0 848 8 0 0 20 0 1 0 183525938 184561664 41287 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 45059 41287 468 659 0 44263 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 190168 KiB
Current children cumulated memory: 167904 KiB

[startup+8.70039 s]
/proc/loadavg: 4.17 4.28 4.23 5/247 955983
/proc/meminfo: memFree=122996472/131655788 swapFree=131071996/131071996
[pid=955976] ppid=955973 vsize=9932 memory=2756 CPUtime=0 cores=1,3
/proc/955976/stat : 955976 (naps-1.03.sh) S 955973 955976 949639 0 -1 4194304 225 241 0 0 0 0 0 0 20 0 1 0 183525938 10170368 689 134679101440 94187095343104 94187096422424 140724109150144 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94187098520880 94187098568068 94187110776832 140724109153247 140724109153376 140724109153376 140724109160392 0
/proc/955976/statm: 2483 689 611 264 0 134 0
[pid=955981] ppid=955976 vsize=181368 memory=166432 CPUtime=8.66 cores=1,3
/proc/955981/stat : 955981 (naps-1.03) R 955976 955976 949639 0 -1 4194304 37598 0 0 0 858 8 0 0 20 0 1 0 183525938 185720832 41608 134679101440 4194304 6891213 140726176205232 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 20803584 140726176211952 140726176212068 140726176212068 140726176219083 0
/proc/955981/statm: 45342 41608 468 659 0 44546 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 191300 KiB
Current children cumulated memory: 169188 KiB

Child status: 10

Real time (s): 8.72746
CPU time (s): 8.70664
CPU user time (s): 8.60722
CPU system time (s): 0.09942
CPU usage (%): 99.7614
Max. virtual memory (cumulated for all children) (KiB): 239088
Max. memory (cumulated for all children) (KiB): 194544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.60722
system time used= 0.09942
maximum resident set size= 195884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38145
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= 13


# summary of solver processes directly reported to runsolver:
#   pid: 955976
#   total CPU time (s): 8.70664
#   total CPU user time (s): 8.60722
#   total CPU system time (s): 0.09942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065899 second user time and 0.149101 second system time

The end