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: 64096 MiB (58790 MiB free)
  memory of node 1: 64473 MiB (59279 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459515-1721873922/watcher-4459515-1721873922 -o /tmp/evaluation-result-4459515-1721873922/solver-4459515-1721873922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207854 --watchdog 3760 mixed-bag HOME/instance-4459515-1721873922.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=214697, runsolver pid=214694

[startup+0.109831 s]*
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120899000/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=85400 memory=11208 CPUtime=0.1 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 1598 0 0 0 10 0 0 0 20 0 1 0 23381199 87449600 2802 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 21350 2802 1731 3002 0 5101 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85400 KiB
Current children cumulated memory: 11208 KiB

[startup+0.213783 s]*
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120885112/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=100844 memory=33460 CPUtime=0.21 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 5773 0 0 0 20 1 0 0 20 0 1 0 23381199 103264256 8365 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 25211 8365 3793 3002 0 8962 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 100844 KiB
Current children cumulated memory: 33460 KiB

[startup+0.313624 s]*
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120883292/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=102224 memory=34780 CPUtime=0.31 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 6116 0 0 0 30 1 0 0 20 0 1 0 23381199 104677376 8695 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 25556 8695 3793 3002 0 9307 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102224 KiB
Current children cumulated memory: 34780 KiB

[startup+0.700315 s]
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120882480/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=103064 memory=35836 CPUtime=0.68 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 6339 0 0 0 67 1 0 0 20 0 1 0 23381199 105537536 8959 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 25766 8959 3793 3002 0 9517 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103064 KiB
Current children cumulated memory: 35836 KiB

[startup+1.50032 s]
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120881420/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=103888 memory=36628 CPUtime=1.48 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 6532 0 0 0 147 1 0 0 20 0 1 0 23381199 106381312 9157 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 25972 9157 3793 3002 0 9723 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 103888 KiB
Current children cumulated memory: 36628 KiB

[startup+3.1135 s]
/proc/loadavg: 4.28 4.24 4.16 5/242 214698
/proc/meminfo: memFree=120871916/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=115524 memory=46420 CPUtime=3.09 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 8855 0 0 0 307 2 0 0 20 0 1 0 23381199 118296576 11605 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 28881 11605 3999 3002 0 12632 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115524 KiB
Current children cumulated memory: 46420 KiB

[startup+6.3003 s]
/proc/loadavg: 4.26 4.23 4.16 5/242 214698
/proc/meminfo: memFree=120777332/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=221752 memory=149980 CPUtime=6.26 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 35771 0 0 0 620 6 0 0 20 0 1 0 23381199 227074048 37495 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 55438 37495 4022 3002 0 39189 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 221752 KiB
Current children cumulated memory: 149980 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.23 4.16 5/242 214699
/proc/meminfo: memFree=120723448/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=264288 memory=190628 CPUtime=12.65 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 46078 0 0 0 1256 9 0 0 20 0 1 0 23381199 270630912 47657 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 66072 47657 4022 3002 0 49823 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 264288 KiB
Current children cumulated memory: 190628 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.22 4.16 5/242 214701
/proc/meminfo: memFree=120679044/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=286116 memory=214120 CPUtime=25.41 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 51915 0 0 0 2530 11 0 0 20 0 1 0 23381199 292982784 53530 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 71529 53530 4022 3002 0 55280 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 286116 KiB
Current children cumulated memory: 214120 KiB

[startup+48.9089 s]
# the end of solver process 214697 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=48.601 s, system=0.147439 s

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

[startup+25.6004 s]
/proc/loadavg: 4.18 4.22 4.16 5/242 214701
/proc/meminfo: memFree=120679044/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=286116 memory=214120 CPUtime=25.51 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 51915 0 0 0 2540 11 0 0 20 0 1 0 23381199 292982784 53530 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 71529 53530 4022 3002 0 55280 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 286116 KiB
Current children cumulated memory: 214120 KiB

[startup+38.4003 s]
/proc/loadavg: 4.16 4.21 4.15 5/242 214704
/proc/meminfo: memFree=120661736/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=302148 memory=230064 CPUtime=38.27 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56423 0 0 0 3814 13 0 0 20 0 1 0 23381199 309399552 57516 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 75537 57516 4022 3002 0 59288 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 230064 KiB

[startup+44.8003 s]
/proc/loadavg: 4.14 4.21 4.15 5/242 214706
/proc/meminfo: memFree=120661052/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=302148 memory=230276 CPUtime=44.65 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56429 0 0 0 4452 13 0 0 20 0 1 0 23381199 309399552 57569 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 75537 57569 4022 3002 0 59288 0
Current children cumulated CPU time: 44.65 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 230276 KiB

[startup+46.4003 s]
/proc/loadavg: 4.21 4.22 4.16 5/242 214706
/proc/meminfo: memFree=120661088/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=302148 memory=230276 CPUtime=46.24 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56429 0 0 0 4611 13 0 0 20 0 1 0 23381199 309399552 57569 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 75537 57569 4022 3002 0 59288 0
Current children cumulated CPU time: 46.24 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 230276 KiB

[startup+48.0003 s]*
/proc/loadavg: 4.21 4.22 4.16 5/242 214706
/proc/meminfo: memFree=120661080/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=302148 memory=230276 CPUtime=47.85 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56429 0 0 0 4772 13 0 0 20 0 1 0 23381199 309399552 57569 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 75537 57569 4022 3002 0 59288 0
Current children cumulated CPU time: 47.85 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 230276 KiB

[startup+48.4002 s]
/proc/loadavg: 4.21 4.22 4.16 5/242 214706
/proc/meminfo: memFree=120661080/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=302148 memory=230276 CPUtime=48.24 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56429 0 0 0 4811 13 0 0 20 0 1 0 23381199 309399552 57569 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 75537 57569 4022 3002 0 59288 0
Current children cumulated CPU time: 48.24 s
Current children cumulated vsize: 302148 KiB
Current children cumulated memory: 230276 KiB

[startup+48.8003 s]
/proc/loadavg: 4.21 4.22 4.16 5/242 214706
/proc/meminfo: memFree=120661080/131655788 swapFree=131071472/131071996
[pid=214697] ppid=214694 vsize=299624 memory=227752 CPUtime=48.64 cores=5,7
/proc/214697/stat : 214697 (mixed-bag) R 214694 214697 207841 0 -1 4194304 56434 0 0 0 4851 13 0 0 20 0 1 0 23381199 306814976 56938 134679101440 4194304 16487941 140722630459408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 28286976 140722630464535 140722630464612 140722630464612 140722630471627 0
/proc/214697/statm: 74906 56938 4022 3002 0 58657 0
Current children cumulated CPU time: 48.64 s
Current children cumulated vsize: 299624 KiB
Current children cumulated memory: 227752 KiB

Child status: 0

Real time (s): 48.909
CPU time (s): 48.7485
CPU user time (s): 48.601
CPU system time (s): 0.147439
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 302148
Max. memory (cumulated for all children) (KiB): 230276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.601
system time used= 0.147439
maximum resident set size= 230276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56471
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= 11
involuntary context switches= 61


# summary of solver processes directly reported to runsolver:
#   pid: 214697
#   total CPU time (s): 48.7485
#   total CPU user time (s): 48.601
#   total CPU system time (s): 0.147439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.267325 second user time and 0.548999 second system time

The end