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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443919-1721310122/watcher-4443919-1721310122 -o /tmp/evaluation-result-4443919-1721310122/solver-4443919-1721310122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721306161-953164 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4443919-1721310122.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
solver pid=956842, runsolver pid=956839
Current StackSize limit: 8192 KiB


[startup+0.100739 s]*
/proc/loadavg: 4.09 4.10 4.09 5/261 956847
/proc/meminfo: memFree=126751432/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=4980 memory=3224 CPUtime=0.09 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 471 0 0 0 9 0 0 0 20 0 1 0 183178902 5099520 806 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 1245 806 500 659 0 449 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14912 KiB
Current children cumulated memory: 6016 KiB

[startup+0.205832 s]*
/proc/loadavg: 4.09 4.10 4.09 5/261 956847
/proc/meminfo: memFree=126744712/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=7028 memory=4416 CPUtime=0.2 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 731 0 0 0 20 0 0 0 20 0 1 0 183178902 7196672 1104 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 1757 1104 500 659 0 961 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16960 KiB
Current children cumulated memory: 7208 KiB

[startup+0.305908 s]*
/proc/loadavg: 4.09 4.10 4.09 5/261 956847
/proc/meminfo: memFree=126735976/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=8052 memory=5468 CPUtime=0.3 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 1005 0 0 0 30 0 0 0 20 0 1 0 183178902 8245248 1367 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 2013 1367 500 659 0 1217 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17984 KiB
Current children cumulated memory: 8260 KiB

[startup+0.700176 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 956861
/proc/meminfo: memFree=127041992/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=12148 memory=9216 CPUtime=0.69 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 1969 0 0 0 69 0 0 0 20 0 1 0 183178902 12439552 2304 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 3037 2304 500 659 0 2241 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22080 KiB
Current children cumulated memory: 12008 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 956861
/proc/meminfo: memFree=127031504/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=20500 memory=17732 CPUtime=1.48 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 3037 0 0 0 148 0 0 0 20 0 1 0 183178902 20992000 4433 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 5125 4433 500 659 0 4329 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30432 KiB
Current children cumulated memory: 20524 KiB

[startup+3.10572 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 956861
/proc/meminfo: memFree=127004912/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=55228 memory=42748 CPUtime=3.08 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 9865 0 0 0 307 1 0 0 20 0 1 0 183178902 56553472 10687 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 13807 10687 532 659 0 13011 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65160 KiB
Current children cumulated memory: 45540 KiB

[startup+4.34798 s]
# the end of solver process 956842 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=4.29866 s, system=0.038308 s

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

[startup+3.2002 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 956861
/proc/meminfo: memFree=127004912/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=55492 memory=43276 CPUtime=3.17 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 9960 0 0 0 316 1 0 0 20 0 1 0 183178902 56823808 10819 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 13873 10819 532 659 0 13077 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 46068 KiB

[startup+4.00017 s]*
/proc/loadavg: 4.08 4.10 4.09 6/255 956875
/proc/meminfo: memFree=127054092/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=110416 memory=90656 CPUtime=3.98 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 18401 0 0 0 396 2 0 0 20 0 1 0 183178902 113065984 22664 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 27604 22664 532 659 0 26808 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 93448 KiB

[startup+4.20023 s]
/proc/loadavg: 4.08 4.10 4.09 6/255 956875
/proc/meminfo: memFree=127054092/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=110416 memory=92704 CPUtime=4.17 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 18433 0 0 0 415 2 0 0 20 0 1 0 183178902 113065984 23176 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 27604 23176 532 659 0 26808 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 95496 KiB

[startup+4.30023 s]
/proc/loadavg: 4.08 4.10 4.09 6/255 956875
/proc/meminfo: memFree=127054092/131524600 swapFree=131071996/131071996
[pid=956842] ppid=956839 vsize=9932 memory=2792 CPUtime=0 cores=4,6
/proc/956842/stat : 956842 (naps-1.03.sh) S 956839 956842 953153 0 -1 4194304 227 245 0 0 0 0 0 0 20 0 1 0 183178901 10170368 698 134679101440 94037112696832 94037113776152 140728817947536 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94037115874608 94037115921796 94037117902848 140728817955811 140728817955936 140728817955936 140728817962952 0
/proc/956842/statm: 2483 698 621 264 0 134 0
[pid=956847] ppid=956842 vsize=115300 memory=99716 CPUtime=4.28 cores=4,6
/proc/956847/stat : 956847 (naps-1.03) R 956842 956842 953153 0 -1 4194304 19546 0 0 0 425 3 0 0 20 0 1 0 183178902 118067200 24929 134679101440 4194304 6891213 140737013622432 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 24412160 140737013625844 140737013625956 140737013625956 140737013632971 0
/proc/956847/statm: 28825 24929 532 659 0 28029 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 125232 KiB
Current children cumulated memory: 102508 KiB

Child status: 10

Real time (s): 4.34801
CPU time (s): 4.33697
CPU user time (s): 4.29866
CPU system time (s): 0.038308
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 125232
Max. memory (cumulated for all children) (KiB): 102508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.29866
system time used= 0.038308
maximum resident set size= 105312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20046
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= 9


# summary of solver processes directly reported to runsolver:
#   pid: 956842
#   total CPU time (s): 4.33697
#   total CPU user time (s): 4.29866
#   total CPU system time (s): 0.038308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017145 second user time and 0.046055 second system time

The end