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: 64059 MiB (59734 MiB free)
  memory of node 1: 64510 MiB (60636 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443558-1721313141/watcher-4443558-1721313141 -o /tmp/evaluation-result-4443558-1721313141/solver-4443558-1721313141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721305421-949651 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4443558-1721313141.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=955279, runsolver pid=955276

[startup+0.100099 s]*
/proc/loadavg: 4.19 4.17 4.18 5/250 955284
/proc/meminfo: memFree=123257768/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=9760 memory=3752 CPUtime=0.1 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 601 0 0 0 10 0 0 0 20 0 1 0 183470190 9994240 938 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 2440 938 436 659 0 1644 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19692 KiB
Current children cumulated memory: 6588 KiB

[startup+0.213535 s]*
/proc/loadavg: 4.19 4.17 4.18 5/250 955284
/proc/meminfo: memFree=123256340/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=10660 memory=5180 CPUtime=0.22 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 947 0 0 0 22 0 0 0 20 0 1 0 183470190 10915840 1295 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 2665 1295 436 659 0 1869 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20592 KiB
Current children cumulated memory: 8016 KiB

[startup+0.313307 s]*
/proc/loadavg: 4.19 4.17 4.18 5/250 955284
/proc/meminfo: memFree=123255192/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=11752 memory=6304 CPUtime=0.31 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 1261 0 0 0 31 0 0 0 20 0 1 0 183470190 12034048 1576 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 2938 1576 436 659 0 2142 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21684 KiB
Current children cumulated memory: 9140 KiB

[startup+0.700448 s]
/proc/loadavg: 4.19 4.17 4.18 5/250 955284
/proc/meminfo: memFree=123248884/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=13816 memory=11232 CPUtime=0.68 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 2045 0 0 0 68 0 0 0 20 0 1 0 183470190 14147584 2808 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 3454 2808 436 659 0 2658 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 23748 KiB
Current children cumulated memory: 14068 KiB

[startup+1.50043 s]
/proc/loadavg: 4.19 4.17 4.18 5/250 955284
/proc/meminfo: memFree=123243060/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=25868 memory=19832 CPUtime=1.48 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 4422 0 0 0 148 0 0 0 20 0 1 0 183470190 26488832 4958 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 6467 4958 436 659 0 5671 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35800 KiB
Current children cumulated memory: 22668 KiB

[startup+3.11315 s]
/proc/loadavg: 4.19 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123198088/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=57056 memory=52264 CPUtime=3.09 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 12977 0 0 0 307 2 0 0 20 0 1 0 183470190 58425344 13066 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 14264 13066 468 659 0 13468 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 66988 KiB
Current children cumulated memory: 55100 KiB

[startup+6.3004 s]
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123095400/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=161772 memory=142368 CPUtime=6.27 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 31455 0 0 0 622 5 0 0 20 0 1 0 183470190 165654528 35592 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 40443 35592 468 659 0 39647 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 171704 KiB
Current children cumulated memory: 145204 KiB

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

# cumulated CPU time of all completed processes:  user=9.00659 s, system=0.096388 s

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

[startup+6.40047 s]
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123095400/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=167068 memory=153864 CPUtime=6.37 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 32811 0 0 0 631 6 0 0 20 0 1 0 183470190 171077632 38466 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 41767 38466 468 659 0 40971 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 177000 KiB
Current children cumulated memory: 156700 KiB

[startup+8.0003 s]*
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123037128/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=221740 memory=192204 CPUtime=7.98 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 38295 0 0 0 791 7 0 0 20 0 1 0 183470190 227061760 48051 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 55435 48051 468 659 0 54639 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 231672 KiB
Current children cumulated memory: 195040 KiB

[startup+8.80037 s]
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123037128/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=240416 memory=210084 CPUtime=8.77 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 38750 0 0 0 869 8 0 0 20 0 1 0 183470190 246185984 52521 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 60104 52521 468 659 0 59308 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 250348 KiB
Current children cumulated memory: 212920 KiB

[startup+9.00037 s]*
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123049508/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=193352 memory=177992 CPUtime=8.97 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 39319 0 0 0 889 8 0 0 20 0 1 0 183470190 197992448 44498 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 48338 44498 468 659 0 47542 0
Current children cumulated CPU time: 8.97 s
Current children cumulated vsize: 203284 KiB
Current children cumulated memory: 180828 KiB

[startup+9.11309 s]
/proc/loadavg: 4.17 4.17 4.18 5/250 955286
/proc/meminfo: memFree=123049508/131655788 swapFree=131071996/131071996
[pid=955279] ppid=955276 vsize=9932 memory=2836 CPUtime=0 cores=1,3
/proc/955279/stat : 955279 (naps-1.03.sh) S 955276 955279 949639 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 183470190 10170368 709 134679101440 94428463403008 94428464482328 140730283405872 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94428466580784 94428466627972 94428492705792 140730283414495 140730283414624 140730283414624 140730283421640 0
/proc/955279/statm: 2483 709 633 264 0 134 0
[pid=955284] ppid=955279 vsize=193940 memory=178520 CPUtime=9.07 cores=1,3
/proc/955284/stat : 955284 (naps-1.03) R 955279 955279 949639 0 -1 4194304 39469 0 0 0 899 8 0 0 20 0 1 0 183470190 198594560 44630 134679101440 4194304 6891213 140735484814800 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 24514560 140735484818416 140735484818532 140735484818532 140735484825547 0
/proc/955284/statm: 48485 44630 468 659 0 47689 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 203872 KiB
Current children cumulated memory: 181356 KiB

Child status: 10

Real time (s): 9.12673
CPU time (s): 9.10298
CPU user time (s): 9.00659
CPU system time (s): 0.096388
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 250348
Max. memory (cumulated for all children) (KiB): 212920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.00659
system time used= 0.096388
maximum resident set size= 210084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39952
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: 955279
#   total CPU time (s): 9.10298
#   total CPU user time (s): 9.00659
#   total CPU system time (s): 0.096388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069824 second user time and 0.166981 second system time

The end