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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457907-1721865116/watcher-4457907-1721865116 -o /tmp/evaluation-result-4457907-1721865116/solver-4457907-1721865116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721865114-267943 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4457907-1721865116.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=268414, runsolver pid=268410

[startup+0.100419 s]*
/proc/loadavg: 0.11 0.11 0.09 4/251 268432
/proc/meminfo: memFree=109841372/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=42176 memory=24168 CPUtime=0.1 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 3590 0 0 0 9 1 0 0 20 0 1 0 23041093 43188224 6042 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 10544 6042 2703 2900 0 7058 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 24168 KiB

[startup+0.204717 s]*
/proc/loadavg: 0.50 0.19 0.12 3/251 268440
/proc/meminfo: memFree=109838012/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=42176 memory=24960 CPUtime=0.2 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 3793 0 0 0 19 1 0 0 20 0 1 0 23041093 43188224 6240 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 10544 6240 2703 2900 0 7058 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 24960 KiB

[startup+0.305384 s]*
/proc/loadavg: 0.50 0.19 0.12 3/251 268440
/proc/meminfo: memFree=109834780/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=42176 memory=27536 CPUtime=0.29 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 3927 0 0 0 28 1 0 0 20 0 1 0 23041093 43188224 6884 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 10544 6884 2703 2900 0 7058 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 27536 KiB

[startup+0.700229 s]
/proc/loadavg: 0.50 0.19 0.12 7/251 268484
/proc/meminfo: memFree=109851412/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=42176 memory=28060 CPUtime=0.69 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 4040 0 0 0 67 2 0 0 20 0 1 0 23041093 43188224 7015 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 10544 7015 2703 2900 0 7058 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 28060 KiB

[startup+1.50016 s]
/proc/loadavg: 0.50 0.19 0.12 4/256 268524
/proc/meminfo: memFree=109806800/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=45692 memory=32148 CPUtime=1.49 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 4557 0 0 0 145 4 0 0 20 0 1 0 23041093 46788608 8037 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 11423 8037 2703 2900 0 7937 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45692 KiB
Current children cumulated memory: 32148 KiB

[startup+3.10562 s]
/proc/loadavg: 0.50 0.19 0.12 5/261 268563
/proc/meminfo: memFree=109761528/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=52912 memory=39424 CPUtime=3.09 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 5849 0 0 0 304 5 0 0 20 0 1 0 23041093 54181888 9856 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 13228 9856 2703 2900 0 9742 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 39424 KiB

[startup+6.3002 s]
/proc/loadavg: 0.78 0.26 0.14 5/261 268565
/proc/meminfo: memFree=109731008/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=62888 memory=45412 CPUtime=6.27 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 6860 0 0 0 619 8 0 0 20 0 1 0 23041093 64397312 11353 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 15722 11353 2703 2900 0 12236 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62888 KiB
Current children cumulated memory: 45412 KiB

[startup+12.7002 s]
/proc/loadavg: 1.04 0.32 0.16 5/261 268565
/proc/meminfo: memFree=109681764/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=67864 memory=52456 CPUtime=12.65 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8121 0 0 0 1242 23 0 0 20 0 1 0 23041093 69492736 13114 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 16966 13114 2703 2900 0 13480 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67864 KiB
Current children cumulated memory: 52456 KiB

[startup+19.3326 s]
# the end of solver process 268414 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=18.7278 s, system=0.543342 s

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

[startup+12.8002 s]
/proc/loadavg: 1.04 0.32 0.16 5/261 268565
/proc/meminfo: memFree=109681764/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=67864 memory=52456 CPUtime=12.75 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8121 0 0 0 1251 24 0 0 20 0 1 0 23041093 69492736 13114 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 16966 13114 2703 2900 0 13480 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 67864 KiB
Current children cumulated memory: 52456 KiB

[startup+16.0002 s]*
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109663592/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=68644 memory=54296 CPUtime=15.95 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8574 0 0 0 1556 39 0 0 20 0 1 0 23041093 70291456 13574 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17161 13574 2703 2900 0 13675 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 68644 KiB
Current children cumulated memory: 54296 KiB

[startup+17.6002 s]
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109662572/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=68804 memory=54560 CPUtime=17.53 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8616 0 0 0 1707 46 0 0 20 0 1 0 23041093 70455296 13640 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17201 13640 2703 2900 0 13715 0
Current children cumulated CPU time: 17.53 s
Current children cumulated vsize: 68804 KiB
Current children cumulated memory: 54560 KiB

[startup+18.4002 s]
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109662232/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=68804 memory=54560 CPUtime=18.33 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8616 0 0 0 1783 50 0 0 20 0 1 0 23041093 70455296 13640 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17201 13640 2703 2900 0 13715 0
Current children cumulated CPU time: 18.33 s
Current children cumulated vsize: 68804 KiB
Current children cumulated memory: 54560 KiB

[startup+18.8002 s]
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109662232/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=68968 memory=55080 CPUtime=18.73 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8746 0 0 0 1821 52 0 0 20 0 1 0 23041093 70623232 13770 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17242 13770 2703 2900 0 13756 0
Current children cumulated CPU time: 18.73 s
Current children cumulated vsize: 68968 KiB
Current children cumulated memory: 55080 KiB

[startup+19.2002 s]
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109660112/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=68968 memory=55080 CPUtime=19.13 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8746 0 0 0 1860 53 0 0 20 0 1 0 23041093 70623232 13770 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17242 13770 2703 2900 0 13756 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 68968 KiB
Current children cumulated memory: 55080 KiB

[startup+19.3002 s]
/proc/loadavg: 1.28 0.38 0.18 5/261 268566
/proc/meminfo: memFree=109660112/131524600 swapFree=131071728/131071996
[pid=268414] ppid=268410 vsize=69100 memory=55080 CPUtime=19.23 cores=0,2
/proc/268414/stat : 268414 (ipbhs_static_sc) R 268410 268414 267933 0 -1 4194304 8785 0 0 0 1870 53 0 0 20 0 1 0 23041093 70758400 13770 134679101440 4194304 16068861 140731031621344 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30371840 140731031622694 140731031622781 140731031622781 140731031629796 0
/proc/268414/statm: 17275 13770 2703 2900 0 13789 0
Current children cumulated CPU time: 19.23 s
Current children cumulated vsize: 69100 KiB
Current children cumulated memory: 55080 KiB

Child status: 0

Real time (s): 19.3327
CPU time (s): 19.2711
CPU user time (s): 18.7278
CPU system time (s): 0.543342
CPU usage (%): 99.6816
Max. virtual memory (cumulated for all children) (KiB): 69100
Max. memory (cumulated for all children) (KiB): 55080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7278
system time used= 0.543342
maximum resident set size= 56996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10155
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= 2
involuntary context switches= 139


# summary of solver processes directly reported to runsolver:
#   pid: 268414
#   total CPU time (s): 19.2711
#   total CPU user time (s): 18.7278
#   total CPU system time (s): 0.543342

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03696 second user time and 0.119991 second system time

The end