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 (60410 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-4499736-1751413953/watcher-4499736-1751413953 -o /tmp/evaluation-result-4499736-1751413953/solver-4499736-1751413953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751413953-56929 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1681335766 --ls=0 --inp-dombreaklim=0 HOME/instance-4499736-1751413953.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=56983, runsolver pid=56968
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 0.80 1.04 1.88 7/263 56985
/proc/meminfo: memFree=124665292/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=48932 memory=25892 CPUtime=0.1 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 5268 0 0 0 9 1 0 0 20 0 1 0 57069951 50106368 6473 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 12233 6473 1024 1200 0 10713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48932 KiB
Current children cumulated memory: 25892 KiB

[startup+0.205667 s]*
/proc/loadavg: 0.80 1.04 1.88 7/263 56985
/proc/meminfo: memFree=124594224/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=83416 memory=63832 CPUtime=0.2 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 9889 0 0 0 18 2 0 0 20 0 1 0 57069951 85417984 15958 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 20854 15958 1248 1200 0 19334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 83416 KiB
Current children cumulated memory: 63832 KiB

[startup+0.305732 s]*
/proc/loadavg: 0.80 1.04 1.88 7/263 56985
/proc/meminfo: memFree=124522404/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=96708 memory=78364 CPUtime=0.3 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 15416 0 0 0 27 3 0 0 20 0 1 0 57069951 99028992 19591 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 24177 19591 1248 1200 0 22657 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96708 KiB
Current children cumulated memory: 78364 KiB

[startup+0.700153 s]
/proc/loadavg: 0.80 1.04 1.88 6/263 56985
/proc/meminfo: memFree=124522404/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=99168 memory=80584 CPUtime=0.69 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 16108 0 0 0 65 4 0 0 20 0 1 0 57069951 101548032 20146 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 24792 20146 1248 1200 0 23272 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99168 KiB
Current children cumulated memory: 80584 KiB

[startup+1.50015 s]
/proc/loadavg: 0.80 1.04 1.88 7/263 56985
/proc/meminfo: memFree=124517868/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=102584 memory=86072 CPUtime=1.49 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 16946 0 0 0 145 4 0 0 20 0 1 0 57069951 105046016 21518 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 25646 21518 1280 1200 0 24126 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 102584 KiB
Current children cumulated memory: 86072 KiB

[startup+3.10535 s]
/proc/loadavg: 0.80 1.04 1.88 7/263 56985
/proc/meminfo: memFree=124507188/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=104368 memory=90028 CPUtime=3.08 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 17415 0 0 0 304 4 0 0 20 0 1 0 57069951 106872832 22507 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 26092 22507 1280 1200 0 24572 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 104368 KiB
Current children cumulated memory: 90028 KiB

[startup+6.30011 s]
/proc/loadavg: 1.05 1.09 1.90 7/263 56985
/proc/meminfo: memFree=124505616/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=105772 memory=91436 CPUtime=6.27 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 17774 0 0 0 623 4 0 0 20 0 1 0 57069951 108310528 22859 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 26443 22859 1280 1200 0 24923 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105772 KiB
Current children cumulated memory: 91436 KiB

[startup+12.7001 s]
/proc/loadavg: 1.29 1.13 1.91 7/263 56985
/proc/meminfo: memFree=124493820/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=109136 memory=94764 CPUtime=12.66 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 18627 0 0 0 1261 5 0 0 20 0 1 0 57069951 111755264 23691 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 27284 23691 1280 1200 0 25764 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 109136 KiB
Current children cumulated memory: 94764 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 1.28 1.94 6/263 57030
/proc/meminfo: memFree=124184048/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=110768 memory=96428 CPUtime=25.42 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19038 0 0 0 2537 5 0 0 20 0 1 0 57069951 113426432 24107 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 27692 24107 1280 1200 0 26172 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 110768 KiB
Current children cumulated memory: 96428 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=56983] ppid=56968 vsize=113408 memory=99116 CPUtime=50.95 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19708 0 0 0 5089 6 0 0 20 0 1 0 57069951 116129792 24779 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28352 24779 1280 1200 0 26832 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 113408 KiB
Current children cumulated memory: 99116 KiB

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

# cumulated CPU time of all completed processes:  user=82.4029 s, system=0.08475 s

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

[startup+51.2002 s]
/proc/loadavg: 2.67 1.51 2.00 5/264 57257
/proc/meminfo: memFree=124028580/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113408 memory=99116 CPUtime=51.04 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19708 0 0 0 5098 6 0 0 20 0 1 0 57069951 116129792 24779 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28352 24779 1280 1200 0 26832 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 113408 KiB
Current children cumulated memory: 99116 KiB

[startup+64.0001 s]*
/proc/loadavg: 2.87 1.59 2.03 5/265 57258
/proc/meminfo: memFree=124010412/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=63.81 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 6374 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+70.4001 s]
/proc/loadavg: 3.05 1.67 2.05 5/265 57258
/proc/meminfo: memFree=124006380/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=70.19 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 7012 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 70.19 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+76.8001 s]
/proc/loadavg: 3.20 1.73 2.06 5/265 57258
/proc/meminfo: memFree=124006380/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=76.57 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 7650 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 76.57 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+80.0001 s]*
/proc/loadavg: 3.27 1.77 2.07 5/265 57258
/proc/meminfo: memFree=123990136/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=79.76 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 7969 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 79.76 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+81.6001 s]
/proc/loadavg: 3.27 1.77 2.07 5/265 57258
/proc/meminfo: memFree=123990136/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=81.35 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 8128 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 81.35 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+82.4001 s]
/proc/loadavg: 3.27 1.77 2.07 5/265 57258
/proc/meminfo: memFree=123990136/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=82.15 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 8208 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 82.15 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+82.6001 s]
/proc/loadavg: 3.27 1.77 2.07 5/265 57258
/proc/meminfo: memFree=123990136/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=82.35 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 8228 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 82.35 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

[startup+82.7001 s]
/proc/loadavg: 3.27 1.77 2.07 5/265 57258
/proc/meminfo: memFree=123990136/131249992 swapFree=33010160/33010684
[pid=56983] ppid=56968 vsize=113544 memory=99244 CPUtime=82.45 cores=5,7
/proc/56983/stat : 56983 (Exact) R 56968 56983 56916 0 -1 4194304 19745 0 0 0 8238 7 0 0 20 0 1 0 57069951 116269056 24811 18446744073709551615 4198400 9112445 140732741876848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 46522368 140732741884200 140732741884397 140732741884397 140732741889999 0
/proc/56983/statm: 28386 24811 1280 1200 0 26866 0
Current children cumulated CPU time: 82.45 s
Current children cumulated vsize: 113544 KiB
Current children cumulated memory: 99244 KiB

Child status: 30

Real time (s): 82.7224
CPU time (s): 82.4876
CPU user time (s): 82.4029
CPU system time (s): 0.08475
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 113544
Max. memory (cumulated for all children) (KiB): 99244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.4029
system time used= 0.08475
maximum resident set size= 99244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19749
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= 480


# summary of solver processes directly reported to runsolver:
#   pid: 56983
#   total CPU time (s): 82.4876
#   total CPU user time (s): 82.4029
#   total CPU system time (s): 0.08475

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.161907 second user time and 0.363825 second system time

The end