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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434369-1721112191/watcher-4434369-1721112191 -o /tmp/evaluation-result-4434369-1721112191/solver-4434369-1721112191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721106203-856269 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434369-1721112191.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=860545, runsolver pid=860542

[startup+0.100098 s]*
/proc/loadavg: 4.04 4.10 4.09 5/261 860551
/proc/meminfo: memFree=116066440/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=9840 memory=8592 CPUtime=0.09 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 1856 0 0 0 9 0 0 0 20 0 1 0 163386488 10076160 2148 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 2460 2148 596 659 0 1664 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19772 KiB
Current children cumulated memory: 11292 KiB

[startup+0.206002 s]*
/proc/loadavg: 4.04 4.10 4.09 5/261 860551
/proc/meminfo: memFree=116055548/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=19960 memory=18244 CPUtime=0.2 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 4523 0 0 0 19 1 0 0 20 0 1 0 163386488 20439040 4561 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 4990 4561 644 659 0 4194 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29892 KiB
Current children cumulated memory: 20944 KiB

[startup+0.305974 s]*
/proc/loadavg: 4.04 4.10 4.09 5/261 860551
/proc/meminfo: memFree=116055400/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=19960 memory=18244 CPUtime=0.3 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 4532 0 0 0 29 1 0 0 20 0 1 0 163386488 20439040 4561 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 4990 4561 644 659 0 4194 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29892 KiB
Current children cumulated memory: 20944 KiB

[startup+0.700284 s]
/proc/loadavg: 4.04 4.10 4.09 5/261 860551
/proc/meminfo: memFree=116055268/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=20092 memory=18508 CPUtime=0.69 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 4562 0 0 0 68 1 0 0 20 0 1 0 163386488 20574208 4627 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 5023 4627 644 659 0 4227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30024 KiB
Current children cumulated memory: 21208 KiB

[startup+1.50029 s]
/proc/loadavg: 4.04 4.10 4.09 5/261 860551
/proc/meminfo: memFree=116055176/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=20224 memory=18508 CPUtime=1.49 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 4583 0 0 0 148 1 0 0 20 0 1 0 163386488 20709376 4627 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 5056 4627 644 659 0 4260 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30156 KiB
Current children cumulated memory: 21208 KiB

[startup+3.10583 s]
/proc/loadavg: 4.04 4.09 4.09 6/261 860551
/proc/meminfo: memFree=116055072/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=20224 memory=18508 CPUtime=3.09 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 4605 0 0 0 308 1 0 0 20 0 1 0 163386488 20709376 4627 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 5056 4627 644 659 0 4260 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30156 KiB
Current children cumulated memory: 21208 KiB

[startup+6.30027 s]
/proc/loadavg: 4.04 4.09 4.09 5/261 860551
/proc/meminfo: memFree=114925028/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=1277032 memory=1206140 CPUtime=6.27 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 107821 0 0 0 589 38 0 0 20 0 1 0 163386488 1307680768 301535 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 319258 301535 644 659 0 318462 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1286964 KiB
Current children cumulated memory: 1208840 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.10 5/261 860553
/proc/meminfo: memFree=114396736/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=1716640 memory=1679036 CPUtime=12.66 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 176845 0 0 0 1212 54 0 0 20 0 1 0 163386488 1757839360 419759 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 429160 419759 644 659 0 428364 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1726572 KiB
Current children cumulated memory: 1681736 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 860554
/proc/meminfo: memFree=113305356/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=2913500 memory=2762812 CPUtime=25.42 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 198612 0 0 0 2452 90 0 0 20 0 1 0 163386488 2983424000 690703 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 728375 690703 644 659 0 727579 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2923432 KiB
Current children cumulated memory: 2765512 KiB

[startup+51.1059 s]
/proc/loadavg: 4.06 4.09 4.09 5/261 860560
/proc/meminfo: memFree=113010840/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=3186392 memory=3055780 CPUtime=50.96 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 242700 0 0 0 4942 154 0 0 20 0 1 0 163386488 3262865408 763945 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 796598 763945 644 659 0 795802 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3196324 KiB
Current children cumulated memory: 3058480 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 860568
/proc/meminfo: memFree=113094420/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=2870344 memory=2766312 CPUtime=102.02 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 272444 0 0 0 9929 273 0 0 20 0 1 0 163386488 2939232256 691578 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 717586 691578 660 659 0 716790 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2880276 KiB
Current children cumulated memory: 2769012 KiB

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

# cumulated CPU time of all completed processes:  user=100.012 s, system=2.77153 s

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

[startup+102.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 860568
/proc/meminfo: memFree=113094420/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=2829120 memory=2725088 CPUtime=102.12 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 272444 0 0 0 9939 273 0 0 20 0 1 0 163386488 2897018880 681272 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 707280 681272 660 659 0 706484 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 2839052 KiB
Current children cumulated memory: 2727788 KiB

[startup+102.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 860568
/proc/meminfo: memFree=113094420/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=2829120 memory=2725088 CPUtime=102.51 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 272444 0 0 0 9978 273 0 0 20 0 1 0 163386488 2897018880 681272 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 707280 681272 660 659 0 706484 0
Current children cumulated CPU time: 102.51 s
Current children cumulated vsize: 2839052 KiB
Current children cumulated memory: 2727788 KiB

[startup+103 s]*
/proc/loadavg: 4.13 4.11 4.09 5/261 860568
/proc/meminfo: memFree=113341956/131524600 swapFree=131071996/131071996
[pid=860545] ppid=860542 vsize=9932 memory=2700 CPUtime=0 cores=1,3
/proc/860545/stat : 860545 (naps-1.03.sh) S 860542 860545 856257 0 -1 4194304 219 242 0 0 0 0 0 0 20 0 1 0 163386488 10170368 675 134679101440 94307570593792 94307571673112 140731665850528 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94307573771568 94307573818756 94307591434240 140731665855460 140731665855585 140731665855585 140731665862600 0
/proc/860545/statm: 2483 675 596 264 0 134 0
[pid=860550] ppid=860545 vsize=2829120 memory=2725088 CPUtime=102.72 cores=1,3
/proc/860550/stat : 860550 (naps-1.03) R 860545 860545 856257 0 -1 4194304 272444 0 0 0 9999 273 0 0 20 0 1 0 163386488 2897018880 681272 134679101440 4194304 6891213 140724619191008 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16101376 140724619195381 140724619195493 140724619195493 140724619202507 0
/proc/860550/statm: 707280 681272 660 659 0 706484 0
Current children cumulated CPU time: 102.72 s
Current children cumulated vsize: 2839052 KiB
Current children cumulated memory: 2727788 KiB

Child status: 30

Real time (s): 103.058
CPU time (s): 102.784
CPU user time (s): 100.012
CPU system time (s): 2.77153
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 3890280
Max. memory (cumulated for all children) (KiB): 3584824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.012
system time used= 2.77153
maximum resident set size= 3582124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272921
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= 130


# summary of solver processes directly reported to runsolver:
#   pid: 860545
#   total CPU time (s): 102.784
#   total CPU user time (s): 100.012
#   total CPU system time (s): 2.77153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.174277 second user time and 0.614731 second system time

The end