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: 63837 MiB (63213 MiB free)
  memory of node 1: 64465 MiB (63857 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494267-1751156626/watcher-4494267-1751156626 -o /tmp/evaluation-result-4494267-1751156626/solver-4494267-1751156626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751156266-15731 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4494267-1751156626.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16907, runsolver pid=16904

[startup+0.100095 s]*
/proc/loadavg: 4.12 3.95 4.01 6/255 16911
/proc/meminfo: memFree=130120204/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=5160 memory=3456 CPUtime=0.09 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 466 0 0 0 9 0 0 0 20 0 1 0 31341762 5283840 864 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 1290 864 544 696 0 451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9352 KiB
Current children cumulated memory: 6400 KiB

[startup+0.212625 s]*
/proc/loadavg: 4.11 3.95 4.01 5/255 16911
/proc/meminfo: memFree=130118692/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=7208 memory=4608 CPUtime=0.2 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 725 0 0 0 20 0 0 0 20 0 1 0 31341762 7380992 1152 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 1802 1152 544 696 0 963 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11400 KiB
Current children cumulated memory: 7552 KiB

[startup+0.312355 s]*
/proc/loadavg: 4.11 3.95 4.01 5/255 16911
/proc/meminfo: memFree=130116676/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=8232 memory=5632 CPUtime=0.3 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 996 0 0 0 30 0 0 0 20 0 1 0 31341762 8429568 1408 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 2058 1408 544 696 0 1219 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 12424 KiB
Current children cumulated memory: 8576 KiB

[startup+0.700318 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16911
/proc/meminfo: memFree=130108548/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=12464 memory=9216 CPUtime=0.67 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 1894 0 0 0 67 0 0 0 20 0 1 0 31341762 12763136 2304 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 3116 2304 544 696 0 2277 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 16656 KiB
Current children cumulated memory: 12160 KiB

[startup+1.50033 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16911
/proc/meminfo: memFree=130100736/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=20656 memory=17796 CPUtime=1.47 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 2999 0 0 0 147 0 0 0 20 0 1 0 31341762 21151744 4449 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 5164 4449 544 696 0 4325 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 24848 KiB
Current children cumulated memory: 20740 KiB

[startup+3.11262 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=130036788/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=54600 memory=42680 CPUtime=3.08 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 9789 0 0 0 306 2 0 0 20 0 1 0 31341762 55910400 10670 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 13650 10670 544 696 0 12811 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58792 KiB
Current children cumulated memory: 45624 KiB

[startup+6.30039 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129910260/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=123448 memory=98872 CPUtime=6.26 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 25797 0 0 0 620 6 0 0 20 0 1 0 31341762 126410752 24718 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 30862 24718 544 696 0 30023 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127640 KiB
Current children cumulated memory: 101816 KiB

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

# cumulated CPU time of all completed processes:  user=9.26591 s, system=0.090863 s

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

[startup+6.40043 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129910260/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=123448 memory=98872 CPUtime=6.36 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 25803 0 0 0 630 6 0 0 20 0 1 0 31341762 126410752 24718 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 30862 24718 544 696 0 30023 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 127640 KiB
Current children cumulated memory: 101816 KiB

[startup+8.00035 s]*
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129869492/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=116648 memory=90232 CPUtime=7.97 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 26466 0 0 0 791 6 0 0 20 0 1 0 31341762 119447552 22558 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 29162 22558 544 696 0 28323 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 120840 KiB
Current children cumulated memory: 93176 KiB

[startup+8.80036 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129869492/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=173992 memory=134204 CPUtime=8.75 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 28286 0 0 0 868 7 0 0 20 0 1 0 31341762 178167808 33551 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 43498 33551 544 696 0 42659 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 178184 KiB
Current children cumulated memory: 137148 KiB

[startup+9.20037 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129804336/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=157608 memory=115944 CPUtime=9.15 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 28582 0 0 0 908 7 0 0 20 0 1 0 31341762 161390592 28986 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 39402 28986 544 696 0 38563 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 161800 KiB
Current children cumulated memory: 118888 KiB

[startup+9.30035 s]
/proc/loadavg: 4.11 3.95 4.01 5/255 16912
/proc/meminfo: memFree=129804336/131382116 swapFree=33010684/33010684
[pid=16907] ppid=16904 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16907/stat : 16907 (naps-1.03a6.sh) S 16904 16907 15714 0 -1 4194304 228 204 0 0 0 0 0 0 20 0 1 0 31341760 4292608 736 18446744073709551615 94526628556800 94526629451333 140725553844336 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94526629690384 94526629738128 94526648242176 140725553846695 140725553846789 140725553846789 140725553852391 0
/proc/16907/statm: 1048 736 672 219 0 110 0
[pid=16911] ppid=16907 vsize=106120 memory=95280 CPUtime=9.25 cores=5,7
/proc/16911/stat : 16911 (naps-1.03a6) R 16907 16907 15714 0 -1 4194304 28661 0 0 0 918 7 0 0 20 0 1 0 31341762 108666880 23820 18446744073709551615 4198400 7047149 140733326198704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 10911744 140733326207348 140733326207462 140733326207462 140733326213065 0
/proc/16911/statm: 26530 23820 544 696 0 25691 0
Current children cumulated CPU time: 9.25 s
Current children cumulated vsize: 110312 KiB
Current children cumulated memory: 98224 KiB

Child status: 10

Real time (s): 9.38783
CPU time (s): 9.35677
CPU user time (s): 9.26591
CPU system time (s): 0.090863
CPU usage (%): 99.6691
Max. virtual memory (cumulated for all children) (KiB): 178184
Max. memory (cumulated for all children) (KiB): 137276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.26591
system time used= 0.090863
maximum resident set size= 134332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30026
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= 132
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 16907
#   total CPU time (s): 9.35677
#   total CPU user time (s): 9.26591
#   total CPU system time (s): 0.090863

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070329 second user time and 0.152924 second system time

The end