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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100403 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128344596/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=8408 memory=3768 CPUtime=0.09 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 615 0 0 0 9 0 0 0 20 0 1 0 164062385 8609792 942 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 2102 942 405 379 0 1636 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18340 KiB
Current children cumulated memory: 6492 KiB

[startup+0.205402 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128341320/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=9720 memory=5468 CPUtime=0.19 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 1023 0 0 0 19 0 0 0 20 0 1 0 164062385 9953280 1367 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 2430 1367 405 379 0 1964 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19652 KiB
Current children cumulated memory: 8192 KiB

[startup+0.305213 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128338600/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=10820 memory=8908 CPUtime=0.29 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 1440 0 0 0 29 0 0 0 20 0 1 0 164062385 11079680 2227 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 2705 2227 405 379 0 2239 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20752 KiB
Current children cumulated memory: 11632 KiB

[startup+0.700196 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128328536/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=18656 memory=15580 CPUtime=0.67 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 3595 0 0 0 67 0 0 0 20 0 1 0 164062385 19103744 3895 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 4664 3895 421 379 0 4198 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 28588 KiB
Current children cumulated memory: 18304 KiB

[startup+1.50021 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889014
/proc/meminfo: memFree=128316108/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=21612 memory=19096 CPUtime=1.47 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 4744 0 0 0 147 0 0 0 20 0 1 0 164062385 22130688 4774 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 5403 4774 421 379 0 4937 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 31544 KiB
Current children cumulated memory: 21820 KiB

[startup+3.1054 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128310380/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=24388 memory=23248 CPUtime=3.08 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 5279 0 0 0 307 1 0 0 20 0 1 0 164062385 24973312 5812 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 6097 5812 421 379 0 5631 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34320 KiB
Current children cumulated memory: 25972 KiB

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

# cumulated CPU time of all completed processes:  user=4.63725 s, system=0.02076 s

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

[startup+3.20023 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128310380/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=24388 memory=23248 CPUtime=3.17 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 5280 0 0 0 316 1 0 0 20 0 1 0 164062385 24973312 5812 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 6097 5812 421 379 0 5631 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 34320 KiB
Current children cumulated memory: 25972 KiB

[startup+4.00017 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128300576/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=28784 memory=27400 CPUtime=3.97 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 5781 0 0 0 396 1 0 0 20 0 1 0 164062385 29474816 6850 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 7196 6850 421 379 0 6730 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 38716 KiB
Current children cumulated memory: 30124 KiB

[startup+4.40019 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128300576/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=24432 memory=21240 CPUtime=4.36 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 6021 0 0 0 435 1 0 0 20 0 1 0 164062385 25018368 5310 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 6108 5310 421 379 0 5642 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 34364 KiB
Current children cumulated memory: 23964 KiB

[startup+4.60022 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128300576/131524600 swapFree=131071996/131071996
[pid=889009] ppid=889006 vsize=9932 memory=2724 CPUtime=0 cores=0,2
/proc/889009/stat : 889009 (naps-1.02b5.sh) S 889006 889009 888823 0 -1 4194304 223 241 0 0 0 0 0 0 20 0 1 0 164062385 10170368 681 134679101440 94849185239040 94849186318360 140720574053792 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94849188416816 94849188464004 94849214369792 140720574059488 140720574059615 140720574059615 140720574066630 0
/proc/889009/statm: 2483 681 602 264 0 134 0
[pid=889014] ppid=889009 vsize=21708 memory=19960 CPUtime=4.56 cores=0,2
/proc/889014/stat : 889014 (naps-1.02b5) R 889009 889009 888823 0 -1 4194304 6403 0 0 0 455 1 0 0 20 0 1 0 164062385 22228992 4990 134679101440 4194304 5746509 140725616533264 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 19030016 140725616538607 140725616538721 140725616538721 140725616545737 0
/proc/889014/statm: 5427 4990 421 379 0 4961 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 31640 KiB
Current children cumulated memory: 22684 KiB

Child status: 30

Real time (s): 4.68458
CPU time (s): 4.65801
CPU user time (s): 4.63725
CPU system time (s): 0.02076
CPU usage (%): 99.4329
Max. virtual memory (cumulated for all children) (KiB): 38716
Max. memory (cumulated for all children) (KiB): 30384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63725
system time used= 0.02076
maximum resident set size= 32284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7042
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: 889009
#   total CPU time (s): 4.65801
#   total CPU user time (s): 4.63725
#   total CPU system time (s): 0.02076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018546 second user time and 0.045404 second system time

The end