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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493979-1751156530/watcher-4493979-1751156530 -o /tmp/evaluation-result-4493979-1751156530/solver-4493979-1751156530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751156266-15731 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4493979-1751156530.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=16521, runsolver pid=16518

[startup+0.100095 s]*
/proc/loadavg: 4.16 3.87 4.00 6/256 16525
/proc/meminfo: memFree=129945428/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=5160 memory=3456 CPUtime=0.09 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 466 0 0 0 9 0 0 0 20 0 1 0 31332161 5283840 864 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/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.213254 s]*
/proc/loadavg: 4.16 3.87 4.00 5/256 16525
/proc/meminfo: memFree=129951188/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=7208 memory=4608 CPUtime=0.2 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 724 0 0 0 20 0 0 0 20 0 1 0 31332161 7380992 1152 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/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.312901 s]*
/proc/loadavg: 4.16 3.87 4.00 5/256 16525
/proc/meminfo: memFree=129949460/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=8232 memory=5632 CPUtime=0.3 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 1004 0 0 0 30 0 0 0 20 0 1 0 31332161 8429568 1408 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/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.700317 s]
/proc/loadavg: 4.16 3.87 4.00 5/256 16525
/proc/meminfo: memFree=129944420/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=12464 memory=9216 CPUtime=0.67 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 1895 0 0 0 67 0 0 0 20 0 1 0 31332161 12763136 2304 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/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.16 3.87 4.00 5/256 16525
/proc/meminfo: memFree=129933836/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=20656 memory=17804 CPUtime=1.47 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 3013 0 0 0 147 0 0 0 20 0 1 0 31332161 21151744 4451 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 5164 4451 544 696 0 4325 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 24848 KiB
Current children cumulated memory: 20748 KiB

[startup+3.11335 s]
/proc/loadavg: 4.15 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129883872/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=55952 memory=44076 CPUtime=3.08 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 10151 0 0 0 307 1 0 0 20 0 1 0 31332161 57294848 11019 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 13988 11019 544 696 0 13149 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60144 KiB
Current children cumulated memory: 47020 KiB

[startup+6.30038 s]
/proc/loadavg: 4.15 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129764092/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=143540 memory=111408 CPUtime=6.26 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 28835 0 0 0 620 6 0 0 20 0 1 0 31332161 146984960 27852 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 35885 27852 544 696 0 35046 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 147732 KiB
Current children cumulated memory: 114352 KiB

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

# cumulated CPU time of all completed processes:  user=11.1932 s, system=0.114595 s

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

[startup+6.40043 s]
/proc/loadavg: 4.15 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129764092/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=143540 memory=111408 CPUtime=6.36 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 28837 0 0 0 630 6 0 0 20 0 1 0 31332161 146984960 27852 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 35885 27852 544 696 0 35046 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 147732 KiB
Current children cumulated memory: 114352 KiB

[startup+9.60036 s]
/proc/loadavg: 4.13 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129739704/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=230268 memory=169420 CPUtime=9.55 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 31323 0 0 0 947 8 0 0 20 0 1 0 31332161 235794432 42355 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 57567 42355 544 696 0 56728 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 234460 KiB
Current children cumulated memory: 172364 KiB

[startup+10.4004 s]
/proc/loadavg: 4.13 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129647896/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=156584 memory=128968 CPUtime=10.35 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 32129 0 0 0 1026 9 0 0 20 0 1 0 31332161 160342016 32242 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 39146 32242 544 696 0 38307 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 160776 KiB
Current children cumulated memory: 131912 KiB

[startup+10.8004 s]
/proc/loadavg: 4.13 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129647896/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=157272 memory=125204 CPUtime=10.75 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 32245 0 0 0 1065 10 0 0 20 0 1 0 31332161 161046528 31301 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 39318 31301 544 696 0 38479 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 161464 KiB
Current children cumulated memory: 128148 KiB

[startup+11.2004 s]
/proc/loadavg: 4.13 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129692572/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=157272 memory=131348 CPUtime=11.15 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 32248 0 0 0 1105 10 0 0 20 0 1 0 31332161 161046528 32837 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 39318 32837 544 696 0 38479 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 161464 KiB
Current children cumulated memory: 134292 KiB

[startup+11.3004 s]
/proc/loadavg: 4.13 3.88 4.00 5/256 16525
/proc/meminfo: memFree=129692572/131382116 swapFree=33010684/33010684
[pid=16521] ppid=16518 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/16521/stat : 16521 (naps-1.03a6.sh) S 16518 16521 15714 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 31332160 4292608 736 18446744073709551615 94578521403392 94578522297925 140728759096768 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94578522536976 94578522584720 94578546044928 140728759105959 140728759106053 140728759106053 140728759111655 0
/proc/16521/statm: 1048 736 672 219 0 110 0
[pid=16525] ppid=16521 vsize=157272 memory=131348 CPUtime=11.25 cores=5,7
/proc/16525/stat : 16525 (naps-1.03a6) R 16521 16521 15714 0 -1 4194304 32248 0 0 0 1115 10 0 0 20 0 1 0 31332161 161046528 32837 18446744073709551615 4198400 7047149 140723933219792 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40476672 140723933223284 140723933223398 140723933223398 140723933229001 0
/proc/16525/statm: 39318 32837 544 696 0 38479 0
Current children cumulated CPU time: 11.25 s
Current children cumulated vsize: 161464 KiB
Current children cumulated memory: 134292 KiB

Child status: 10

Real time (s): 11.3439
CPU time (s): 11.3078
CPU user time (s): 11.1932
CPU system time (s): 0.114595
CPU usage (%): 99.6818
Max. virtual memory (cumulated for all children) (KiB): 234460
Max. memory (cumulated for all children) (KiB): 172364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1932
system time used= 0.114595
maximum resident set size= 169420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32697
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= 21


# summary of solver processes directly reported to runsolver:
#   pid: 16521
#   total CPU time (s): 11.3078
#   total CPU user time (s): 11.1932
#   total CPU system time (s): 0.114595

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.092114 second user time and 0.172727 second system time

The end