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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443799-1721310082/watcher-4443799-1721310082 -o /tmp/evaluation-result-4443799-1721310082/solver-4443799-1721310082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721306161-953163 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4443799-1721310082.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=956636, runsolver pid=956633

[startup+0.100081 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126931980/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=5484 memory=3472 CPUtime=0.1 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 446 0 0 0 10 0 0 0 20 0 1 0 183174905 5615616 868 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 1371 868 500 659 0 575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15416 KiB
Current children cumulated memory: 6128 KiB

[startup+0.205456 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126921976/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=8044 memory=4420 CPUtime=0.2 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 733 0 0 0 20 0 0 0 20 0 1 0 183174905 8237056 1105 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 2011 1105 500 659 0 1215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 17976 KiB
Current children cumulated memory: 7076 KiB

[startup+0.304722 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126918080/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=8044 memory=5472 CPUtime=0.3 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 975 0 0 0 30 0 0 0 20 0 1 0 183174905 8237056 1368 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 2011 1368 500 659 0 1215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 17976 KiB
Current children cumulated memory: 8128 KiB

[startup+0.700173 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126911076/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=12280 memory=9224 CPUtime=0.69 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 1939 0 0 0 69 0 0 0 20 0 1 0 183174905 12574720 2306 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 3070 2306 500 659 0 2274 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22212 KiB
Current children cumulated memory: 11880 KiB

[startup+1.50018 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126894544/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=20472 memory=17216 CPUtime=1.48 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 2875 0 0 0 148 0 0 0 20 0 1 0 183174905 20963328 4304 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 5118 4304 500 659 0 4322 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30404 KiB
Current children cumulated memory: 19872 KiB

[startup+3.1053 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126834468/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=54424 memory=42984 CPUtime=3.08 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 9368 0 0 0 307 1 0 0 20 0 1 0 183174905 55730176 10746 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 13606 10746 532 659 0 12810 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64356 KiB
Current children cumulated memory: 45640 KiB

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

# cumulated CPU time of all completed processes:  user=4.94857 s, system=0.047658 s

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

[startup+3.20023 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126834468/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=55232 memory=43508 CPUtime=3.18 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 9458 0 0 0 317 1 0 0 20 0 1 0 183174905 56557568 10877 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 13808 10877 532 659 0 13012 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 65164 KiB
Current children cumulated memory: 46164 KiB

[startup+4.00023 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126762716/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=110548 memory=89956 CPUtime=3.98 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 18692 0 0 0 395 3 0 0 20 0 1 0 183174905 113201152 22489 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 27637 22489 532 659 0 26841 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 120480 KiB
Current children cumulated memory: 92612 KiB

[startup+4.80024 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126762716/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=116176 memory=99956 CPUtime=4.78 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 20499 0 0 0 474 4 0 0 20 0 1 0 183174905 118964224 24989 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 29044 24989 532 659 0 28248 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 126108 KiB
Current children cumulated memory: 102612 KiB

[startup+5.00024 s]*
/proc/loadavg: 4.06 4.10 4.09 5/261 956641
/proc/meminfo: memFree=126719236/131524600 swapFree=131071996/131071996
[pid=956636] ppid=956633 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/956636/stat : 956636 (naps-1.03.sh) S 956633 956636 953153 0 -1 4194304 218 238 0 0 0 0 0 0 20 0 1 0 183174905 10170368 664 134679101440 94296094396416 94296095475736 140722675054448 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94296097574192 94296097621380 94296113659904 140722675061731 140722675061856 140722675061856 140722675068872 0
/proc/956636/statm: 2483 664 585 264 0 134 0
[pid=956641] ppid=956636 vsize=116176 memory=100216 CPUtime=4.98 cores=0,2
/proc/956641/stat : 956641 (naps-1.03) R 956636 956636 953153 0 -1 4194304 20553 0 0 0 494 4 0 0 20 0 1 0 183174905 118964224 25054 134679101440 4194304 6891213 140727210183184 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 20996096 140727210189812 140727210189924 140727210189924 140727210196939 0
/proc/956641/statm: 29044 25054 532 659 0 28248 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 126108 KiB
Current children cumulated memory: 102872 KiB

Child status: 10

Real time (s): 5.00964
CPU time (s): 4.99623
CPU user time (s): 4.94857
CPU system time (s): 0.047658
CPU usage (%): 99.7323
Max. virtual memory (cumulated for all children) (KiB): 126108
Max. memory (cumulated for all children) (KiB): 102872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.94857
system time used= 0.047658
maximum resident set size= 101772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21025
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= 35


# summary of solver processes directly reported to runsolver:
#   pid: 956636
#   total CPU time (s): 4.99623
#   total CPU user time (s): 4.94857
#   total CPU system time (s): 0.047658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025516 second user time and 0.041004 second system time

The end