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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445959-1721328654/watcher-4445959-1721328654 -o /tmp/evaluation-result-4445959-1721328654/solver-4445959-1721328654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721328665-945238 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4445959-1721328654.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
Current StackSize limit: 8192 KiB

solver pid=945412, runsolver pid=945409

[startup+0.10009 s]*
/proc/loadavg: 1.14 1.60 2.57 5/260 945417
/proc/meminfo: memFree=125905592/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=31692 memory=27216 CPUtime=0.09 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 7485 0 0 0 9 0 0 0 20 0 1 0 185025966 32452608 6804 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 7923 6804 532 659 0 7127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 29936 KiB

[startup+0.205748 s]*
/proc/loadavg: 1.14 1.60 2.57 5/260 945417
/proc/meminfo: memFree=125880288/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=39724 memory=32564 CPUtime=0.19 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 9018 0 0 0 19 0 0 0 20 0 1 0 185025966 40677376 8141 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9931 8141 532 659 0 9135 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49656 KiB
Current children cumulated memory: 35284 KiB

[startup+0.305729 s]*
/proc/loadavg: 1.14 1.60 2.57 5/260 945417
/proc/meminfo: memFree=125866932/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=36356 memory=31028 CPUtime=0.29 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 9042 0 0 0 29 0 0 0 20 0 1 0 185025966 37228544 7757 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9089 7757 532 659 0 8293 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46288 KiB
Current children cumulated memory: 33748 KiB

[startup+0.70023 s]
/proc/loadavg: 1.45 1.66 2.58 5/260 945417
/proc/meminfo: memFree=125816256/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=37232 memory=32608 CPUtime=0.68 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 9460 0 0 0 68 0 0 0 20 0 1 0 185025966 38125568 8152 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9308 8152 532 659 0 8512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47164 KiB
Current children cumulated memory: 35328 KiB

[startup+1.50024 s]
/proc/loadavg: 1.45 1.66 2.58 6/257 945431
/proc/meminfo: memFree=125863464/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=37232 memory=32872 CPUtime=1.48 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 9535 0 0 0 148 0 0 0 20 0 1 0 185025966 38125568 8218 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9308 8218 532 659 0 8512 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47164 KiB
Current children cumulated memory: 35592 KiB

[startup+3.1056 s]
/proc/loadavg: 1.45 1.66 2.58 5/260 945467
/proc/meminfo: memFree=125854416/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=35320 memory=32136 CPUtime=3.08 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 11132 0 0 0 307 1 0 0 20 0 1 0 185025966 36167680 8034 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 8830 8034 532 659 0 8034 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45252 KiB
Current children cumulated memory: 34856 KiB

[startup+6.30018 s]
/proc/loadavg: 1.65 1.70 2.59 5/260 945519
/proc/meminfo: memFree=125863172/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=33924 memory=30976 CPUtime=6.26 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 12268 0 0 0 625 1 0 0 20 0 1 0 185025966 34738176 7744 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 8481 7744 532 659 0 7685 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 43856 KiB
Current children cumulated memory: 33696 KiB

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

# cumulated CPU time of all completed processes:  user=12.3283 s, system=0.033329 s

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

[startup+6.40017 s]
/proc/loadavg: 1.65 1.70 2.59 5/260 945519
/proc/meminfo: memFree=125863172/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=34948 memory=30976 CPUtime=6.36 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 12322 0 0 0 635 1 0 0 20 0 1 0 185025966 35786752 7744 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 8737 7744 532 659 0 7941 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 44880 KiB
Current children cumulated memory: 33696 KiB

[startup+9.60016 s]
/proc/loadavg: 1.65 1.70 2.59 5/260 945519
/proc/meminfo: memFree=125793168/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=33844 memory=29936 CPUtime=9.55 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 14763 0 0 0 953 2 0 0 20 0 1 0 185025966 34656256 7484 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 8461 7484 532 659 0 7665 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 43776 KiB
Current children cumulated memory: 32656 KiB

[startup+11.2002 s]
/proc/loadavg: 1.84 1.73 2.59 5/260 945519
/proc/meminfo: memFree=125746064/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=37940 memory=30512 CPUtime=11.15 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 15723 0 0 0 1113 2 0 0 20 0 1 0 185025966 38850560 7628 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9485 7628 532 659 0 8689 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 47872 KiB
Current children cumulated memory: 33232 KiB

[startup+12.0002 s]*
/proc/loadavg: 1.84 1.73 2.59 5/260 945519
/proc/meminfo: memFree=125720720/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=37880 memory=30584 CPUtime=11.96 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 16150 0 0 0 1193 3 0 0 20 0 1 0 185025966 38789120 7646 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9470 7646 532 659 0 8674 0
Current children cumulated CPU time: 11.96 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 33304 KiB

[startup+12.4002 s]
/proc/loadavg: 1.84 1.73 2.59 5/260 945519
/proc/meminfo: memFree=125720720/131524600 swapFree=131071996/131071996
[pid=945412] ppid=945409 vsize=9932 memory=2720 CPUtime=0 cores=0,2
/proc/945412/stat : 945412 (naps-1.03.sh) S 945409 945412 945228 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 185025966 10170368 680 134679101440 94141293080576 94141294159896 140735982208960 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94141296258352 94141296305540 94141318627328 140735982216163 140735982216288 140735982216288 140735982223304 0
/proc/945412/statm: 2483 680 602 264 0 134 0
[pid=945417] ppid=945412 vsize=37880 memory=30844 CPUtime=12.35 cores=0,2
/proc/945417/stat : 945417 (naps-1.03) R 945412 945412 945228 0 -1 4194304 16270 0 0 0 1232 3 0 0 20 0 1 0 185025966 38789120 7711 134679101440 4194304 6891213 140721625704912 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 10620928 140721625707508 140721625707620 140721625707620 140721625714635 0
/proc/945417/statm: 9470 7711 532 659 0 8674 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 47812 KiB
Current children cumulated memory: 33564 KiB

Child status: 10

Real time (s): 12.4031
CPU time (s): 12.3616
CPU user time (s): 12.3283
CPU system time (s): 0.033329
CPU usage (%): 99.6657
Max. virtual memory (cumulated for all children) (KiB): 49656
Max. memory (cumulated for all children) (KiB): 37636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3283
system time used= 0.033329
maximum resident set size= 35180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16742
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= 89


# summary of solver processes directly reported to runsolver:
#   pid: 945412
#   total CPU time (s): 12.3616
#   total CPU user time (s): 12.3283
#   total CPU system time (s): 0.033329

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039155 second user time and 0.073634 second system time

The end