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: 63794 MiB (61697 MiB free)
  memory of node 1: 64507 MiB (53859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496843-1751392006/watcher-4496843-1751392006 -o /tmp/evaluation-result-4496843-1751392006/solver-4496843-1751392006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751384418-56716 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1062020536 --ls=360 --inp-dombreaklim=0 HOME/instance-4496843-1751392006.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=58221, runsolver pid=58218

[startup+0.10007 s]*
/proc/loadavg: 4.18 4.12 4.10 5/249 58222
/proc/meminfo: memFree=118330960/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=0.1 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 10 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+0.213211 s]*
/proc/loadavg: 4.18 4.12 4.10 4/248 58230
/proc/meminfo: memFree=118329952/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=0.21 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 21 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+0.313127 s]*
/proc/loadavg: 4.18 4.12 4.10 5/248 58230
/proc/meminfo: memFree=118343856/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=0.31 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 31 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+0.70028 s]
/proc/loadavg: 4.18 4.12 4.10 4/248 58230
/proc/meminfo: memFree=118343856/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=0.68 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 68 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+1.50029 s]
/proc/loadavg: 4.18 4.12 4.10 4/250 58251
/proc/meminfo: memFree=118344936/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=1.48 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 148 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+3.113 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 58267
/proc/meminfo: memFree=118266592/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=3.09 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 309 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+6.30021 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 58267
/proc/meminfo: memFree=118238396/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=6.27 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 627 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 58267
/proc/meminfo: memFree=118143412/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=12.65 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 1265 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 58268
/proc/meminfo: memFree=117694320/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=25.42 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 2542 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+51.1138 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 58268
/proc/meminfo: memFree=116779368/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=50.97 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 5097 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 58271
/proc/meminfo: memFree=116751440/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=102.03 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 10203 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 58275
/proc/meminfo: memFree=116740084/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=161.88 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 16188 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 58281
/proc/meminfo: memFree=116438736/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=221.74 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 22174 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 58283
/proc/meminfo: memFree=116425592/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=281.59 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 28159 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 58285
/proc/meminfo: memFree=116322076/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=341.44 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 34144 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

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

# cumulated CPU time of all completed processes:  user=368.905 s, system=0.107609 s

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

[startup+345.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 58285
/proc/meminfo: memFree=116316096/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=344.73 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 34473 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 344.73 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+358.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 58285
/proc/meminfo: memFree=116310380/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=34740 memory=12772 CPUtime=357.5 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 2009 0 0 0 35750 0 0 0 20 0 1 0 54880356 35573760 3193 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 8685 3193 1024 1200 0 7165 0
Current children cumulated CPU time: 357.5 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12772 KiB

[startup+364.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 58286
/proc/meminfo: memFree=116170488/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=92848 memory=75720 CPUtime=363.89 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 12931 0 0 0 36383 6 0 0 20 0 1 0 54880356 95076352 18930 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 23212 18930 1248 1200 0 21692 0
Current children cumulated CPU time: 363.89 s
Current children cumulated vsize: 92848 KiB
Current children cumulated memory: 75720 KiB

[startup+368 s]*
/proc/loadavg: 4.04 4.09 4.08 5/250 58286
/proc/meminfo: memFree=116126384/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=99168 memory=82768 CPUtime=367.09 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 14193 0 0 0 36701 8 0 0 20 0 1 0 54880356 101548032 20692 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 24792 20692 1248 1200 0 23272 0
Current children cumulated CPU time: 367.09 s
Current children cumulated vsize: 99168 KiB
Current children cumulated memory: 82768 KiB

[startup+368.8 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 58286
/proc/meminfo: memFree=116126384/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=104392 memory=86864 CPUtime=367.87 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 15217 0 0 0 36779 8 0 0 20 0 1 0 54880356 106897408 21716 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 26098 21716 1248 1200 0 24578 0
Current children cumulated CPU time: 367.87 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 86864 KiB

[startup+369.6 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 58286
/proc/meminfo: memFree=116089712/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=108064 memory=94020 CPUtime=368.67 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 15994 0 0 0 36858 9 0 0 20 0 1 0 54880356 110657536 23505 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 27016 23505 1248 1200 0 25496 0
Current children cumulated CPU time: 368.67 s
Current children cumulated vsize: 108064 KiB
Current children cumulated memory: 94020 KiB

[startup+369.8 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 58286
/proc/meminfo: memFree=116089712/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=109408 memory=95044 CPUtime=368.88 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 16256 0 0 0 36878 10 0 0 20 0 1 0 54880356 112033792 23761 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 27352 23761 1248 1200 0 25832 0
Current children cumulated CPU time: 368.88 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 95044 KiB

[startup+369.9 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 58286
/proc/meminfo: memFree=116089712/131382112 swapFree=33010160/33010684
[pid=58221] ppid=58218 vsize=109408 memory=95044 CPUtime=368.97 cores=0,2
/proc/58221/stat : 58221 (Exact) R 58218 58221 56706 0 -1 4194304 16266 0 0 0 36887 10 0 0 20 0 1 0 54880356 112033792 23761 18446744073709551615 4198400 9112445 140723261900368 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22167552 140723261905190 140723261905389 140723261905389 140723261910991 0
/proc/58221/statm: 27352 23761 1248 1200 0 25832 0
Current children cumulated CPU time: 368.97 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 95044 KiB

Child status: 30

Real time (s): 369.929
CPU time (s): 369.012
CPU user time (s): 368.905
CPU system time (s): 0.107609
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 109408
Max. memory (cumulated for all children) (KiB): 95044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.905
system time used= 0.107609
maximum resident set size= 95428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16311
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= 818


# summary of solver processes directly reported to runsolver:
#   pid: 58221
#   total CPU time (s): 369.012
#   total CPU user time (s): 368.905
#   total CPU system time (s): 0.107609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87683 second user time and 3.44942 second system time

The end