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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482187-1751151548/watcher-4482187-1751151548 -o /tmp/evaluation-result-4482187-1751151548/solver-4482187-1751151548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751145766-15273 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=329026931 --ls=360 HOME/instance-4482187-1751151548.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=16853, runsolver pid=16850

[startup+0.100064 s]*
/proc/loadavg: 4.14 4.10 4.09 3/255 16864
/proc/meminfo: memFree=129963816/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=51596 memory=28676 CPUtime=0.09 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 5596 0 0 0 8 1 0 0 20 0 1 0 30777339 52834304 7169 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 12899 7169 1024 1200 0 11379 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51596 KiB
Current children cumulated memory: 28676 KiB

[startup+0.205641 s]*
/proc/loadavg: 4.14 4.10 4.09 3/255 16873
/proc/meminfo: memFree=129952824/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=73312 memory=49440 CPUtime=0.19 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 8625 0 0 0 16 3 0 0 20 0 1 0 30777339 75071488 12360 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 18328 12360 1024 1200 0 16808 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73312 KiB
Current children cumulated memory: 49440 KiB

[startup+0.305471 s]*
/proc/loadavg: 4.14 4.10 4.09 4/256 16875
/proc/meminfo: memFree=129928400/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=69324 memory=49512 CPUtime=0.28 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 9402 0 0 0 25 3 0 0 20 0 1 0 30777339 70987776 12378 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 17331 12378 1024 1200 0 15811 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69324 KiB
Current children cumulated memory: 49512 KiB

[startup+0.700185 s]
/proc/loadavg: 4.14 4.10 4.09 4/258 16881
/proc/meminfo: memFree=129835292/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=122248 memory=110108 CPUtime=0.67 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 19449 0 0 0 61 6 0 0 20 0 1 0 30777339 125181952 27527 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 30562 27527 1024 1200 0 29042 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 122248 KiB
Current children cumulated memory: 110108 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.10 4.09 5/260 16912
/proc/meminfo: memFree=129643908/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=1.46 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27482 0 0 0 136 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+3.10541 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 16922
/proc/meminfo: memFree=128994692/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=3.06 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27505 0 0 0 296 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 16922
/proc/meminfo: memFree=128137268/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=6.24 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27528 0 0 0 614 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 16922
/proc/meminfo: memFree=126980512/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=12.61 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27551 0 0 0 1251 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 16922
/proc/meminfo: memFree=126997444/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=25.36 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27556 0 0 0 2526 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.12 4.10 5/264 16924
/proc/meminfo: memFree=127061084/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=50.86 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27597 0 0 0 5076 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 16926
/proc/meminfo: memFree=127056648/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=101.83 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27643 0 0 0 10173 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 16943
/proc/meminfo: memFree=127040448/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=164668 CPUtime=161.56 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27687 0 0 0 16146 10 0 0 20 0 1 0 30777339 200404992 41167 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 41167 1024 1200 0 47407 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 164668 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 16945
/proc/meminfo: memFree=127030692/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=169788 CPUtime=221.3 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27779 0 0 0 22120 10 0 0 20 0 1 0 30777339 200404992 42447 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 42447 1024 1200 0 47407 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 169788 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 16947
/proc/meminfo: memFree=127031344/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=169788 CPUtime=281.06 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27848 0 0 0 28096 10 0 0 20 0 1 0 30777339 200404992 42447 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 42447 1024 1200 0 47407 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 169788 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 16949
/proc/meminfo: memFree=127015164/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=169788 CPUtime=340.82 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27848 0 0 0 34072 10 0 0 20 0 1 0 30777339 200404992 42447 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 42447 1024 1200 0 47407 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 169788 KiB

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

# cumulated CPU time of all completed processes:  user=368.384 s, system=0.186966 s

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

[startup+345.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 16949
/proc/meminfo: memFree=127015416/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=169788 CPUtime=344.11 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27917 0 0 0 34401 10 0 0 20 0 1 0 30777339 200404992 42447 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 42447 1024 1200 0 47407 0
Current children cumulated CPU time: 344.11 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 169788 KiB

[startup+358.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/263 16950
/proc/meminfo: memFree=127019424/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=195708 memory=169788 CPUtime=356.86 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 27917 0 0 0 35676 10 0 0 20 0 1 0 30777339 200404992 42447 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 48927 42447 1024 1200 0 47407 0
Current children cumulated CPU time: 356.86 s
Current children cumulated vsize: 195708 KiB
Current children cumulated memory: 169788 KiB

[startup+364.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126525748/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=363.23 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36306 17 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 363.23 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

[startup+368 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126553068/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=366.43 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36625 18 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 366.43 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

[startup+368.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126553068/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=367.22 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36704 18 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 367.22 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

[startup+369.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=126495116/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=368.02 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36784 18 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 368.02 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

[startup+370 s]*
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=125432332/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=368.42 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36824 18 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 368.42 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

[startup+370.106 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 16954
/proc/meminfo: memFree=125432332/131250000 swapFree=33010684/33010684
[pid=16853] ppid=16850 vsize=410552 memory=384308 CPUtime=368.52 cores=0,2
/proc/16853/stat : 16853 (Exact) R 16850 16853 15263 0 -1 4194304 43221 0 0 0 36834 18 0 0 20 0 1 0 30777339 420405248 96077 18446744073709551615 4198400 9112445 140730170250800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29573120 140730170259771 140730170259949 140730170259949 140730170265551 0
/proc/16853/statm: 102638 96077 1184 1200 0 101118 0
Current children cumulated CPU time: 368.52 s
Current children cumulated vsize: 410552 KiB
Current children cumulated memory: 384308 KiB

Child status: 30

Real time (s): 370.151
CPU time (s): 368.571
CPU user time (s): 368.384
CPU system time (s): 0.186966
CPU usage (%): 99.5732
Max. virtual memory (cumulated for all children) (KiB): 451676
Max. memory (cumulated for all children) (KiB): 425380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.384
system time used= 0.186966
maximum resident set size= 425380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43228
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= 47
involuntary context switches= 570


# summary of solver processes directly reported to runsolver:
#   pid: 16853
#   total CPU time (s): 368.571
#   total CPU user time (s): 368.384
#   total CPU system time (s): 0.186966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.735922 second user time and 1.70661 second system time

The end