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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=964787, runsolver pid=964784

[startup+0.100094 s]*
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129123936/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=8424 memory=3620 CPUtime=0.1 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 594 0 0 0 10 0 0 0 20 0 1 0 183902854 8626176 905 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 2106 905 405 379 0 1640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18356 KiB
Current children cumulated memory: 6288 KiB

[startup+0.213042 s]*
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129121980/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=9952 memory=5492 CPUtime=0.21 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 1034 0 0 0 21 0 0 0 20 0 1 0 183902854 10190848 1373 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 2488 1373 405 379 0 2022 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19884 KiB
Current children cumulated memory: 8160 KiB

[startup+0.312912 s]*
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129120148/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=10680 memory=6960 CPUtime=0.31 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 1457 0 0 0 31 0 0 0 20 0 1 0 183902854 10936320 1740 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 2670 1740 405 379 0 2204 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20612 KiB
Current children cumulated memory: 9628 KiB

[startup+0.700361 s]
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129115392/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=14960 memory=13296 CPUtime=0.68 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 2684 0 0 0 68 0 0 0 20 0 1 0 183902854 15319040 3324 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 3740 3324 405 379 0 3274 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24892 KiB
Current children cumulated memory: 15964 KiB

[startup+1.50036 s]
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129108972/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=27064 memory=24472 CPUtime=1.48 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 5811 0 0 0 146 2 0 0 20 0 1 0 183902854 27713536 6118 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 6766 6118 405 379 0 6300 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36996 KiB
Current children cumulated memory: 27140 KiB

[startup+3.11338 s]
/proc/loadavg: 2.40 2.50 3.06 5/249 964792
/proc/meminfo: memFree=129072612/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=55548 memory=51480 CPUtime=3.09 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 12834 0 0 0 306 3 0 0 20 0 1 0 183902854 56881152 12870 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 13887 12870 421 379 0 13421 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65480 KiB
Current children cumulated memory: 54148 KiB

[startup+6.30039 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964792
/proc/meminfo: memFree=128995204/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=148308 memory=128396 CPUtime=6.27 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 28575 0 0 0 620 7 0 0 20 0 1 0 183902854 151867392 32099 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 37077 32099 421 379 0 36611 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 158240 KiB
Current children cumulated memory: 131064 KiB

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

# cumulated CPU time of all completed processes:  user=9.17583 s, system=0.103664 s

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

[startup+6.40042 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964792
/proc/meminfo: memFree=128995204/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=148308 memory=128396 CPUtime=6.37 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 28575 0 0 0 630 7 0 0 20 0 1 0 183902854 151867392 32099 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 37077 32099 421 379 0 36611 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 158240 KiB
Current children cumulated memory: 131064 KiB

[startup+8.00035 s]*
/proc/loadavg: 2.52 2.53 3.06 5/249 964794
/proc/meminfo: memFree=128951192/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=184272 memory=170652 CPUtime=7.97 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 35053 0 0 0 789 8 0 0 20 0 1 0 183902854 188694528 42663 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 46068 42663 421 379 0 45602 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 194204 KiB
Current children cumulated memory: 173320 KiB

[startup+8.80035 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964794
/proc/meminfo: memFree=128951192/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=184680 memory=171708 CPUtime=8.76 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 35290 0 0 0 868 8 0 0 20 0 1 0 183902854 189112320 42927 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 46170 42927 421 379 0 45704 0
Current children cumulated CPU time: 8.76 s
Current children cumulated vsize: 194612 KiB
Current children cumulated memory: 174376 KiB

[startup+9.20038 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964794
/proc/meminfo: memFree=128943328/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
[pid=964792] ppid=964787 vsize=203504 memory=189412 CPUtime=9.16 cores=0,2
/proc/964792/stat : 964792 (naps-1.02b5) R 964787 964787 964650 0 -1 4194304 35624 0 0 0 907 9 0 0 20 0 1 0 183902854 208388096 47353 134679101440 4194304 5746509 140730418412336 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14917632 140730418418670 140730418418784 140730418418784 140730418425801 0
/proc/964792/statm: 50876 47353 421 379 0 50410 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 213436 KiB
Current children cumulated memory: 192080 KiB

[startup+9.30036 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964794
/proc/meminfo: memFree=128943328/131655788 swapFree=131070704/131071996
[pid=964787] ppid=964784 vsize=9932 memory=2668 CPUtime=0 cores=0,2
/proc/964787/stat : 964787 (naps-1.02b5.sh) S 964784 964787 964650 0 -1 4194304 223 243 0 0 0 0 0 0 20 0 1 0 183902854 10170368 667 134679101440 94339658199040 94339659278360 140720403095584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94339661376816 94339661424004 94339690151936 140720403104735 140720403104862 140720403104862 140720403111878 0
/proc/964787/statm: 2483 667 587 264 0 134 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2668 KiB

Child status: 20

Real time (s): 9.30466
CPU time (s): 9.2795
CPU user time (s): 9.17583
CPU system time (s): 0.103664
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 213436
Max. memory (cumulated for all children) (KiB): 192080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.17583
system time used= 0.103664
maximum resident set size= 189412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36527
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= 66


# summary of solver processes directly reported to runsolver:
#   pid: 964787
#   total CPU time (s): 9.2795
#   total CPU user time (s): 9.17583
#   total CPU system time (s): 0.103664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068253 second user time and 0.157353 second system time

The end