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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523631-1751592166/watcher-4523631-1751592166 -o /tmp/evaluation-result-4523631-1751592166/solver-4523631-1751592166 -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-4523631-1751592166.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=96287, runsolver pid=96284

[startup+0.100068 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127310024/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=56824 memory=18572 CPUtime=0.08 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 2648 0 0 0 8 0 0 0 20 0 1 0 74895356 58187776 4643 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 14206 4643 1664 2271 0 8844 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56824 KiB
Current children cumulated memory: 18572 KiB

[startup+0.20548 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127303976/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=60820 memory=24588 CPUtime=0.18 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 3672 0 0 0 18 0 0 0 20 0 1 0 74895356 62279680 6147 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 15205 6147 1664 2271 0 9843 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60820 KiB
Current children cumulated memory: 24588 KiB

[startup+0.305422 s]*
/proc/loadavg: 4.11 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127274616/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=85548 memory=49792 CPUtime=0.28 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 14523 0 0 0 26 2 0 0 20 0 1 0 74895356 87601152 12448 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 21387 12448 1792 2271 0 16025 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 85548 KiB
Current children cumulated memory: 49792 KiB

[startup+0.700172 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127266804/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=0.67 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19347 0 0 0 64 3 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127266804/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=1.47 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19347 0 0 0 144 3 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+3.10532 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127267056/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=3.07 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19349 0 0 0 304 3 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+6.30009 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 96288
/proc/meminfo: memFree=127267308/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=6.26 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19351 0 0 0 622 4 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 96289
/proc/meminfo: memFree=127268064/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=12.64 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19354 0 0 0 1260 4 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 96289
/proc/meminfo: memFree=127269576/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=25.41 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19354 0 0 0 2535 6 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 96289
/proc/meminfo: memFree=127272148/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=115240 memory=79404 CPUtime=50.94 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19354 0 0 0 5087 7 0 0 20 0 1 0 74895356 118005760 19851 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 28810 19851 1824 2271 0 23448 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 115240 KiB
Current children cumulated memory: 79404 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 96291
/proc/meminfo: memFree=127261388/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=117016 memory=89560 CPUtime=102.01 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 19848 0 0 0 10192 9 0 0 20 0 1 0 74895356 119824384 22390 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29254 22390 1856 2271 0 23892 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 117016 KiB
Current children cumulated memory: 89560 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 96293
/proc/meminfo: memFree=127235968/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=91096 CPUtime=161.85 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20252 0 0 0 16175 10 0 0 20 0 1 0 74895356 121946112 22774 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 22774 1856 2271 0 24410 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 91096 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 96295
/proc/meminfo: memFree=127234216/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=91096 CPUtime=221.71 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20257 0 0 0 22159 12 0 0 20 0 1 0 74895356 121946112 22774 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 22774 1856 2271 0 24410 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 91096 KiB

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

# cumulated CPU time of all completed processes:  user=248.315 s, system=0.13857 s

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

[startup+230.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 96295
/proc/meminfo: memFree=127234736/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=91096 CPUtime=229.78 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20257 0 0 0 22966 12 0 0 20 0 1 0 74895356 121946112 22774 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 22774 1856 2271 0 24410 0
Current children cumulated CPU time: 229.78 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 91096 KiB

[startup+236.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 96295
/proc/meminfo: memFree=127231144/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=236.17 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20258 0 0 0 23604 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 236.17 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+243.2 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214556/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=242.55 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24242 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 242.55 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+246.4 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214620/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=245.74 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24561 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 245.74 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+248 s]*
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214620/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=247.34 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24721 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 247.34 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+248.8 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214620/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=248.13 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24800 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 248.13 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+249 s]*
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214872/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=248.34 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24821 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 248.34 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

[startup+249.105 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 96298
/proc/meminfo: memFree=127214872/131249992 swapFree=33010160/33010684
[pid=96287] ppid=96284 vsize=119088 memory=93016 CPUtime=248.44 cores=0,2
/proc/96287/stat : 96287 (ExactPR) R 96284 96287 94760 0 -1 4194304 20265 0 0 0 24831 13 0 0 20 0 1 0 74895356 121946112 23254 18446744073709551615 94380500692992 94380509992837 140733970759584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94380511779136 94380511818216 94380527157248 140733970766213 140733970766348 140733970766348 140733970771950 0
/proc/96287/statm: 29772 23254 1856 2271 0 24410 0
Current children cumulated CPU time: 248.44 s
Current children cumulated vsize: 119088 KiB
Current children cumulated memory: 93016 KiB

Child status: 30

Real time (s): 249.111
CPU time (s): 248.454
CPU user time (s): 248.315
CPU system time (s): 0.13857
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 119088
Max. memory (cumulated for all children) (KiB): 93016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.315
system time used= 0.13857
maximum resident set size= 93528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20281
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= 118
involuntary context switches= 329


# summary of solver processes directly reported to runsolver:
#   pid: 96287
#   total CPU time (s): 248.454
#   total CPU user time (s): 248.315
#   total CPU system time (s): 0.13857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.45365 second user time and 1.08302 second system time

The end