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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=17138, runsolver pid=17135

[startup+0.100064 s]*
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=128406088/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=48732 memory=27240 CPUtime=0.09 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 5097 0 0 0 9 0 0 0 20 0 1 0 30824696 49901568 6810 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 12183 6810 1024 1200 0 10663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48732 KiB
Current children cumulated memory: 27240 KiB

[startup+0.205733 s]*
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=128378304/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=68328 memory=45820 CPUtime=0.2 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 8469 0 0 0 19 1 0 0 20 0 1 0 30824696 69967872 11455 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 17082 11455 1024 1200 0 15562 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68328 KiB
Current children cumulated memory: 45820 KiB

[startup+0.305671 s]*
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=128350204/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=75624 memory=58160 CPUtime=0.3 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 10535 0 0 0 29 1 0 0 20 0 1 0 30824696 77438976 14540 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 18906 14540 1024 1200 0 17386 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75624 KiB
Current children cumulated memory: 58160 KiB

[startup+0.700173 s]
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=128260796/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=203292 memory=155800 CPUtime=0.68 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 25253 0 0 0 64 4 0 0 20 0 1 0 30824696 208171008 38950 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 50823 38950 1024 1200 0 49303 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 203292 KiB
Current children cumulated memory: 155800 KiB

[startup+1.50017 s]
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=128127572/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=345832 memory=278136 CPUtime=1.49 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 51545 0 0 0 139 10 0 0 20 0 1 0 30824696 354131968 69534 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 86458 69534 1024 1200 0 84938 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 345832 KiB
Current children cumulated memory: 278136 KiB

[startup+3.10565 s]
/proc/loadavg: 4.77 4.29 4.15 5/265 17139
/proc/meminfo: memFree=127361880/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=3.09 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77542 0 0 0 292 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+6.30017 s]
/proc/loadavg: 4.71 4.28 4.15 5/265 17139
/proc/meminfo: memFree=126847564/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=6.27 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77609 0 0 0 610 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.65 4.28 4.15 5/265 17139
/proc/meminfo: memFree=126675172/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=12.65 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77676 0 0 0 1248 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.51 4.26 4.15 5/265 17139
/proc/meminfo: memFree=126691332/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=25.4 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77729 0 0 0 2523 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+51.1058 s]
/proc/loadavg: 4.40 4.26 4.15 5/265 17140
/proc/meminfo: memFree=126693384/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=50.9 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77810 0 0 0 5073 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.25 4.15 5/265 17145
/proc/meminfo: memFree=126691620/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=101.89 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77944 0 0 0 10172 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.21 4.15 5/265 17147
/proc/meminfo: memFree=126689488/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=161.65 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 77997 0 0 0 16148 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/264 17150
/proc/meminfo: memFree=126711984/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=221.4 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 78078 0 0 0 22123 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/264 17198
/proc/meminfo: memFree=125112920/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=281.16 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 78078 0 0 0 28099 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/264 17200
/proc/meminfo: memFree=125195788/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=340.92 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 78145 0 0 0 34075 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

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

# cumulated CPU time of all completed processes:  user=389.098 s, system=0.427671 s

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

[startup+358.4 s]
/proc/loadavg: 4.09 4.15 4.13 5/264 17201
/proc/meminfo: memFree=125198664/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=532760 memory=480536 CPUtime=356.95 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 78145 0 0 0 35678 17 0 0 20 0 1 0 30824696 545546240 120134 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 133190 120134 1024 1200 0 131670 0
Current children cumulated CPU time: 356.95 s
Current children cumulated vsize: 532760 KiB
Current children cumulated memory: 480536 KiB

[startup+371.2 s]
/proc/loadavg: 4.07 4.14 4.13 5/263 17215
/proc/meminfo: memFree=125425728/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1153788 memory=1095300 CPUtime=369.7 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 109620 0 0 0 36931 39 0 0 20 0 1 0 30824696 1181478912 273825 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 288447 273825 1184 1200 0 286927 0
Current children cumulated CPU time: 369.7 s
Current children cumulated vsize: 1153788 KiB
Current children cumulated memory: 1095300 KiB

