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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483271-1751221099/watcher-4483271-1751221099 -o /tmp/evaluation-result-4483271-1751221099/solver-4483271-1751221099 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751218188-28580 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1963466838 --ls=360 HOME/instance-4483271-1751221099.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=29594, runsolver pid=29591
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981800/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=0.1 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 9 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+0.2055 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981800/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=0.2 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 19 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+0.305449 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981800/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=0.3 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 29 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+0.700119 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981800/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=0.69 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 68 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+1.50013 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981548/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=1.49 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 148 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+3.10524 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 29595
/proc/meminfo: memFree=129981924/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=3.09 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 308 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+6.30011 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 29595
/proc/meminfo: memFree=129981924/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=6.28 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 627 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 29595
/proc/meminfo: memFree=129981924/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=12.66 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 1265 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 29595
/proc/meminfo: memFree=129981924/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=25.42 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 2541 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+51.1052 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 29596
/proc/meminfo: memFree=129978360/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=50.96 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4011 0 0 0 5095 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 29643
/proc/meminfo: memFree=129961680/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=17844 CPUtime=102.02 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4013 0 0 0 10201 1 0 0 20 0 1 0 37732424 42229760 4461 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4461 1024 1200 0 8790 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17844 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 29649
/proc/meminfo: memFree=129956168/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=161.89 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4028 0 0 0 16188 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 29651
/proc/meminfo: memFree=129965680/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=221.76 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4036 0 0 0 22175 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29654
/proc/meminfo: memFree=129960708/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=281.63 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4040 0 0 0 28162 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129930580/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=341.5 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 34149 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

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

# cumulated CPU time of all completed processes:  user=359.879 s, system=0.024933 s

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

[startup+345.6 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129926736/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=344.79 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 34478 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 344.79 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+352 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927240/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=351.18 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 35117 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 351.18 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+355.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927744/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=354.37 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 35436 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 354.37 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+358.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927996/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=357.57 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 35756 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 357.57 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+360 s]*
/proc/loadavg: 4.07 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927996/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=41240 memory=18868 CPUtime=359.17 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 4044 0 0 0 35916 1 0 0 20 0 1 0 37732424 42229760 4717 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 10310 4717 1024 1200 0 8790 0
Current children cumulated CPU time: 359.17 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 18868 KiB

[startup+360.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927996/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=58556 memory=36932 CPUtime=359.56 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 9306 0 0 0 35954 2 0 0 20 0 1 0 37732424 59961344 9233 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 14639 9233 1248 1200 0 13119 0
Current children cumulated CPU time: 359.56 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 36932 KiB

[startup+360.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927996/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=58556 memory=38984 CPUtime=359.76 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 9307 0 0 0 35974 2 0 0 20 0 1 0 37732424 59961344 9746 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 14639 9746 1248 1200 0 13119 0
Current children cumulated CPU time: 359.76 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 38984 KiB

[startup+360.7 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 29661
/proc/meminfo: memFree=129927996/131250000 swapFree=33010684/33010684
[pid=29594] ppid=29591 vsize=58556 memory=38984 CPUtime=359.86 cores=4,6
/proc/29594/stat : 29594 (Exact) R 29591 29594 28569 0 -1 4194304 9307 0 0 0 35984 2 0 0 20 0 1 0 37732424 59961344 9746 18446744073709551615 4198400 9112445 140727590522512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 16150528 140727590529338 140727590529517 140727590529517 140727590535119 0
/proc/29594/statm: 14639 9746 1248 1200 0 13119 0
Current children cumulated CPU time: 359.86 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 38984 KiB

Child status: 30

Real time (s): 360.736
CPU time (s): 359.904
CPU user time (s): 359.879
CPU system time (s): 0.024933
CPU usage (%): 99.7694
Max. virtual memory (cumulated for all children) (KiB): 58556
Max. memory (cumulated for all children) (KiB): 38984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.879
system time used= 0.024933
maximum resident set size= 39112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9309
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= 6
involuntary context switches= 275


# summary of solver processes directly reported to runsolver:
#   pid: 29594
#   total CPU time (s): 359.904
#   total CPU user time (s): 359.879
#   total CPU system time (s): 0.024933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.662526 second user time and 1.42986 second system time

The end