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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443831-1721317476/watcher-4443831-1721317476 -o /tmp/evaluation-result-4443831-1721317476/solver-4443831-1721317476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964661 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443831-1721317476.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=964992, runsolver pid=964989

[startup+0.10026 s]*
/proc/loadavg: 2.75 2.58 3.07 5/249 964997
/proc/meminfo: memFree=129237416/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=7544 memory=4716 CPUtime=0.1 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 321 0 0 0 10 0 0 0 20 0 1 0 183904722 7725056 1179 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 1886 1179 405 379 0 1420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17476 KiB
Current children cumulated memory: 7372 KiB

[startup+0.213066 s]*
/proc/loadavg: 2.75 2.58 3.07 5/249 964997
/proc/meminfo: memFree=129234196/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=9168 memory=6028 CPUtime=0.21 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 665 0 0 0 21 0 0 0 20 0 1 0 183904722 9388032 1507 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 2292 1507 405 379 0 1826 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19100 KiB
Current children cumulated memory: 8684 KiB

[startup+0.312431 s]*
/proc/loadavg: 2.75 2.58 3.07 5/249 964997
/proc/meminfo: memFree=129228520/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=10344 memory=7092 CPUtime=0.31 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 929 0 0 0 31 0 0 0 20 0 1 0 183904722 10592256 1773 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 2586 1773 405 379 0 2120 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20276 KiB
Current children cumulated memory: 9748 KiB

[startup+0.700343 s]
/proc/loadavg: 2.75 2.58 3.07 5/249 964997
/proc/meminfo: memFree=129219248/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=14392 memory=12692 CPUtime=0.68 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 1922 0 0 0 67 1 0 0 20 0 1 0 183904722 14737408 3173 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 3598 3173 405 379 0 3132 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24324 KiB
Current children cumulated memory: 15348 KiB

[startup+1.50034 s]
/proc/loadavg: 2.93 2.62 3.08 5/249 964997
/proc/meminfo: memFree=129188908/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=26140 memory=22060 CPUtime=1.48 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 4523 0 0 0 147 1 0 0 20 0 1 0 183904722 26767360 5515 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 6535 5515 405 379 0 6069 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36072 KiB
Current children cumulated memory: 24716 KiB

[startup+3.11246 s]
/proc/loadavg: 2.93 2.62 3.08 5/249 964997
/proc/meminfo: memFree=129082040/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=55456 memory=50288 CPUtime=3.09 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 12528 0 0 0 306 3 0 0 20 0 1 0 183904722 56786944 12572 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 13864 12572 421 379 0 13398 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65388 KiB
Current children cumulated memory: 52944 KiB

[startup+6.30039 s]
/proc/loadavg: 3.02 2.64 3.09 5/249 964997
/proc/meminfo: memFree=128844048/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=125528 memory=117392 CPUtime=6.27 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 26635 0 0 0 622 5 0 0 20 0 1 0 183904722 128540672 29348 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 31382 29348 421 379 0 30916 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135460 KiB
Current children cumulated memory: 120048 KiB

[startup+8.26221 s]
# the end of solver process 964992 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=8.15885 s, system=0.083065 s

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

[startup+6.40045 s]
/proc/loadavg: 3.02 2.64 3.09 5/249 964997
/proc/meminfo: memFree=128844048/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=137204 memory=117912 CPUtime=6.37 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 26784 0 0 0 632 5 0 0 20 0 1 0 183904722 140496896 29478 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 34301 29478 421 379 0 33835 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 147136 KiB
Current children cumulated memory: 120568 KiB

[startup+7.20033 s]
/proc/loadavg: 3.02 2.64 3.09 6/246 965011
/proc/meminfo: memFree=128923976/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=168964 memory=152700 CPUtime=7.17 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 31906 0 0 0 710 7 0 0 20 0 1 0 183904722 173019136 38175 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 42241 38175 421 379 0 41775 0
Current children cumulated CPU time: 7.17 s
Current children cumulated vsize: 178896 KiB
Current children cumulated memory: 155356 KiB

[startup+8.00036 s]*
/proc/loadavg: 3.02 2.64 3.09 6/246 965011
/proc/meminfo: memFree=128902180/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=169108 memory=152964 CPUtime=7.98 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 31987 0 0 0 791 7 0 0 20 0 1 0 183904722 173166592 38241 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 42277 38241 421 379 0 41811 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 179040 KiB
Current children cumulated memory: 155620 KiB

[startup+8.20036 s]
/proc/loadavg: 3.02 2.64 3.09 6/246 965011
/proc/meminfo: memFree=128902180/131655788 swapFree=131070704/131071996
[pid=964992] ppid=964989 vsize=9932 memory=2656 CPUtime=0 cores=4,6
/proc/964992/stat : 964992 (naps-1.02b5.sh) S 964989 964992 964650 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 183904722 10170368 664 134679101440 94108397019136 94108398098456 140727130449840 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94108400196912 94108400244100 94108416765952 140727130457055 140727130457182 140727130457182 140727130464198 0
/proc/964992/statm: 2483 664 587 264 0 134 0
[pid=964997] ppid=964992 vsize=159544 memory=144268 CPUtime=8.17 cores=4,6
/proc/964997/stat : 964997 (naps-1.02b5) R 964992 964992 964650 0 -1 4194304 32926 0 0 0 810 7 0 0 20 0 1 0 183904722 163373056 36067 134679101440 4194304 5746509 140734373519696 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 33067008 140734373524462 140734373524576 140734373524576 140734373531593 0
/proc/964997/statm: 39886 36067 421 379 0 39420 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 169476 KiB
Current children cumulated memory: 146924 KiB

Child status: 20

Real time (s): 8.2623
CPU time (s): 8.24192
CPU user time (s): 8.15885
CPU system time (s): 0.083065
CPU usage (%): 99.7533
Max. virtual memory (cumulated for all children) (KiB): 197716
Max. memory (cumulated for all children) (KiB): 173852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.15885
system time used= 0.083065
maximum resident set size= 171196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33556
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= 10
involuntary context switches= 14


# summary of solver processes directly reported to runsolver:
#   pid: 964992
#   total CPU time (s): 8.24192
#   total CPU user time (s): 8.15885
#   total CPU system time (s): 0.083065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072637 second user time and 0.135206 second system time

The end