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: 63968 MiB (59983 MiB free)
  memory of node 1: 64473 MiB (60769 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433574-1721119157/watcher-4433574-1721119157 -o /tmp/evaluation-result-4433574-1721119157/solver-4433574-1721119157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721115553-848709 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=568040391 HOME/instance-4433574-1721119157.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=850842, runsolver pid=850839

[startup+0.100456 s]*
/proc/loadavg: 4.11 4.11 4.06 5/254 850843
/proc/meminfo: memFree=123640028/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=31792 memory=13152 CPUtime=0.09 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 2185 0 0 0 9 0 0 0 20 0 1 0 164086215 32555008 3288 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 7948 3288 755 746 0 7012 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31792 KiB
Current children cumulated memory: 13152 KiB

[startup+0.20577 s]*
/proc/loadavg: 4.11 4.11 4.06 5/254 850843
/proc/meminfo: memFree=123637400/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=34260 memory=15528 CPUtime=0.19 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 2871 0 0 0 19 0 0 0 20 0 1 0 164086215 35082240 3882 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 8565 3882 819 746 0 7629 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34260 KiB
Current children cumulated memory: 15528 KiB

[startup+0.305621 s]*
/proc/loadavg: 4.11 4.11 4.06 5/254 850843
/proc/meminfo: memFree=123634596/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=34912 memory=18212 CPUtime=0.3 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 3049 0 0 0 29 1 0 0 20 0 1 0 164086215 35749888 4553 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 8728 4553 835 746 0 7792 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34912 KiB
Current children cumulated memory: 18212 KiB

[startup+0.700224 s]
/proc/loadavg: 4.11 4.11 4.06 5/254 850843
/proc/meminfo: memFree=123634456/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=35312 memory=18476 CPUtime=0.69 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 3145 0 0 0 68 1 0 0 20 0 1 0 164086215 36159488 4619 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 8828 4619 835 746 0 7892 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35312 KiB
Current children cumulated memory: 18476 KiB

[startup+1.50194 s]
/proc/loadavg: 4.10 4.10 4.06 5/254 850843
/proc/meminfo: memFree=123631796/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=35888 memory=21312 CPUtime=1.49 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 3302 0 0 0 148 1 0 0 20 0 1 0 164086215 36749312 5328 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 8972 5328 835 746 0 8036 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35888 KiB
Current children cumulated memory: 21312 KiB

[startup+3.10558 s]
/proc/loadavg: 4.10 4.10 4.06 5/254 850845
/proc/meminfo: memFree=123627276/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=36580 memory=23932 CPUtime=3.08 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 3935 0 0 0 307 1 0 0 20 0 1 0 164086215 37457920 5983 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9145 5983 835 746 0 8209 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36580 KiB
Current children cumulated memory: 23932 KiB

[startup+6.30022 s]
/proc/loadavg: 4.17 4.12 4.07 5/254 850845
/proc/meminfo: memFree=123625308/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=37164 memory=24672 CPUtime=6.27 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 5641 0 0 0 626 1 0 0 20 0 1 0 164086215 38055936 6168 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9291 6168 835 746 0 8355 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 37164 KiB
Current children cumulated memory: 24672 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850846
/proc/meminfo: memFree=123623132/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=37768 memory=25232 CPUtime=12.65 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 7816 0 0 0 1263 2 0 0 20 0 1 0 164086215 38674432 6308 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9442 6308 835 746 0 8506 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 37768 KiB
Current children cumulated memory: 25232 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 850848
/proc/meminfo: memFree=123617260/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=38612 memory=26112 CPUtime=25.42 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 12121 0 0 0 2539 3 0 0 20 0 1 0 164086215 39538688 6528 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9653 6528 835 746 0 8717 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 38612 KiB
Current children cumulated memory: 26112 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850897
/proc/meminfo: memFree=123607964/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39600 memory=27396 CPUtime=50.95 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 18505 0 0 0 5091 4 0 0 20 0 1 0 164086215 40550400 6849 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9900 6849 835 746 0 8964 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 27396 KiB

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

# cumulated CPU time of all completed processes:  user=55.5532 s, system=0.045879 s

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

[startup+51.2003 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850897
/proc/meminfo: memFree=123607964/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39600 memory=27396 CPUtime=51.05 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 18505 0 0 0 5101 4 0 0 20 0 1 0 164086215 40550400 6849 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9900 6849 835 746 0 8964 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 27396 KiB

[startup+52.8002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850898
/proc/meminfo: memFree=123608336/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39600 memory=27396 CPUtime=52.64 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 18505 0 0 0 5260 4 0 0 20 0 1 0 164086215 40550400 6849 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9900 6849 835 746 0 8964 0
Current children cumulated CPU time: 52.64 s
Current children cumulated vsize: 39600 KiB
Current children cumulated memory: 27396 KiB

[startup+54.4002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850898
/proc/meminfo: memFree=123608024/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39632 memory=27428 CPUtime=54.24 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 19024 0 0 0 5420 4 0 0 20 0 1 0 164086215 40583168 6857 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9908 6857 835 746 0 8972 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 27428 KiB

[startup+55.2002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850898
/proc/meminfo: memFree=123607944/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39632 memory=27428 CPUtime=55.03 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 19024 0 0 0 5499 4 0 0 20 0 1 0 164086215 40583168 6857 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9908 6857 835 746 0 8972 0
Current children cumulated CPU time: 55.03 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 27428 KiB

[startup+55.6002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850898
/proc/meminfo: memFree=123607944/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39632 memory=27428 CPUtime=55.43 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 19024 0 0 0 5539 4 0 0 20 0 1 0 164086215 40583168 6857 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9908 6857 835 746 0 8972 0
Current children cumulated CPU time: 55.43 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 27428 KiB

[startup+55.7002 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 850898
/proc/meminfo: memFree=123607944/131524596 swapFree=131071996/131071996
[pid=850842] ppid=850839 vsize=39632 memory=27428 CPUtime=55.53 cores=1,3
/proc/850842/stat : 850842 (Exact_nosoplex) R 850839 850842 848697 0 -1 4194304 19024 0 0 0 5549 4 0 0 20 0 1 0 164086215 40583168 6857 134679101440 4194304 7248369 140728070484656 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 20193280 140728070493101 140728070493279 140728070493279 140728070500294 0
/proc/850842/statm: 9908 6857 835 746 0 8972 0
Current children cumulated CPU time: 55.53 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 27428 KiB

Child status: 30

Real time (s): 55.7545
CPU time (s): 55.5991
CPU user time (s): 55.5532
CPU system time (s): 0.045879
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 41644
Max. memory (cumulated for all children) (KiB): 29044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.5532
system time used= 0.045879
maximum resident set size= 29348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19028
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= 6
involuntary context switches= 74


# summary of solver processes directly reported to runsolver:
#   pid: 850842
#   total CPU time (s): 55.5991
#   total CPU user time (s): 55.5532
#   total CPU system time (s): 0.045879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109756 second user time and 0.294324 second system time

The end