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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499644-1751413953/watcher-4499644-1751413953 -o /tmp/evaluation-result-4499644-1751413953/solver-4499644-1751413953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751413953-56926 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1681335766 --ls=0 --inp-dombreaklim=0 HOME/instance-4499644-1751413953.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 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=56972, runsolver pid=56967

[startup+0.100066 s]*
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124667812/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=48856 memory=26072 CPUtime=0.09 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 5314 0 0 0 9 0 0 0 20 0 1 0 57069951 50028544 6518 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 12214 6518 1024 1200 0 10694 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48856 KiB
Current children cumulated memory: 26072 KiB

[startup+0.205535 s]*
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124598320/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=75224 memory=56848 CPUtime=0.2 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 10080 0 0 0 19 1 0 0 20 0 1 0 57069951 77029376 14212 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 18806 14212 1248 1200 0 17286 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75224 KiB
Current children cumulated memory: 56848 KiB

[startup+0.305478 s]*
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124522148/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=95572 memory=77104 CPUtime=0.29 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 15054 0 0 0 28 1 0 0 20 0 1 0 57069951 97865728 19276 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 23893 19276 1248 1200 0 22373 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 95572 KiB
Current children cumulated memory: 77104 KiB

[startup+0.700173 s]
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124522404/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=97920 memory=79228 CPUtime=0.69 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 15716 0 0 0 67 2 0 0 20 0 1 0 57069951 100270080 19807 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 24480 19807 1248 1200 0 22960 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97920 KiB
Current children cumulated memory: 79228 KiB

[startup+1.50016 s]
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124517868/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=101760 memory=85212 CPUtime=1.48 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 16669 0 0 0 146 2 0 0 20 0 1 0 57069951 104202240 21303 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 25440 21303 1280 1200 0 23920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101760 KiB
Current children cumulated memory: 85212 KiB

[startup+3.10519 s]
/proc/loadavg: 0.80 1.04 1.88 5/263 56985
/proc/meminfo: memFree=124507188/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=103668 memory=89224 CPUtime=3.08 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 17166 0 0 0 306 2 0 0 20 0 1 0 57069951 106156032 22306 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 25917 22306 1280 1200 0 24397 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 103668 KiB
Current children cumulated memory: 89224 KiB

[startup+6.30013 s]
/proc/loadavg: 1.05 1.09 1.90 5/263 56985
/proc/meminfo: memFree=124505616/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=104984 memory=90504 CPUtime=6.27 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 17503 0 0 0 625 2 0 0 20 0 1 0 57069951 107503616 22626 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 26246 22626 1280 1200 0 24726 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104984 KiB
Current children cumulated memory: 90504 KiB

[startup+12.7001 s]
/proc/loadavg: 1.29 1.13 1.91 5/263 56985
/proc/meminfo: memFree=124493820/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=107516 memory=93064 CPUtime=12.65 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 18143 0 0 0 1263 2 0 0 20 0 1 0 57069951 110096384 23266 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 26879 23266 1280 1200 0 25359 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107516 KiB
Current children cumulated memory: 93064 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 1.28 1.94 5/263 57030
/proc/meminfo: memFree=124184048/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=109148 memory=94728 CPUtime=25.41 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 18555 0 0 0 2538 3 0 0 20 0 1 0 57069951 111767552 23682 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 27287 23682 1280 1200 0 25767 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109148 KiB
Current children cumulated memory: 94728 KiB

[startup+51.1053 s]
/proc/loadavg: 2.67 1.51 2.00 5/264 57257
/proc/meminfo: memFree=124028580/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=114952 memory=100508 CPUtime=50.91 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19506 0 0 0 5083 8 0 0 20 0 1 0 57069951 117710848 25127 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28738 25127 1280 1200 0 27218 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 114952 KiB
Current children cumulated memory: 100508 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.93 2.12 4/263 57631
/proc/meminfo: memFree=123946856/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115560 memory=101148 CPUtime=101.94 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19675 0 0 0 10183 11 0 0 20 0 1 0 57069951 118333440 25287 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28890 25287 1280 1200 0 27370 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 115560 KiB
Current children cumulated memory: 101148 KiB

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

# cumulated CPU time of all completed processes:  user=116.895 s, system=0.121478 s

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

