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

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

solver pid=16373, runsolver pid=16370

[startup+0.100067 s]*
/proc/loadavg: 4.11 4.10 4.09 5/264 16374
/proc/meminfo: memFree=129436944/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=48868 memory=26416 CPUtime=0.09 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 5914 0 0 0 8 1 0 0 20 0 1 0 30951174 50040832 6604 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 12217 6604 1024 1200 0 10697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48868 KiB
Current children cumulated memory: 26416 KiB

[startup+0.20556 s]*
/proc/loadavg: 4.11 4.10 4.09 5/264 16374
/proc/meminfo: memFree=129412876/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=68448 memory=42880 CPUtime=0.19 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 9267 0 0 0 18 1 0 0 20 0 1 0 30951174 70090752 10720 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 17112 10720 1024 1200 0 15592 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68448 KiB
Current children cumulated memory: 42880 KiB

[startup+0.305531 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 16374
/proc/meminfo: memFree=129412876/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=72580 memory=53128 CPUtime=0.29 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 10318 0 0 0 27 2 0 0 20 0 1 0 30951174 74321920 13282 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 18145 13282 1024 1200 0 16625 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72580 KiB
Current children cumulated memory: 53128 KiB

[startup+0.700197 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 16374
/proc/meminfo: memFree=129372552/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=127020 memory=115660 CPUtime=0.66 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 20828 0 0 0 62 4 0 0 20 0 1 0 30951174 130068480 28915 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 31755 28915 1024 1200 0 30235 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 127020 KiB
Current children cumulated memory: 115660 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 16374
/proc/meminfo: memFree=129279492/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=384836 memory=297996 CPUtime=1.46 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 47812 0 0 0 135 11 0 0 20 0 1 0 30951174 394072064 74499 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 96209 74499 1024 1200 0 94689 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 384836 KiB
Current children cumulated memory: 297996 KiB

[startup+3.10538 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 16374
/proc/meminfo: memFree=128971880/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=3.04 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78586 0 0 0 286 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+6.30017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 16374
/proc/meminfo: memFree=128972216/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=6.23 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78653 0 0 0 605 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 16374
/proc/meminfo: memFree=128972468/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=12.6 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78720 0 0 0 1242 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 16374
/proc/meminfo: memFree=128972720/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=25.36 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78773 0 0 0 2518 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 16375
/proc/meminfo: memFree=128965164/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=50.89 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78854 0 0 0 5071 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 16376
/proc/meminfo: memFree=128965044/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=101.92 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 78988 0 0 0 10174 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 16378
/proc/meminfo: memFree=128953548/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=161.73 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 79041 0 0 0 16155 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 16380
/proc/meminfo: memFree=128971552/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=221.54 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 79122 0 0 0 22136 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 16382
/proc/meminfo: memFree=128975620/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=281.35 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 79122 0 0 0 28117 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 16474
/proc/meminfo: memFree=128277628/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=341.17 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 79191 0 0 0 34099 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

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

# cumulated CPU time of all completed processes:  user=388.095 s, system=0.458801 s

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

[startup+358.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 16475
/proc/meminfo: memFree=128254196/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=533796 memory=482588 CPUtime=357.21 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 79199 0 0 0 35703 18 0 0 20 0 1 0 30951174 546607104 120647 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 133449 120647 1024 1200 0 131929 0
Current children cumulated CPU time: 357.21 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 482588 KiB

[startup+371.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127561196/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1150468 memory=1093916 CPUtime=369.97 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 110335 0 0 0 36956 41 0 0 20 0 1 0 30951174 1178079232 273479 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 287617 273479 1184 1200 0 286097 0
Current children cumulated CPU time: 369.97 s
Current children cumulated vsize: 1150468 KiB
Current children cumulated memory: 1093916 KiB

[startup+377.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127585108/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1165896 memory=1106128 CPUtime=376.35 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 111344 0 0 0 37592 43 0 0 20 0 1 0 30951174 1193877504 276532 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 291474 276532 1184 1200 0 289954 0
Current children cumulated CPU time: 376.35 s
Current children cumulated vsize: 1165896 KiB
Current children cumulated memory: 1106128 KiB

[startup+384 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127595392/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1181584 memory=1114320 CPUtime=382.73 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 111859 0 0 0 38230 43 0 0 20 0 1 0 30951174 1209942016 278580 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 295396 278580 1184 1200 0 293876 0
Current children cumulated CPU time: 382.73 s
Current children cumulated vsize: 1181584 KiB
Current children cumulated memory: 1114320 KiB

[startup+387.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127596020/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1181584 memory=1114320 CPUtime=385.92 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 111859 0 0 0 38549 43 0 0 20 0 1 0 30951174 1209942016 278580 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 295396 278580 1184 1200 0 293876 0
Current children cumulated CPU time: 385.92 s
Current children cumulated vsize: 1181584 KiB
Current children cumulated memory: 1114320 KiB

[startup+388.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127596020/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1181584 memory=1114320 CPUtime=387.51 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 111892 0 0 0 38708 43 0 0 20 0 1 0 30951174 1209942016 278580 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 295396 278580 1184 1200 0 293876 0
Current children cumulated CPU time: 387.51 s
Current children cumulated vsize: 1181584 KiB
Current children cumulated memory: 1114320 KiB

[startup+389.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127596020/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1181584 memory=1116368 CPUtime=388.31 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 111907 0 0 0 38788 43 0 0 20 0 1 0 30951174 1209942016 279092 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 295396 279092 1184 1200 0 293876 0
Current children cumulated CPU time: 388.31 s
Current children cumulated vsize: 1181584 KiB
Current children cumulated memory: 1116368 KiB

[startup+389.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 16476
/proc/meminfo: memFree=127596020/131250000 swapFree=33010684/33010684
[pid=16373] ppid=16370 vsize=1155892 memory=1099604 CPUtime=388.51 cores=4,6
/proc/16373/stat : 16373 (Exact) R 16370 16373 14937 0 -1 4194304 112861 0 0 0 38807 44 0 0 20 0 1 0 30951174 1183633408 274901 18446744073709551615 4198400 9112445 140736140571712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34308096 140736140572966 140736140573165 140736140573165 140736140578767 0
/proc/16373/statm: 288973 274901 1248 1200 0 287453 0
Current children cumulated CPU time: 388.51 s
Current children cumulated vsize: 1155892 KiB
Current children cumulated memory: 1099604 KiB

Child status: 30

Real time (s): 389.833
CPU time (s): 388.554
CPU user time (s): 388.095
CPU system time (s): 0.458801
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 1341996
Max. memory (cumulated for all children) (KiB): 1274116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.095
system time used= 0.458801
maximum resident set size= 1289604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112862
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= 20
involuntary context switches= 191


# summary of solver processes directly reported to runsolver:
#   pid: 16373
#   total CPU time (s): 388.554
#   total CPU user time (s): 388.095
#   total CPU system time (s): 0.458801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.617477 second user time and 1.90106 second system time

The end