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: 63708 MiB (61869 MiB free)
  memory of node 1: 64465 MiB (62560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523493-1751591717/watcher-4523493-1751591717 -o /tmp/evaluation-result-4523493-1751591717/solver-4523493-1751591717 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751583916-94774 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523493-1751591717.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=96129, runsolver pid=96126

[startup+0.100061 s]*
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127400148/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=58532 memory=20312 CPUtime=0.09 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 3096 0 0 0 9 0 0 0 20 0 1 0 74850493 59936768 5078 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 14633 5078 1664 2271 0 9271 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58532 KiB
Current children cumulated memory: 20312 KiB

[startup+0.205312 s]*
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127400148/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=60924 memory=24652 CPUtime=0.19 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 3686 0 0 0 19 0 0 0 20 0 1 0 74850493 62386176 6163 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 15231 6163 1664 2271 0 9869 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60924 KiB
Current children cumulated memory: 24652 KiB

[startup+0.305329 s]*
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127367636/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=81960 memory=46452 CPUtime=0.29 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 14988 0 0 0 27 2 0 0 20 0 1 0 74850493 83927040 11613 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 20490 11613 1824 2271 0 15128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81960 KiB
Current children cumulated memory: 46452 KiB

[startup+0.700144 s]
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127351760/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69364 CPUtime=0.68 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20766 0 0 0 65 3 0 0 20 0 1 0 74850493 107851776 17341 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17341 1824 2271 0 20969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69364 KiB

[startup+1.50017 s]
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127352012/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69364 CPUtime=1.47 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20766 0 0 0 144 3 0 0 20 0 1 0 74850493 107851776 17341 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17341 1824 2271 0 20969 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69364 KiB

[startup+3.10502 s]
/proc/loadavg: 4.04 4.08 4.09 5/266 96130
/proc/meminfo: memFree=127352332/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69364 CPUtime=3.07 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20766 0 0 0 304 3 0 0 20 0 1 0 74850493 107851776 17341 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17341 1824 2271 0 20969 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69364 KiB

[startup+6.30014 s]
/proc/loadavg: 4.03 4.08 4.08 5/266 96130
/proc/meminfo: memFree=127351240/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69364 CPUtime=6.27 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20766 0 0 0 623 4 0 0 20 0 1 0 74850493 107851776 17341 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17341 1824 2271 0 20969 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69364 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.08 4.08 5/266 96130
/proc/meminfo: memFree=127335844/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69492 CPUtime=12.65 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20767 0 0 0 1261 4 0 0 20 0 1 0 74850493 107851776 17373 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17373 1856 2271 0 20969 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.02 4.07 4.08 5/266 96130
/proc/meminfo: memFree=127333176/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69492 CPUtime=25.42 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20767 0 0 0 2537 5 0 0 20 0 1 0 74850493 107851776 17373 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17373 1856 2271 0 20969 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69492 KiB

[startup+51.1053 s]
/proc/loadavg: 4.01 4.06 4.08 5/266 96131
/proc/meminfo: memFree=127311544/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69492 CPUtime=50.95 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20767 0 0 0 5089 6 0 0 20 0 1 0 74850493 107851776 17373 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17373 1856 2271 0 20969 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69492 KiB

[startup+83.3753 s]
# the end of solver process 96129 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=83.0349 s, system=0.118682 s

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

[startup+51.2002 s]
/proc/loadavg: 4.01 4.06 4.08 5/266 96131
/proc/meminfo: memFree=127311544/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=105324 memory=69492 CPUtime=51.05 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 20767 0 0 0 5099 6 0 0 20 0 1 0 74850493 107851776 17373 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 26331 17373 1856 2271 0 20969 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 105324 KiB
Current children cumulated memory: 69492 KiB

[startup+64.0001 s]*
/proc/loadavg: 4.01 4.06 4.08 5/266 96132
/proc/meminfo: memFree=127343664/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=111880 memory=77892 CPUtime=63.82 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 22567 0 0 0 6375 7 0 0 20 0 1 0 74850493 114565120 19473 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 27970 19473 1856 2271 0 22608 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 111880 KiB
Current children cumulated memory: 77892 KiB

[startup+76.8001 s]
/proc/loadavg: 4.08 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127279852/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=144664 memory=111208 CPUtime=76.59 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27661 0 0 0 7648 11 0 0 20 0 1 0 74850493 148135936 27802 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36166 27802 1856 2271 0 30804 0
Current children cumulated CPU time: 76.59 s
Current children cumulated vsize: 144664 KiB
Current children cumulated memory: 111208 KiB

[startup+80.0001 s]*
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127279868/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=111464 CPUtime=79.78 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27741 0 0 0 7967 11 0 0 20 0 1 0 74850493 148680704 27866 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 27866 1856 2271 0 30937 0
Current children cumulated CPU time: 79.78 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 111464 KiB

[startup+81.6001 s]
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127279868/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=113652 CPUtime=81.37 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27748 0 0 0 8126 11 0 0 20 0 1 0 74850493 148680704 28413 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 28413 1856 2271 0 30937 0
Current children cumulated CPU time: 81.37 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 113652 KiB

[startup+82.4001 s]
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127280120/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=113652 CPUtime=82.17 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27748 0 0 0 8206 11 0 0 20 0 1 0 74850493 148680704 28413 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 28413 1856 2271 0 30937 0
Current children cumulated CPU time: 82.17 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 113652 KiB

[startup+82.8001 s]
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127280120/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=113652 CPUtime=82.57 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27748 0 0 0 8246 11 0 0 20 0 1 0 74850493 148680704 28413 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 28413 1856 2271 0 30937 0
Current children cumulated CPU time: 82.57 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 113652 KiB

[startup+83.2001 s]
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127280372/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=113652 CPUtime=82.97 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27748 0 0 0 8286 11 0 0 20 0 1 0 74850493 148680704 28413 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 28413 1856 2271 0 30937 0
Current children cumulated CPU time: 82.97 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 113652 KiB

[startup+83.3001 s]
/proc/loadavg: 4.07 4.07 4.08 5/266 96132
/proc/meminfo: memFree=127280372/131249992 swapFree=33010160/33010684
[pid=96129] ppid=96126 vsize=145196 memory=113652 CPUtime=83.07 cores=0,2
/proc/96129/stat : 96129 (ExactPR) R 96126 96129 94760 0 -1 4194304 27748 0 0 0 8296 11 0 0 20 0 1 0 74850493 148680704 28413 18446744073709551615 94520992780288 94521002080133 140735712099776 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94521003866432 94521003905512 94521045893120 140735712106885 140735712107020 140735712107020 140735712112622 0
/proc/96129/statm: 36299 28413 1856 2271 0 30937 0
Current children cumulated CPU time: 83.07 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 113652 KiB

Child status: 30

Real time (s): 83.3754
CPU time (s): 83.1536
CPU user time (s): 83.0349
CPU system time (s): 0.118682
CPU usage (%): 99.734
Max. virtual memory (cumulated for all children) (KiB): 145196
Max. memory (cumulated for all children) (KiB): 113652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.0349
system time used= 0.118682
maximum resident set size= 120404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27764
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= 110
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 96129
#   total CPU time (s): 83.1536
#   total CPU user time (s): 83.0349
#   total CPU system time (s): 0.118682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12672 second user time and 0.385426 second system time

The end