[startup+102.4 s]
/proc/loadavg: 3.56 1.93 2.12 4/263 57631
/proc/meminfo: memFree=123946856/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115560 memory=101148 CPUtime=102.04 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19675 0 0 0 10193 11 0 0 20 0 1 0 57069951 118333440 25287 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28890 25287 1280 1200 0 27370 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 115560 KiB
Current children cumulated memory: 101148 KiB

[startup+108.8 s]
/proc/loadavg: 3.59 1.96 2.13 5/267 57804
/proc/meminfo: memFree=123861896/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115696 memory=101276 CPUtime=108.41 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19709 0 0 0 10830 11 0 0 20 0 1 0 57069951 118472704 25319 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28924 25319 1280 1200 0 27404 0
Current children cumulated CPU time: 108.41 s
Current children cumulated vsize: 115696 KiB
Current children cumulated memory: 101276 KiB

[startup+112 s]*
/proc/loadavg: 3.63 2.00 2.14 5/266 57818
/proc/meminfo: memFree=123947928/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115844 memory=101532 CPUtime=111.6 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19775 0 0 0 11149 11 0 0 20 0 1 0 57069951 118624256 25383 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28961 25383 1280 1200 0 27441 0
Current children cumulated CPU time: 111.6 s
Current children cumulated vsize: 115844 KiB
Current children cumulated memory: 101532 KiB

[startup+115.2 s]
/proc/loadavg: 3.66 2.03 2.15 5/267 57849
/proc/meminfo: memFree=123891572/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115844 memory=101532 CPUtime=114.79 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19787 0 0 0 11468 11 0 0 20 0 1 0 57069951 118624256 25383 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28961 25383 1280 1200 0 27441 0
Current children cumulated CPU time: 114.79 s
Current children cumulated vsize: 115844 KiB
Current children cumulated memory: 101532 KiB

[startup+116.8 s]
/proc/loadavg: 3.66 2.03 2.15 5/267 57849
/proc/meminfo: memFree=123875444/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=115844 memory=101532 CPUtime=116.38 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19787 0 0 0 11627 11 0 0 20 0 1 0 57069951 118624256 25383 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 28961 25383 1280 1200 0 27441 0
Current children cumulated CPU time: 116.38 s
Current children cumulated vsize: 115844 KiB
Current children cumulated memory: 101532 KiB

[startup+117.2 s]
/proc/loadavg: 3.66 2.03 2.15 4/263 57857
/proc/meminfo: memFree=123946072/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=116036 memory=101788 CPUtime=116.78 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19823 0 0 0 11667 11 0 0 20 0 1 0 57069951 118820864 25447 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 29009 25447 1280 1200 0 27489 0
Current children cumulated CPU time: 116.78 s
Current children cumulated vsize: 116036 KiB
Current children cumulated memory: 101788 KiB

[startup+117.4 s]
/proc/loadavg: 3.66 2.03 2.15 4/263 57857
/proc/meminfo: memFree=123946072/131249992 swapFree=33010160/33010684
[pid=56972] ppid=56967 vsize=116036 memory=101788 CPUtime=116.98 cores=0,2
/proc/56972/stat : 56972 (Exact) R 56967 56972 56916 0 -1 4194304 19823 0 0 0 11687 11 0 0 20 0 1 0 57069951 118820864 25447 18446744073709551615 4198400 9112445 140726867261408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 47316992 140726867265832 140726867266029 140726867266029 140726867271631 0
/proc/56972/statm: 29009 25447 1280 1200 0 27489 0
Current children cumulated CPU time: 116.98 s
Current children cumulated vsize: 116036 KiB
Current children cumulated memory: 101788 KiB

Child status: 30

Real time (s): 117.425
CPU time (s): 117.017
CPU user time (s): 116.895
CPU system time (s): 0.121478
CPU usage (%): 99.6522
Max. virtual memory (cumulated for all children) (KiB): 116036
Max. memory (cumulated for all children) (KiB): 101788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.895
system time used= 0.121478
maximum resident set size= 101788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19830
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= 19
involuntary context switches= 268


# summary of solver processes directly reported to runsolver:
#   pid: 56972
#   total CPU time (s): 117.017
#   total CPU user time (s): 116.895
#   total CPU system time (s): 0.121478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.191624 second user time and 0.519313 second system time

The end