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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456348-1721719415/watcher-4456348-1721719415 -o /tmp/evaluation-result-4456348-1721719415/solver-4456348-1721719415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721718361-85695 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456348-1721719415.wbo 

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=86820, runsolver pid=86817
Current StackSize limit: 8192 KiB


[startup+0.100803 s]*
/proc/loadavg: 4.15 4.06 3.49 6/264 86825
/proc/meminfo: memFree=72909108/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=13228 memory=10316 CPUtime=0.09 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 1812 0 0 0 9 0 0 0 20 0 1 0 8464496 13545472 2579 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 3355 2579 405 379 0 2889 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23160 KiB
Current children cumulated memory: 12980 KiB

[startup+0.205894 s]*
/proc/loadavg: 4.15 4.06 3.49 7/264 86825
/proc/meminfo: memFree=72866664/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=20332 memory=16672 CPUtime=0.19 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 3477 0 0 0 19 0 0 0 20 0 1 0 8464496 20819968 4168 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 5083 4168 405 379 0 4617 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30264 KiB
Current children cumulated memory: 19336 KiB

[startup+0.305882 s]*
/proc/loadavg: 4.15 4.06 3.49 7/264 86825
/proc/meminfo: memFree=72828952/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=27312 memory=23232 CPUtime=0.29 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 5265 0 0 0 29 0 0 0 20 0 1 0 8464496 27967488 5808 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 6828 5808 405 379 0 6362 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37244 KiB
Current children cumulated memory: 25896 KiB

[startup+0.700277 s]
/proc/loadavg: 4.15 4.06 3.49 6/264 86825
/proc/meminfo: memFree=72719724/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=63984 memory=61824 CPUtime=0.68 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 15976 0 0 0 66 2 0 0 20 0 1 0 8464496 65519616 15456 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 15996 15456 421 379 0 15530 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 64488 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.06 3.49 6/264 86825
/proc/meminfo: memFree=72479612/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=181448 memory=169396 CPUtime=1.48 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 38939 0 0 0 141 7 0 0 20 0 1 0 8464496 185802752 42349 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 45362 42349 421 379 0 44896 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 191380 KiB
Current children cumulated memory: 172060 KiB

[startup+3.10578 s]
/proc/loadavg: 4.22 4.07 3.50 6/264 86825
/proc/meminfo: memFree=71644292/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=365512 memory=334368 CPUtime=3.08 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 53387 0 0 0 296 12 0 0 20 0 1 0 8464496 374284288 83592 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 91378 83592 421 379 0 90912 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 375444 KiB
Current children cumulated memory: 337032 KiB

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

# cumulated CPU time of all completed processes:  user=5.02215 s, system=0.17782 s

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

[startup+3.2003 s]
/proc/loadavg: 4.22 4.07 3.50 6/264 86825
/proc/meminfo: memFree=71644292/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=365512 memory=338464 CPUtime=3.18 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 53390 0 0 0 306 12 0 0 20 0 1 0 8464496 374284288 84616 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 91378 84616 421 379 0 90912 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 375444 KiB
Current children cumulated memory: 341128 KiB

[startup+4.00023 s]*
/proc/loadavg: 4.22 4.07 3.50 5/264 86825
/proc/meminfo: memFree=71532268/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=455688 memory=425564 CPUtime=3.98 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 57493 0 0 0 384 14 0 0 20 0 1 0 8464496 466624512 106391 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 113922 106391 421 379 0 113456 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 465620 KiB
Current children cumulated memory: 428228 KiB

[startup+4.80023 s]
/proc/loadavg: 4.22 4.07 3.50 5/264 86825
/proc/meminfo: memFree=71532268/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=559960 memory=509372 CPUtime=4.77 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 60102 0 0 0 461 16 0 0 20 0 1 0 8464496 573399040 127343 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 139990 127343 421 379 0 139524 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 569892 KiB
Current children cumulated memory: 512036 KiB

[startup+5.20024 s]
/proc/loadavg: 4.22 4.07 3.50 5/264 86825
/proc/meminfo: memFree=71475988/131524600 swapFree=131071996/131071996
[pid=86820] ppid=86817 vsize=9932 memory=2664 CPUtime=0 cores=5,7
/proc/86820/stat : 86820 (naps-1.02b5.sh) S 86817 86820 85682 0 -1 4194304 223 240 0 0 0 0 0 0 20 0 1 0 8464496 10170368 666 134679101440 94478689599488 94478690678808 140732978932272 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478692777264 94478692824452 94478717181952 140732978934751 140732978934878 140732978934878 140732978941894 0
/proc/86820/statm: 2483 666 587 264 0 134 0
[pid=86825] ppid=86820 vsize=510640 memory=478804 CPUtime=5.17 cores=5,7
/proc/86825/stat : 86825 (naps-1.02b5) R 86820 86820 85682 0 -1 4194304 60349 0 0 0 501 16 0 0 20 0 1 0 8464496 522895360 119701 134679101440 4194304 5746509 140732044366368 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 33685504 140732044370926 140732044371040 140732044371040 140732044378057 0
/proc/86825/statm: 127660 119701 421 379 0 127194 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 520572 KiB
Current children cumulated memory: 481468 KiB

Child status: 30

Real time (s): 5.21623
CPU time (s): 5.19997
CPU user time (s): 5.02215
CPU system time (s): 0.17782
CPU usage (%): 99.6884
Max. virtual memory (cumulated for all children) (KiB): 569892
Max. memory (cumulated for all children) (KiB): 512036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.02215
system time used= 0.17782
maximum resident set size= 512404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60827
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= 8


# summary of solver processes directly reported to runsolver:
#   pid: 86820
#   total CPU time (s): 5.19997
#   total CPU user time (s): 5.02215
#   total CPU system time (s): 0.17782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019307 second user time and 0.057048 second system time

The end