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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435189-1721118945/watcher-4435189-1721118945 -o /tmp/evaluation-result-4435189-1721118945/solver-4435189-1721118945 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721118953-888834 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435189-1721118945.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=889059, runsolver pid=889056

[startup+0.100082 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128321720/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=8744 memory=3940 CPUtime=0.1 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 645 0 0 0 10 0 0 0 20 0 1 0 164062622 8953856 985 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 2186 985 405 379 0 1720 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18676 KiB
Current children cumulated memory: 6568 KiB

[startup+0.2055 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128319536/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=9720 memory=5468 CPUtime=0.2 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 1063 0 0 0 20 0 0 0 20 0 1 0 164062622 9953280 1367 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 2430 1367 405 379 0 1964 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19652 KiB
Current children cumulated memory: 8096 KiB

[startup+0.305029 s]*
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128317380/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=10952 memory=7144 CPUtime=0.3 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 1499 0 0 0 30 0 0 0 20 0 1 0 164062622 11214848 1786 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 2738 1786 405 379 0 2272 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20884 KiB
Current children cumulated memory: 9772 KiB

[startup+0.700216 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128310352/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=18568 memory=15460 CPUtime=0.69 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 3601 0 0 0 69 0 0 0 20 0 1 0 164062622 19013632 3865 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 4642 3865 421 379 0 4176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28500 KiB
Current children cumulated memory: 18088 KiB

[startup+1.5002 s]
/proc/loadavg: 1.36 1.56 1.96 5/260 889064
/proc/meminfo: memFree=128305288/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=21956 memory=19892 CPUtime=1.48 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5051 0 0 0 148 0 0 0 20 0 1 0 164062622 22482944 4973 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 5489 4973 421 379 0 5023 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31888 KiB
Current children cumulated memory: 22520 KiB

[startup+3.10473 s]
/proc/loadavg: 1.57 1.60 1.97 5/260 889164
/proc/meminfo: memFree=128325824/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=26308 memory=25156 CPUtime=3.09 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5551 0 0 0 308 1 0 0 20 0 1 0 164062622 26939392 6289 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 6577 6289 421 379 0 6111 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 27784 KiB

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

# cumulated CPU time of all completed processes:  user=5.57286 s, system=0.015422 s

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

[startup+3.20023 s]
/proc/loadavg: 1.57 1.60 1.97 5/260 889164
/proc/meminfo: memFree=128325824/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=26308 memory=25156 CPUtime=3.18 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5551 0 0 0 317 1 0 0 20 0 1 0 164062622 26939392 6289 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 6577 6289 421 379 0 6111 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 27784 KiB

[startup+4.80022 s]
/proc/loadavg: 1.57 1.60 1.97 5/260 889214
/proc/meminfo: memFree=128325112/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=26308 memory=25156 CPUtime=4.78 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5557 0 0 0 477 1 0 0 20 0 1 0 164062622 26939392 6289 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 6577 6289 421 379 0 6111 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 36240 KiB
Current children cumulated memory: 27784 KiB

[startup+5.20021 s]
/proc/loadavg: 1.57 1.60 1.97 4/253 889242
/proc/meminfo: memFree=128352312/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=29028 memory=27204 CPUtime=5.17 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5564 0 0 0 516 1 0 0 20 0 1 0 164062622 29724672 6801 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 7257 6801 421 379 0 6791 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 38960 KiB
Current children cumulated memory: 29832 KiB

[startup+5.60019 s]
/proc/loadavg: 1.57 1.60 1.97 4/253 889242
/proc/meminfo: memFree=128352312/131524600 swapFree=131071996/131071996
[pid=889059] ppid=889056 vsize=9932 memory=2628 CPUtime=0 cores=4,6
/proc/889059/stat : 889059 (naps-1.02b5.sh) S 889056 889059 888823 0 -1 4194304 220 238 0 0 0 0 0 0 20 0 1 0 164062622 10170368 657 134679101440 94389891620864 94389892700184 140736483422016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94389894798640 94389894845828 94389897588736 140736483423200 140736483423327 140736483423327 140736483430342 0
/proc/889059/statm: 2483 657 578 264 0 134 0
[pid=889064] ppid=889059 vsize=29028 memory=27204 CPUtime=5.57 cores=4,6
/proc/889064/stat : 889064 (naps-1.02b5) R 889059 889059 888823 0 -1 4194304 5567 0 0 0 556 1 0 0 20 0 1 0 164062622 29724672 6801 134679101440 4194304 5746509 140728966861072 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 14753792 140728966869999 140728966870113 140728966870113 140728966877129 0
/proc/889064/statm: 7257 6801 421 379 0 6791 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 38960 KiB
Current children cumulated memory: 29832 KiB

Child status: 30

Real time (s): 5.60337
CPU time (s): 5.58829
CPU user time (s): 5.57286
CPU system time (s): 0.015422
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 38964
Max. memory (cumulated for all children) (KiB): 29832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.57286
system time used= 0.015422
maximum resident set size= 27296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6040
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= 10


# summary of solver processes directly reported to runsolver:
#   pid: 889059
#   total CPU time (s): 5.58829
#   total CPU user time (s): 5.57286
#   total CPU system time (s): 0.015422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029526 second user time and 0.038835 second system time

The end