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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456528-1721722000/watcher-4456528-1721722000 -o /tmp/evaluation-result-4456528-1721722000/solver-4456528-1721722000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721718386-88104 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456528-1721722000.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
Current StackSize limit: 8192 KiB

solver pid=90231, runsolver pid=90228

[startup+0.100092 s]*
/proc/loadavg: 5.32 4.47 4.22 6/259 90236
/proc/meminfo: memFree=107336472/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=10940 memory=10012 CPUtime=0.09 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 2314 0 0 0 9 0 0 0 20 0 1 0 8724166 11202560 2503 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 2735 2503 421 379 0 2269 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20872 KiB
Current children cumulated memory: 12688 KiB

[startup+0.205753 s]*
/proc/loadavg: 5.32 4.47 4.22 5/259 90236
/proc/meminfo: memFree=107317864/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=30332 memory=26596 CPUtime=0.19 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 6471 0 0 0 19 0 0 0 20 0 1 0 8724166 31059968 6649 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 7583 6649 421 379 0 7117 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 29272 KiB

[startup+0.305679 s]*
/proc/loadavg: 5.32 4.47 4.22 5/259 90236
/proc/meminfo: memFree=107313212/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=30332 memory=27644 CPUtime=0.3 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 6731 0 0 0 29 1 0 0 20 0 1 0 8724166 31059968 6911 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 7583 6911 421 379 0 7117 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 30320 KiB

[startup+0.700259 s]
/proc/loadavg: 5.32 4.47 4.22 5/259 90236
/proc/meminfo: memFree=107302764/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=50748 memory=46868 CPUtime=0.68 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 11025 0 0 0 67 1 0 0 20 0 1 0 8724166 51965952 11717 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 12687 11717 421 379 0 12221 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60680 KiB
Current children cumulated memory: 49544 KiB

[startup+1.50026 s]
/proc/loadavg: 5.21 4.46 4.22 5/259 90238
/proc/meminfo: memFree=107286724/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=77236 memory=70884 CPUtime=1.48 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 15008 0 0 0 146 2 0 0 20 0 1 0 8724166 79089664 17721 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 19309 17721 421 379 0 18843 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 73560 KiB

[startup+3.10591 s]
/proc/loadavg: 5.21 4.46 4.22 5/259 90238
/proc/meminfo: memFree=107215864/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=110804 memory=102268 CPUtime=3.08 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 19456 0 0 0 305 3 0 0 20 0 1 0 8724166 113463296 25567 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 27701 25567 421 379 0 27235 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 120736 KiB
Current children cumulated memory: 104944 KiB

[startup+6.30025 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107197156/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=113624 memory=108136 CPUtime=6.26 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 20449 0 0 0 623 3 0 0 20 0 1 0 8724166 116350976 27034 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 28406 27034 421 379 0 27940 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 110812 KiB

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

# cumulated CPU time of all completed processes:  user=11.0419 s, system=0.051888 s

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

[startup+6.40028 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107197156/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=113624 memory=108136 CPUtime=6.36 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 20449 0 0 0 633 3 0 0 20 0 1 0 8724166 116350976 27034 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 28406 27034 421 379 0 27940 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 110812 KiB

[startup+9.60023 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107174828/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=131532 memory=122112 CPUtime=9.55 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 22382 0 0 0 951 4 0 0 20 0 1 0 8724166 134688768 30528 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 32883 30528 421 379 0 32417 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 124788 KiB

[startup+10.4002 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107174212/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=131532 memory=122580 CPUtime=10.35 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 22519 0 0 0 1031 4 0 0 20 0 1 0 8724166 134688768 30645 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 32883 30645 421 379 0 32417 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 125256 KiB

[startup+10.8002 s]
/proc/loadavg: 5.12 4.45 4.21 5/259 90238
/proc/meminfo: memFree=107174212/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=131532 memory=122580 CPUtime=10.75 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 22520 0 0 0 1071 4 0 0 20 0 1 0 8724166 134688768 30645 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 32883 30645 421 379 0 32417 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 125256 KiB

[startup+11.0002 s]*
/proc/loadavg: 5.03 4.44 4.21 5/259 90240
/proc/meminfo: memFree=107172836/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=131532 memory=122580 CPUtime=10.95 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 22520 0 0 0 1091 4 0 0 20 0 1 0 8724166 134688768 30645 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 32883 30645 421 379 0 32417 0
Current children cumulated CPU time: 10.95 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 125256 KiB

[startup+11.1056 s]
/proc/loadavg: 5.03 4.44 4.21 5/259 90240
/proc/meminfo: memFree=107172836/131524600 swapFree=131071996/131071996
[pid=90231] ppid=90228 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/90231/stat : 90231 (naps-1.02b5.sh) S 90228 90231 88094 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 8724166 10170368 669 134679101440 94425997025280 94425998104600 140733359558928 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94426000203056 94426000250244 94426033254400 140733359563743 140733359563870 140733359563870 140733359570886 0
/proc/90231/statm: 2483 669 591 264 0 134 0
[pid=90236] ppid=90231 vsize=133204 memory=123896 CPUtime=11.05 cores=0,2
/proc/90236/stat : 90236 (naps-1.02b5) R 90231 90231 88094 0 -1 4194304 22891 0 0 0 1101 4 0 0 20 0 1 0 8724166 136400896 30974 134679101440 4194304 5746509 140722118243440 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 32051200 140722118247406 140722118247520 140722118247520 140722118254537 0
/proc/90236/statm: 33301 30974 421 379 0 32835 0
Current children cumulated CPU time: 11.05 s
Current children cumulated vsize: 143136 KiB
Current children cumulated memory: 126572 KiB

Child status: 30

Real time (s): 11.1318
CPU time (s): 11.0938
CPU user time (s): 11.0419
CPU system time (s): 0.051888
CPU usage (%): 99.6585
Max. virtual memory (cumulated for all children) (KiB): 143136
Max. memory (cumulated for all children) (KiB): 126572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0419
system time used= 0.051888
maximum resident set size= 123896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23371
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= 79


# summary of solver processes directly reported to runsolver:
#   pid: 90231
#   total CPU time (s): 11.0938
#   total CPU user time (s): 11.0419
#   total CPU system time (s): 0.051888

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029896 second user time and 0.085442 second system time

The end