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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494574-1751150473/watcher-4494574-1751150473 -o /tmp/evaluation-result-4494574-1751150473/solver-4494574-1751150473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751143366-14982 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494574-1751150473.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=19233, runsolver pid=19230

[startup+0.100066 s]*
/proc/loadavg: 4.08 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128424164/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=90252 memory=19260 CPUtime=0.09 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 2391 0 0 0 8 1 0 0 20 0 1 0 30724904 92418048 4815 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 22563 4815 2208 595 0 7230 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90252 KiB
Current children cumulated memory: 19260 KiB

[startup+0.205597 s]*
/proc/loadavg: 4.08 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128416352/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=96448 memory=27288 CPUtime=0.19 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 3960 0 0 0 18 1 0 0 20 0 1 0 30724904 98762752 6822 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 24112 6822 2208 595 0 8779 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96448 KiB
Current children cumulated memory: 27288 KiB

[startup+0.305484 s]*
/proc/loadavg: 4.08 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128414588/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=100432 memory=33472 CPUtime=0.29 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 5016 0 0 0 28 1 0 0 20 0 1 0 30724904 102842368 8368 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 25108 8368 2208 595 0 9775 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100432 KiB
Current children cumulated memory: 33472 KiB

[startup+0.700175 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128311760/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=187896 memory=122088 CPUtime=0.68 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 19116 0 0 0 63 5 0 0 20 0 1 0 30724904 192405504 30522 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 46974 30522 2464 595 0 31641 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 122088 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128311760/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=187896 memory=122088 CPUtime=1.47 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 19116 0 0 0 142 5 0 0 20 0 1 0 30724904 192405504 30522 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 46974 30522 2464 595 0 31641 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 122088 KiB

[startup+3.10546 s]
/proc/loadavg: 4.07 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128311760/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=187896 memory=122088 CPUtime=3.08 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 19124 0 0 0 302 6 0 0 20 0 1 0 30724904 192405504 30522 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 46974 30522 2464 595 0 31641 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 122088 KiB

[startup+6.30018 s]
/proc/loadavg: 4.07 4.14 4.10 5/264 19234
/proc/meminfo: memFree=128271720/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=230928 memory=162664 CPUtime=6.27 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 29279 0 0 0 613 14 0 0 20 0 1 0 30724904 236470272 40666 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 57732 40666 2464 595 0 42399 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 162664 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 19234
/proc/meminfo: memFree=128271720/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=230928 memory=162664 CPUtime=12.65 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 29281 0 0 0 1240 25 0 0 20 0 1 0 30724904 236470272 40666 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 57732 40666 2464 595 0 42399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 162664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 19235
/proc/meminfo: memFree=128271720/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=230928 memory=162664 CPUtime=25.42 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 29281 0 0 0 2491 51 0 0 20 0 1 0 30724904 236470272 40666 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 57732 40666 2464 595 0 42399 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 162664 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 19235
/proc/meminfo: memFree=128271720/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=230928 memory=162664 CPUtime=50.97 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 29281 0 0 0 4996 101 0 0 20 0 1 0 30724904 236470272 40666 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 57732 40666 2464 595 0 42399 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 162664 KiB

[startup+102.3 s]
/proc/loadavg: 4.45 4.23 4.14 5/264 19238
/proc/meminfo: memFree=128271068/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=102.04 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 10046 158 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

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

# cumulated CPU time of all completed processes:  user=139.597 s, system=2.39426 s

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

[startup+102.4 s]
/proc/loadavg: 4.45 4.23 4.14 5/264 19238
/proc/meminfo: memFree=128271068/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=102.14 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 10056 158 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+128 s]*
/proc/loadavg: 4.33 4.23 4.14 5/265 19242
/proc/meminfo: memFree=128270648/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=127.68 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 12560 208 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 127.68 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+134.4 s]
/proc/loadavg: 4.30 4.22 4.14 5/265 19242
/proc/meminfo: memFree=128270892/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=134.06 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13185 221 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 134.06 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+137.6 s]
/proc/loadavg: 4.30 4.22 4.14 5/265 19242
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=137.26 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13498 228 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 137.26 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+140.8 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 19242
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=140.45 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13810 235 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 140.45 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+141.6 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 19243
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=141.25 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13888 237 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 141.25 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+142 s]*
/proc/loadavg: 4.28 4.22 4.13 5/265 19243
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=141.65 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13928 237 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 141.65 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+142.2 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 19243
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=141.85 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13947 238 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 141.85 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

[startup+142.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/265 19243
/proc/meminfo: memFree=128270956/131250000 swapFree=33010684/33010684
[pid=19233] ppid=19230 vsize=237896 memory=175924 CPUtime=141.94 cores=4,6
/proc/19233/stat : 19233 (SynLSCD) R 19230 19233 14971 0 -1 4194304 31047 0 0 0 13956 238 0 0 20 0 1 0 30724904 243605504 43981 18446744073709551615 94814024228864 94814026663017 140735290862160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94814027144440 94814027177472 94814048952320 140735290870118 140735290870251 140735290870251 140735290875853 0
/proc/19233/statm: 59474 43981 2496 595 0 44141 0
Current children cumulated CPU time: 141.94 s
Current children cumulated vsize: 237896 KiB
Current children cumulated memory: 175924 KiB

Child status: 30

Real time (s): 142.336
CPU time (s): 141.992
CPU user time (s): 139.597
CPU system time (s): 2.39426
CPU usage (%): 99.7581
Max. virtual memory (cumulated for all children) (KiB): 237896
Max. memory (cumulated for all children) (KiB): 175924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.597
system time used= 2.39426
maximum resident set size= 175924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31078
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= 139
involuntary context switches= 125


# summary of solver processes directly reported to runsolver:
#   pid: 19233
#   total CPU time (s): 141.992
#   total CPU user time (s): 139.597
#   total CPU system time (s): 2.39426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.239122 second user time and 0.688323 second system time

The end