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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444009-1721310132/watcher-4444009-1721310132 -o /tmp/evaluation-result-4444009-1721310132/solver-4444009-1721310132 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721306161-953163 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4444009-1721310132.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=956994, runsolver pid=956991
Current StackSize limit: 8192 KiB


[startup+0.100298 s]*
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127215644/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=5424 memory=3768 CPUtime=0.09 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 543 0 0 0 9 0 0 0 20 0 1 0 183179908 5554176 942 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 1356 942 500 659 0 560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15356 KiB
Current children cumulated memory: 6580 KiB

[startup+0.206297 s]*
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127214224/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=6448 memory=4532 CPUtime=0.19 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 767 0 0 0 19 0 0 0 20 0 1 0 183179908 6602752 1133 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 1612 1133 500 659 0 816 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 16380 KiB
Current children cumulated memory: 7344 KiB

[startup+0.304872 s]*
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127211864/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=8496 memory=5768 CPUtime=0.29 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 1077 0 0 0 29 0 0 0 20 0 1 0 183179908 8699904 1442 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 2124 1442 500 659 0 1328 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18428 KiB
Current children cumulated memory: 8580 KiB

[startup+0.700176 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127206892/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=18008 memory=13256 CPUtime=0.68 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 2392 0 0 0 68 0 0 0 20 0 1 0 183179908 18440192 3314 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 4502 3314 532 659 0 3706 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 16068 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127197112/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=18008 memory=14120 CPUtime=1.47 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 3269 0 0 0 147 0 0 0 20 0 1 0 183179908 18440192 3530 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 4502 3530 532 659 0 3706 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27940 KiB
Current children cumulated memory: 16932 KiB

[startup+3.10567 s]
/proc/loadavg: 4.14 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127177484/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=22528 memory=17516 CPUtime=3.07 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 4106 0 0 0 307 0 0 0 20 0 1 0 183179908 23068672 4379 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5632 4379 532 659 0 4836 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 32460 KiB
Current children cumulated memory: 20328 KiB

[startup+6.3002 s]
/proc/loadavg: 4.14 4.11 4.09 5/261 956999
/proc/meminfo: memFree=127166436/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=17448 CPUtime=6.25 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 6839 0 0 0 625 0 0 0 20 0 1 0 183179908 24072192 4362 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4362 532 659 0 5081 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 20260 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 957001
/proc/meminfo: memFree=127156512/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=18420 CPUtime=12.63 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 18003 0 0 0 1261 2 0 0 20 0 1 0 183179908 24072192 4605 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4605 532 659 0 5081 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21232 KiB

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

# cumulated CPU time of all completed processes:  user=16.8617 s, system=0.047989 s

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

[startup+12.8003 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 957001
/proc/meminfo: memFree=127156512/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=18420 CPUtime=12.73 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 18003 0 0 0 1271 2 0 0 20 0 1 0 183179908 24072192 4605 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4605 532 659 0 5081 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21232 KiB

[startup+14.4002 s]
/proc/loadavg: 4.20 4.12 4.10 5/261 957001
/proc/meminfo: memFree=127154204/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=18432 CPUtime=14.33 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 21282 0 0 0 1430 3 0 0 20 0 1 0 183179908 24072192 4608 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4608 532 659 0 5081 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21244 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.20 4.12 4.10 5/261 957001
/proc/meminfo: memFree=127159768/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=19412 memory=15952 CPUtime=15.93 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 25037 0 0 0 1589 4 0 0 20 0 1 0 183179908 19877888 3988 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 4853 3988 532 659 0 4057 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 29344 KiB
Current children cumulated memory: 18764 KiB

[startup+16.4002 s]
/proc/loadavg: 4.20 4.12 4.10 5/261 957001
/proc/meminfo: memFree=127159768/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=18792 CPUtime=16.32 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 25187 0 0 0 1628 4 0 0 20 0 1 0 183179908 24072192 4698 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4698 532 659 0 5081 0
Current children cumulated CPU time: 16.32 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21604 KiB

[startup+16.8002 s]
/proc/loadavg: 4.20 4.12 4.10 5/261 957001
/proc/meminfo: memFree=127159768/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=18792 CPUtime=16.72 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 25195 0 0 0 1668 4 0 0 20 0 1 0 183179908 24072192 4698 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4698 532 659 0 5081 0
Current children cumulated CPU time: 16.72 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21604 KiB

[startup+16.9002 s]
/proc/loadavg: 4.20 4.12 4.10 5/261 957001
/proc/meminfo: memFree=127159768/131524600 swapFree=131071996/131071996
[pid=956994] ppid=956991 vsize=9932 memory=2812 CPUtime=0 cores=0,2
/proc/956994/stat : 956994 (naps-1.03.sh) S 956991 956994 953153 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 183179908 10170368 703 134679101440 94555478429696 94555479509016 140720577394848 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94555481607472 94555481654660 94555510104064 140720577397731 140720577397856 140720577397856 140720577404872 0
/proc/956994/statm: 2483 703 627 264 0 134 0
[pid=956999] ppid=956994 vsize=23508 memory=19052 CPUtime=16.82 cores=0,2
/proc/956999/stat : 956999 (naps-1.03) R 956994 956994 953153 0 -1 4194304 25273 0 0 0 1678 4 0 0 20 0 1 0 183179908 24072192 4763 134679101440 4194304 6891213 140735964530736 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 25251840 140735964533748 140735964533860 140735964533860 140735964540875 0
/proc/956999/statm: 5877 4763 532 659 0 5081 0
Current children cumulated CPU time: 16.82 s
Current children cumulated vsize: 33440 KiB
Current children cumulated memory: 21864 KiB

Child status: 10

Real time (s): 16.9738
CPU time (s): 16.9097
CPU user time (s): 16.8617
CPU system time (s): 0.047989
CPU usage (%): 99.6222
Max. virtual memory (cumulated for all children) (KiB): 33440
Max. memory (cumulated for all children) (KiB): 21864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8617
system time used= 0.047989
maximum resident set size= 19184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25758
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= 126


# summary of solver processes directly reported to runsolver:
#   pid: 956994
#   total CPU time (s): 16.9097
#   total CPU user time (s): 16.8617
#   total CPU system time (s): 0.047989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047644 second user time and 0.09806 second system time

The end