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: 63665 MiB (62814 MiB free)
  memory of node 1: 64507 MiB (60800 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499460-1751411490/watcher-4499460-1751411490 -o /tmp/evaluation-result-4499460-1751411490/solver-4499460-1751411490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751411490-61843 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=196902998 --ls=0 --inp-dombreaklim=0 HOME/instance-4499460-1751411490.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 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=61899, runsolver pid=61892

[startup+0.10006 s]*
/proc/loadavg: 0.40 0.90 1.65 5/266 61900
/proc/meminfo: memFree=126523704/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=48924 memory=24476 CPUtime=0.09 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 5453 0 0 0 9 0 0 0 20 0 1 0 56826768 50098176 6119 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 12231 6119 1024 1200 0 10711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48924 KiB
Current children cumulated memory: 24476 KiB

[startup+0.205695 s]*
/proc/loadavg: 0.40 0.90 1.65 5/267 61902
/proc/meminfo: memFree=126495668/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=75184 memory=56124 CPUtime=0.2 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 9901 0 0 0 19 1 0 0 20 0 1 0 56826768 76988416 14031 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 18796 14031 1248 1200 0 17276 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75184 KiB
Current children cumulated memory: 56124 KiB

[startup+0.305715 s]*
/proc/loadavg: 0.40 0.90 1.65 5/267 61902
/proc/meminfo: memFree=126459312/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=96268 memory=77228 CPUtime=0.3 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 14577 0 0 0 28 2 0 0 20 0 1 0 56826768 98578432 19307 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 24067 19307 1248 1200 0 22547 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96268 KiB
Current children cumulated memory: 77228 KiB

[startup+0.700137 s]
/proc/loadavg: 0.40 0.90 1.65 5/267 61902
/proc/meminfo: memFree=126459312/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=97092 memory=77644 CPUtime=0.69 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 14831 0 0 0 66 3 0 0 20 0 1 0 56826768 99422208 19411 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 24273 19411 1248 1200 0 22753 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97092 KiB
Current children cumulated memory: 77644 KiB

[startup+1.50012 s]
/proc/loadavg: 0.40 0.90 1.65 5/267 61902
/proc/meminfo: memFree=126457296/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=100688 memory=85344 CPUtime=1.49 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 15707 0 0 0 146 3 0 0 20 0 1 0 56826768 103104512 21336 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 25172 21336 1280 1200 0 23652 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100688 KiB
Current children cumulated memory: 85344 KiB

[startup+3.10464 s]
/proc/loadavg: 0.69 0.95 1.67 5/267 61902
/proc/meminfo: memFree=126441988/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=102232 memory=87008 CPUtime=3.09 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 16120 0 0 0 306 3 0 0 20 0 1 0 56826768 104685568 21752 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 25558 21752 1280 1200 0 24038 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102232 KiB
Current children cumulated memory: 87008 KiB

[startup+6.30011 s]
/proc/loadavg: 0.69 0.95 1.67 5/267 61902
/proc/meminfo: memFree=126432696/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=103896 memory=88672 CPUtime=6.27 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 16545 0 0 0 624 3 0 0 20 0 1 0 56826768 106389504 22168 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 25974 22168 1280 1200 0 24454 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103896 KiB
Current children cumulated memory: 88672 KiB

[startup+12.7001 s]
/proc/loadavg: 1.20 1.05 1.69 5/267 61902
/proc/meminfo: memFree=126412488/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=106960 memory=91744 CPUtime=12.65 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 17317 0 0 0 1262 3 0 0 20 0 1 0 56826768 109527040 22936 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 26740 22936 1280 1200 0 25220 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 106960 KiB
Current children cumulated memory: 91744 KiB

[startup+25.5001 s]
/proc/loadavg: 1.63 1.15 1.72 5/267 61902
/proc/meminfo: memFree=126395412/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=108592 memory=93408 CPUtime=25.43 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 17730 0 0 0 2538 5 0 0 20 0 1 0 56826768 111198208 23352 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 27148 23352 1280 1200 0 25628 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 108592 KiB
Current children cumulated memory: 93408 KiB

[startup+51.105 s]
/proc/loadavg: 2.35 1.36 1.77 4/262 61938
/proc/meminfo: memFree=126388156/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=110564 memory=95456 CPUtime=50.97 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 18242 0 0 0 5091 6 0 0 20 0 1 0 56826768 113217536 23864 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 27641 23864 1280 1200 0 26121 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 110564 KiB
Current children cumulated memory: 95456 KiB

[startup+102.3 s]
/proc/loadavg: 2.24 1.50 1.80 3/256 61975
/proc/meminfo: memFree=126412500/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=115880 memory=99680 CPUtime=102.04 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 19295 0 0 0 10196 8 0 0 20 0 1 0 56826768 118661120 24920 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 28970 24920 1280 1200 0 27450 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 115880 KiB
Current children cumulated memory: 99680 KiB

[startup+162.3 s]
/proc/loadavg: 2.13 1.61 1.82 3/255 61981
/proc/meminfo: memFree=126401376/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=161.92 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21433 0 0 0 16179 13 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

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

# cumulated CPU time of all completed processes:  user=199.007 s, system=0.149645 s

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

[startup+179.2 s]
/proc/loadavg: 2.10 1.63 1.83 3/254 61982
/proc/meminfo: memFree=126402244/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=178.78 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21437 0 0 0 17864 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 178.78 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+192 s]*
/proc/loadavg: 2.08 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=191.55 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21437 0 0 0 19141 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 191.55 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+195.2 s]
/proc/loadavg: 2.08 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=194.74 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21441 0 0 0 19460 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 194.74 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+196.8 s]
/proc/loadavg: 2.08 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=196.34 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21441 0 0 0 19620 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 196.34 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+198.4 s]
/proc/loadavg: 2.07 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=197.93 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21441 0 0 0 19779 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 197.93 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+199.2 s]
/proc/loadavg: 2.07 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=198.73 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21441 0 0 0 19859 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 198.73 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

[startup+199.6 s]
/proc/loadavg: 2.07 1.65 1.83 3/254 61983
/proc/meminfo: memFree=126403000/131249996 swapFree=33010684/33010684
[pid=61899] ppid=61892 vsize=132920 memory=116484 CPUtime=199.13 cores=1,3
/proc/61899/stat : 61899 (Exact) R 61892 61899 61805 0 -1 4194304 21441 0 0 0 19899 14 0 0 20 0 1 0 56826768 136110080 29121 18446744073709551615 4198400 9112445 140721363317440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 31256576 140721363319081 140721363319277 140721363319277 140721363324879 0
/proc/61899/statm: 33230 29121 1280 1200 0 31710 0
Current children cumulated CPU time: 199.13 s
Current children cumulated vsize: 132920 KiB
Current children cumulated memory: 116484 KiB

Child status: 30

Real time (s): 199.611
CPU time (s): 199.157
CPU user time (s): 199.007
CPU system time (s): 0.149645
CPU usage (%): 99.7723
Max. virtual memory (cumulated for all children) (KiB): 132920
Max. memory (cumulated for all children) (KiB): 116484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 199.007
system time used= 0.149645
maximum resident set size= 116484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21447
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= 23
involuntary context switches= 318


# summary of solver processes directly reported to runsolver:
#   pid: 61899
#   total CPU time (s): 199.157
#   total CPU user time (s): 199.007
#   total CPU system time (s): 0.149645

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.346258 second user time and 0.766797 second system time

The end