[startup+384 s]*
/proc/loadavg: 4.14 4.16 4.13 5/264 17246
/proc/meminfo: memFree=125849216/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1162044 memory=1101444 CPUtime=382.46 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 110134 0 0 0 38206 40 0 0 20 0 1 0 30824696 1189933056 275361 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 290511 275361 1184 1200 0 288991 0
Current children cumulated CPU time: 382.46 s
Current children cumulated vsize: 1162044 KiB
Current children cumulated memory: 1101444 KiB

[startup+387.2 s]
/proc/loadavg: 4.12 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125874608/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1162044 memory=1101444 CPUtime=385.64 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 110134 0 0 0 38524 40 0 0 20 0 1 0 30824696 1189933056 275361 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 290511 275361 1184 1200 0 288991 0
Current children cumulated CPU time: 385.64 s
Current children cumulated vsize: 1162044 KiB
Current children cumulated memory: 1101444 KiB

[startup+388.8 s]
/proc/loadavg: 4.12 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125872536/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1162044 memory=1101444 CPUtime=387.24 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 110134 0 0 0 38684 40 0 0 20 0 1 0 30824696 1189933056 275361 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 290511 275361 1184 1200 0 288991 0
Current children cumulated CPU time: 387.24 s
Current children cumulated vsize: 1162044 KiB
Current children cumulated memory: 1101444 KiB

[startup+390.4 s]
/proc/loadavg: 4.11 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125879028/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1162044 memory=1103492 CPUtime=388.83 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 110185 0 0 0 38843 40 0 0 20 0 1 0 30824696 1189933056 275873 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 290511 275873 1184 1200 0 288991 0
Current children cumulated CPU time: 388.83 s
Current children cumulated vsize: 1162044 KiB
Current children cumulated memory: 1103492 KiB

[startup+390.8 s]
/proc/loadavg: 4.11 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125879028/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1162044 memory=1103492 CPUtime=389.23 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 110185 0 0 0 38883 40 0 0 20 0 1 0 30824696 1189933056 275873 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 290511 275873 1184 1200 0 288991 0
Current children cumulated CPU time: 389.23 s
Current children cumulated vsize: 1162044 KiB
Current children cumulated memory: 1103492 KiB

[startup+391 s]*
/proc/loadavg: 4.11 4.15 4.13 5/264 17246
/proc/meminfo: memFree=125893512/131250000 swapFree=33010684/33010684
[pid=17138] ppid=17135 vsize=1145732 memory=1088280 CPUtime=389.44 cores=1,3
/proc/17138/stat : 17138 (Exact) R 17135 17138 15263 0 -1 4194304 111525 0 0 0 38903 41 0 0 20 0 1 0 30824696 1173229568 272070 18446744073709551615 4198400 9112445 140721109984576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42115072 140721109989690 140721109989869 140721109989869 140721109995471 0
/proc/17138/statm: 286433 272070 1248 1200 0 284913 0
Current children cumulated CPU time: 389.44 s
Current children cumulated vsize: 1145732 KiB
Current children cumulated memory: 1088280 KiB

Child status: 30

Real time (s): 391.081
CPU time (s): 389.526
CPU user time (s): 389.098
CPU system time (s): 0.427671
CPU usage (%): 99.6023
Max. virtual memory (cumulated for all children) (KiB): 1296696
Max. memory (cumulated for all children) (KiB): 1244244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.098
system time used= 0.427671
maximum resident set size= 1289484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111526
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= 529


# summary of solver processes directly reported to runsolver:
#   pid: 17138
#   total CPU time (s): 389.526
#   total CPU user time (s): 389.098
#   total CPU system time (s): 0.427671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.644872 second user time and 1.99025 second system time

The end