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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426279-1720901838/watcher-4426279-1720901838 -o /tmp/evaluation-result-4426279-1720901838/solver-4426279-1720901838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720901807-724699 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426279-1720901838.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100959 s]*
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123961008/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=15508 memory=9184 CPUtime=0.09 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 1986 0 0 0 9 0 0 0 20 0 1 0 142349959 15880192 2296 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 3877 2296 436 659 0 3081 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25440 KiB
Current children cumulated memory: 11848 KiB

[startup+0.205958 s]*
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123953924/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=22108 memory=16220 CPUtime=0.19 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 3852 0 0 0 19 0 0 0 20 0 1 0 142349959 22638592 4055 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 5527 4055 436 659 0 4731 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32040 KiB
Current children cumulated memory: 18884 KiB

[startup+0.305382 s]*
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123945720/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=34080 memory=27072 CPUtime=0.29 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 6728 0 0 0 29 0 0 0 20 0 1 0 142349959 34897920 6768 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 8520 6768 436 659 0 7724 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 29736 KiB

[startup+0.700242 s]
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123929364/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=99956 memory=94692 CPUtime=0.67 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 16974 0 0 0 65 2 0 0 20 0 1 0 142349959 102354944 23673 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 24989 23673 468 659 0 24193 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 109888 KiB
Current children cumulated memory: 97356 KiB

[startup+1.50024 s]
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123801916/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=276988 memory=251536 CPUtime=1.47 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 36231 0 0 0 139 8 0 0 20 0 1 0 142349959 283635712 62884 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 69247 62884 468 659 0 68451 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 286920 KiB
Current children cumulated memory: 254200 KiB

[startup+3.1055 s]
/proc/loadavg: 2.20 0.65 0.31 5/259 724987
/proc/meminfo: memFree=123031080/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=1019324 memory=951464 CPUtime=3.07 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 108820 0 0 0 283 24 0 0 20 0 1 0 142349959 1043787776 237866 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 254831 237866 468 659 0 254035 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1029256 KiB
Current children cumulated memory: 954128 KiB

[startup+6.30022 s]
/proc/loadavg: 2.35 0.70 0.33 5/259 724987
/proc/meminfo: memFree=122218748/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=1975316 memory=1759008 CPUtime=6.26 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 168337 0 0 0 582 44 0 0 20 0 1 0 142349959 2022723584 439752 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 493829 439752 468 659 0 493033 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1985248 KiB
Current children cumulated memory: 1761672 KiB

[startup+12.7002 s]
/proc/loadavg: 2.48 0.76 0.35 5/259 724989
/proc/meminfo: memFree=120694112/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2326832 memory=2022440 CPUtime=12.64 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 192529 0 0 0 1206 58 0 0 20 0 1 0 142349959 2382675968 505610 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 581708 505610 468 659 0 580912 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2336764 KiB
Current children cumulated memory: 2025104 KiB

[startup+25.5002 s]
/proc/loadavg: 2.71 0.87 0.39 5/259 724990
/proc/meminfo: memFree=120712632/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2277980 memory=2050500 CPUtime=25.39 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 204908 0 0 0 2473 66 0 0 20 0 1 0 142349959 2332651520 512625 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 569495 512625 468 659 0 568699 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2287912 KiB
Current children cumulated memory: 2053164 KiB

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

# cumulated CPU time of all completed processes:  user=28.2685 s, system=0.727599 s

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

[startup+25.6003 s]
/proc/loadavg: 2.71 0.87 0.39 5/259 724990
/proc/meminfo: memFree=120712632/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2277980 memory=2050500 CPUtime=25.49 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 204908 0 0 0 2483 66 0 0 20 0 1 0 142349959 2332651520 512625 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 569495 512625 468 659 0 568699 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2287912 KiB
Current children cumulated memory: 2053164 KiB

[startup+27.2002 s]
/proc/loadavg: 2.90 0.94 0.41 5/259 724992
/proc/meminfo: memFree=120859384/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2247160 memory=2019948 CPUtime=27.09 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 205417 0 0 0 2642 67 0 0 20 0 1 0 142349959 2301091840 504987 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 561790 504987 468 659 0 560994 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 2257092 KiB
Current children cumulated memory: 2022612 KiB

[startup+28.0002 s]*
/proc/loadavg: 2.90 0.94 0.41 5/259 724992
/proc/meminfo: memFree=120857904/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2227656 memory=2015344 CPUtime=27.89 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 206807 0 0 0 2721 68 0 0 20 0 1 0 142349959 2281119744 503836 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 556914 503836 468 659 0 556118 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 2237588 KiB
Current children cumulated memory: 2018008 KiB

[startup+28.8002 s]
/proc/loadavg: 2.90 0.94 0.41 5/259 724992
/proc/meminfo: memFree=120857904/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2228904 memory=2033016 CPUtime=28.68 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 207678 0 0 0 2800 68 0 0 20 0 1 0 142349959 2282397696 508254 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 557226 508254 468 659 0 556430 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 2238836 KiB
Current children cumulated memory: 2035680 KiB

[startup+29.0002 s]*
/proc/loadavg: 2.90 0.94 0.41 5/259 724992
/proc/meminfo: memFree=120833868/131524600 swapFree=131071996/131071996
[pid=724982] ppid=724979 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/724982/stat : 724982 (naps-1.03.sh) S 724979 724982 724689 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 142349959 10170368 666 134679101440 94494952509440 94494953588760 140720485466448 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94494955687216 94494955734404 94494965899264 140720485471148 140720485471277 140720485471277 140720485478344 0
/proc/724982/statm: 2483 666 586 264 0 134 0
[pid=724987] ppid=724982 vsize=2228904 memory=2033016 CPUtime=28.88 cores=0,2
/proc/724987/stat : 724987 (naps-1.03) R 724982 724982 724689 0 -1 4194304 207710 0 0 0 2820 68 0 0 20 0 1 0 142349959 2282397696 508254 134679101440 4194304 6891213 140726985961136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 33927168 140726985962429 140726985962545 140726985962545 140726985969611 0
/proc/724987/statm: 557226 508254 468 659 0 556430 0
Current children cumulated CPU time: 28.88 s
Current children cumulated vsize: 2238836 KiB
Current children cumulated memory: 2035680 KiB

Child status: 30

Real time (s): 29.1031
CPU time (s): 28.9961
CPU user time (s): 28.2685
CPU system time (s): 0.727599
CPU usage (%): 99.632
Max. virtual memory (cumulated for all children) (KiB): 2612916
Max. memory (cumulated for all children) (KiB): 2288904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2685
system time used= 0.727599
maximum resident set size= 2286240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208187
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= 209


# summary of solver processes directly reported to runsolver:
#   pid: 724982
#   total CPU time (s): 28.9961
#   total CPU user time (s): 28.2685
#   total CPU system time (s): 0.727599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075394 second user time and 0.162372 second system time

The end