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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482209-1751152045/watcher-4482209-1751152045 -o /tmp/evaluation-result-4482209-1751152045/solver-4482209-1751152045 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751146546-15376 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=371843392 --ls=360 HOME/instance-4482209-1751152045.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=16832, runsolver pid=16829

[startup+0.100076 s]*
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126713848/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=35076 memory=12112 CPUtime=0.1 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 2561 0 0 0 10 0 0 0 20 0 1 0 30883867 35917824 3028 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 8769 3028 1024 1200 0 7249 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35076 KiB
Current children cumulated memory: 12112 KiB

[startup+0.213846 s]*
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126718008/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=40960 memory=20112 CPUtime=0.21 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 3974 0 0 0 20 1 0 0 20 0 1 0 30883867 41943040 5028 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 10240 5028 1024 1200 0 8720 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 20112 KiB

[startup+0.313936 s]*
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126713912/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=48772 memory=26120 CPUtime=0.31 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 5350 0 0 0 30 1 0 0 20 0 1 0 30883867 49942528 6530 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 12193 6530 1024 1200 0 10673 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48772 KiB
Current children cumulated memory: 26120 KiB

[startup+0.700288 s]
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126693940/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=70640 memory=53020 CPUtime=0.69 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 9792 0 0 0 65 4 0 0 20 0 1 0 30883867 72335360 13255 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 17660 13255 1024 1200 0 16140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70640 KiB
Current children cumulated memory: 53020 KiB

[startup+1.50028 s]
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126657584/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=180548 memory=142116 CPUtime=1.48 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 27479 0 0 0 140 8 0 0 20 0 1 0 30883867 184881152 35529 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 45137 35529 1024 1200 0 43617 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180548 KiB
Current children cumulated memory: 142116 KiB

[startup+3.1138 s]
/proc/loadavg: 4.08 4.09 4.11 5/253 16833
/proc/meminfo: memFree=126593636/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=3.09 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28115 0 0 0 300 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+6.30025 s]
/proc/loadavg: 4.07 4.09 4.11 5/252 16833
/proc/meminfo: memFree=126618252/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=6.27 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28137 0 0 0 618 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.10 4.11 5/252 16833
/proc/meminfo: memFree=126637252/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=12.65 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28159 0 0 0 1256 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.12 4.12 5/252 16833
/proc/meminfo: memFree=126636424/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=25.4 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28163 0 0 0 2531 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+51.1138 s]
/proc/loadavg: 4.12 4.11 4.11 5/252 16833
/proc/meminfo: memFree=126627012/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=50.93 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28203 0 0 0 5084 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/253 16881
/proc/meminfo: memFree=129418556/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=101.94 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28247 0 0 0 10185 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/253 16887
/proc/meminfo: memFree=129386636/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=161.75 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28269 0 0 0 16166 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/253 16889
/proc/meminfo: memFree=129390296/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=221.56 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28291 0 0 0 22147 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/253 16894
/proc/meminfo: memFree=129358120/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=165048 CPUtime=281.33 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28379 0 0 0 28124 9 0 0 20 0 1 0 30883867 200675328 41262 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 41262 1024 1200 0 47473 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 165048 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 16940
/proc/meminfo: memFree=129475976/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=170168 CPUtime=341.16 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28385 0 0 0 34107 9 0 0 20 0 1 0 30883867 200675328 42542 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 42542 1024 1200 0 47473 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 170168 KiB

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

# cumulated CPU time of all completed processes:  user=368.343 s, system=0.183348 s

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

[startup+345.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/251 16940
/proc/meminfo: memFree=129476228/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=170168 CPUtime=344.45 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28454 0 0 0 34436 9 0 0 20 0 1 0 30883867 200675328 42542 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 42542 1024 1200 0 47473 0
Current children cumulated CPU time: 344.45 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 170168 KiB

[startup+358.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 16940
/proc/meminfo: memFree=129468288/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=195972 memory=170168 CPUtime=357.21 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 28454 0 0 0 35712 9 0 0 20 0 1 0 30883867 200675328 42542 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 48993 42542 1024 1200 0 47473 0
Current children cumulated CPU time: 357.21 s
Current children cumulated vsize: 195972 KiB
Current children cumulated memory: 170168 KiB

[startup+364.8 s]
/proc/loadavg: 4.21 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129205020/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=381372 CPUtime=363.59 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44488 0 0 0 36342 17 0 0 20 0 1 0 30883867 419340288 95343 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95343 1184 1200 0 100858 0
Current children cumulated CPU time: 363.59 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 381372 KiB

[startup+368 s]*
/proc/loadavg: 4.21 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129207612/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=381372 CPUtime=366.79 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44488 0 0 0 36662 17 0 0 20 0 1 0 30883867 419340288 95343 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95343 1184 1200 0 100858 0
Current children cumulated CPU time: 366.79 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 381372 KiB

[startup+368.8 s]
/proc/loadavg: 4.21 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129207612/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=381628 CPUtime=367.57 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44536 0 0 0 36740 17 0 0 20 0 1 0 30883867 419340288 95407 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95407 1184 1200 0 100858 0
Current children cumulated CPU time: 367.57 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 381628 KiB

[startup+369.2 s]
/proc/loadavg: 4.19 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129213952/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=381628 CPUtime=367.97 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44545 0 0 0 36780 17 0 0 20 0 1 0 30883867 419340288 95407 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95407 1184 1200 0 100858 0
Current children cumulated CPU time: 367.97 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 381628 KiB

[startup+369.6 s]
/proc/loadavg: 4.19 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129213952/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=381756 CPUtime=368.37 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44557 0 0 0 36820 17 0 0 20 0 1 0 30883867 419340288 95439 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95439 1184 1200 0 100858 0
Current children cumulated CPU time: 368.37 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 381756 KiB

[startup+369.7 s]
/proc/loadavg: 4.19 4.12 4.10 5/250 16941
/proc/meminfo: memFree=129213952/131382120 swapFree=33010684/33010684
[pid=16832] ppid=16829 vsize=409512 memory=382012 CPUtime=368.47 cores=0,2
/proc/16832/stat : 16832 (Exact) R 16829 16832 15366 0 -1 4194304 44561 0 0 0 36830 17 0 0 20 0 1 0 30883867 419340288 95503 18446744073709551615 4198400 9112445 140720815797744 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 43864064 140720815806779 140720815806957 140720815806957 140720815812559 0
/proc/16832/statm: 102378 95503 1248 1200 0 100858 0
Current children cumulated CPU time: 368.47 s
Current children cumulated vsize: 409512 KiB
Current children cumulated memory: 382012 KiB

Child status: 30

Real time (s): 369.745
CPU time (s): 368.526
CPU user time (s): 368.343
CPU system time (s): 0.183348
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 450636
Max. memory (cumulated for all children) (KiB): 421048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.343
system time used= 0.183348
maximum resident set size= 421048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44564
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= 49
involuntary context switches= 923


# summary of solver processes directly reported to runsolver:
#   pid: 16832
#   total CPU time (s): 368.526
#   total CPU user time (s): 368.343
#   total CPU system time (s): 0.183348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.00603 second user time and 3.72886 second system time

The end