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: 63665 MiB (62402 MiB free)
  memory of node 1: 64507 MiB (63585 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494575-1751151754/watcher-4494575-1751151754 -o /tmp/evaluation-result-4494575-1751151754/solver-4494575-1751151754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14448 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494575-1751151754.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=18739, runsolver pid=18736
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=129000732/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=89596 memory=18688 CPUtime=0.08 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 2211 0 0 0 8 0 0 0 20 0 1 0 30853275 91746304 4672 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 22399 4672 2208 595 0 7066 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89596 KiB
Current children cumulated memory: 18688 KiB

[startup+0.205556 s]*
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128992920/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=95392 memory=26260 CPUtime=0.19 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 3704 0 0 0 18 1 0 0 20 0 1 0 30853275 97681408 6565 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 23848 6565 2208 595 0 8515 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95392 KiB
Current children cumulated memory: 26260 KiB

[startup+0.305439 s]*
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128992164/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=100024 memory=33028 CPUtime=0.29 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 4889 0 0 0 28 1 0 0 20 0 1 0 30853275 102424576 8257 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 25006 8257 2208 595 0 9673 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100024 KiB
Current children cumulated memory: 33028 KiB

[startup+0.700183 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128890912/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=187896 memory=123560 CPUtime=0.67 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 18987 0 0 0 63 4 0 0 20 0 1 0 30853275 192405504 30890 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 46974 30890 2432 595 0 31641 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123560 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128890912/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=187896 memory=123560 CPUtime=1.48 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 18987 0 0 0 143 5 0 0 20 0 1 0 30853275 192405504 30890 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 46974 30890 2432 595 0 31641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123560 KiB

[startup+3.10543 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128891072/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=187896 memory=123560 CPUtime=3.08 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 18996 0 0 0 303 5 0 0 20 0 1 0 30853275 192405504 30890 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 46974 30890 2432 595 0 31641 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 187896 KiB
Current children cumulated memory: 123560 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.13 4.09 5/266 18740
/proc/meminfo: memFree=128859124/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=6.26 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29152 0 0 0 615 11 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 18740
/proc/meminfo: memFree=128859124/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=12.65 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 1241 24 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 18740
/proc/meminfo: memFree=128859124/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=25.42 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 2495 47 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 18741
/proc/meminfo: memFree=128846988/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=50.96 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 5001 95 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

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

# cumulated CPU time of all completed processes:  user=62.5525 s, system=1.16913 s

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

[startup+51.2002 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 18741
/proc/meminfo: memFree=128846988/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=51.05 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 5010 95 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+57.6002 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 18741
/proc/meminfo: memFree=128838472/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=57.44 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 5638 106 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+60.8002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 18742
/proc/meminfo: memFree=128838504/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=60.63 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 5952 111 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 60.63 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+62.4002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 18742
/proc/meminfo: memFree=128822120/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=62.23 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 6109 114 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 62.23 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+63.2002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 18742
/proc/meminfo: memFree=128822200/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=230928 memory=164264 CPUtime=63.02 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29154 0 0 0 6187 115 0 0 20 0 1 0 30853275 236470272 41066 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57732 41066 2464 595 0 42399 0
Current children cumulated CPU time: 63.02 s
Current children cumulated vsize: 230928 KiB
Current children cumulated memory: 164264 KiB

[startup+63.6002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 18742
/proc/meminfo: memFree=128822200/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=231192 memory=164776 CPUtime=63.42 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29240 0 0 0 6226 116 0 0 20 0 1 0 30853275 236740608 41194 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57798 41194 2496 595 0 42465 0
Current children cumulated CPU time: 63.42 s
Current children cumulated vsize: 231192 KiB
Current children cumulated memory: 164776 KiB

[startup+63.8002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 18742
/proc/meminfo: memFree=128822200/131250000 swapFree=33010684/33010684
[pid=18739] ppid=18736 vsize=231720 memory=165288 CPUtime=63.62 cores=5,7
/proc/18739/stat : 18739 (SynLSCD-PS) R 18736 18739 14435 0 -1 4194304 29384 0 0 0 6246 116 0 0 20 0 1 0 30853275 237281280 41322 18446744073709551615 94342599438336 94342601873337 140731409185280 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94342602353912 94342602386944 94342617591808 140731409189216 140731409189352 140731409189352 140731409194954 0
/proc/18739/statm: 57930 41322 2496 595 0 42597 0
Current children cumulated CPU time: 63.62 s
Current children cumulated vsize: 231720 KiB
Current children cumulated memory: 165288 KiB

Child status: 30

Real time (s): 63.8879
CPU time (s): 63.7216
CPU user time (s): 62.5525
CPU system time (s): 1.16913
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 231720
Max. memory (cumulated for all children) (KiB): 165288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.5525
system time used= 1.16913
maximum resident set size= 165288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29412
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= 33


# summary of solver processes directly reported to runsolver:
#   pid: 18739
#   total CPU time (s): 63.7216
#   total CPU user time (s): 62.5525
#   total CPU system time (s): 1.16913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134609 second user time and 0.301606 second system time

The end