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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434387-1721113743/watcher-4434387-1721113743 -o /tmp/evaluation-result-4434387-1721113743/solver-4434387-1721113743 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856270 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434387-1721113743.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100122 s]*
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115643072/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=5980 memory=4680 CPUtime=0.09 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 671 0 0 0 9 0 0 0 20 0 1 0 163541699 6123520 1170 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 1495 1170 580 659 0 699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15912 KiB
Current children cumulated memory: 7372 KiB

[startup+0.206121 s]*
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115639388/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=9560 memory=8352 CPUtime=0.19 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 1603 0 0 0 19 0 0 0 20 0 1 0 163541699 9789440 2088 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 2390 2088 612 659 0 1594 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 19492 KiB
Current children cumulated memory: 11044 KiB

[startup+0.305604 s]*
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115634012/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=15052 memory=13464 CPUtime=0.29 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 3173 0 0 0 29 0 0 0 20 0 1 0 163541699 15413248 3366 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 3763 3366 644 659 0 2967 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24984 KiB
Current children cumulated memory: 16156 KiB

[startup+0.700255 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115628948/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=21620 memory=20060 CPUtime=0.67 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 5986 0 0 0 67 0 0 0 20 0 1 0 163541699 22138880 5015 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 5405 5015 644 659 0 4609 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 31552 KiB
Current children cumulated memory: 22752 KiB

[startup+1.50027 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115161376/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=25536 memory=23152 CPUtime=1.48 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 8527 0 0 0 147 1 0 0 20 0 1 0 163541699 26148864 5788 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 6384 5788 660 659 0 5588 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35468 KiB
Current children cumulated memory: 25844 KiB

[startup+3.10574 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115625992/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=22284 memory=21332 CPUtime=3.08 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10063 0 0 0 307 1 0 0 20 0 1 0 163541699 22818816 5333 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 5571 5333 660 659 0 4775 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32216 KiB
Current children cumulated memory: 24024 KiB

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

# cumulated CPU time of all completed processes:  user=5.093 s, system=0.015956 s

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

[startup+3.20032 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115625992/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=22284 memory=21332 CPUtime=3.17 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10063 0 0 0 316 1 0 0 20 0 1 0 163541699 22818816 5333 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 5571 5333 660 659 0 4775 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 32216 KiB
Current children cumulated memory: 24024 KiB

[startup+4.00025 s]*
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115623160/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=26940 memory=24164 CPUtime=3.97 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10315 0 0 0 396 1 0 0 20 0 1 0 163541699 27586560 6041 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 6735 6041 660 659 0 5939 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 36872 KiB
Current children cumulated memory: 26856 KiB

[startup+4.80025 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115623160/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=26940 memory=24164 CPUtime=4.76 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10315 0 0 0 475 1 0 0 20 0 1 0 163541699 27586560 6041 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 6735 6041 660 659 0 5939 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 36872 KiB
Current children cumulated memory: 26856 KiB

[startup+5.00025 s]*
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115622996/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=26940 memory=24164 CPUtime=4.97 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10315 0 0 0 496 1 0 0 20 0 1 0 163541699 27586560 6041 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 6735 6041 660 659 0 5939 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 36872 KiB
Current children cumulated memory: 26856 KiB

[startup+5.10565 s]
/proc/loadavg: 4.04 4.10 4.08 5/260 861792
/proc/meminfo: memFree=115622996/131524600 swapFree=131071996/131071996
[pid=861787] ppid=861784 vsize=9932 memory=2692 CPUtime=0 cores=5,7
/proc/861787/stat : 861787 (naps-1.03.sh) S 861784 861787 856257 0 -1 4194304 222 237 0 0 0 0 0 0 20 0 1 0 163541699 10170368 673 134679101440 94587398508544 94587399587864 140732943892688 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94587401686320 94587401733508 94587429851136 140732943901668 140732943901793 140732943901793 140732943908808 0
/proc/861787/statm: 2483 673 593 264 0 134 0
[pid=861792] ppid=861787 vsize=26940 memory=24164 CPUtime=5.07 cores=5,7
/proc/861792/stat : 861792 (naps-1.03) R 861787 861787 856257 0 -1 4194304 10315 0 0 0 506 1 0 0 20 0 1 0 163541699 27586560 6041 134679101440 4194304 6891213 140723071079600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 35586048 140723071083509 140723071083621 140723071083621 140723071090635 0
/proc/861792/statm: 6735 6041 660 659 0 5939 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 36872 KiB
Current children cumulated memory: 26856 KiB

Child status: 30

Real time (s): 5.13334
CPU time (s): 5.10896
CPU user time (s): 5.093
CPU system time (s): 0.015956
CPU usage (%): 99.525
Max. virtual memory (cumulated for all children) (KiB): 36872
Max. memory (cumulated for all children) (KiB): 26856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.093
system time used= 0.015956
maximum resident set size= 24632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10790
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: 861787
#   total CPU time (s): 5.10896
#   total CPU user time (s): 5.093
#   total CPU system time (s): 0.015956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021237 second user time and 0.0552 second system time

The end