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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456523-1721725057/watcher-4456523-1721725057 -o /tmp/evaluation-result-4456523-1721725057/solver-4456523-1721725057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721717830-87260 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1674508234 HOME/instance-4456523-1721725057.wbo 

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

solver pid=91758, runsolver pid=91755

[startup+0.100104 s]*
/proc/loadavg: 4.16 4.16 4.17 5/255 91759
/proc/meminfo: memFree=107175756/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=42056 memory=21328 CPUtime=0.09 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 5538 0 0 0 9 0 0 0 20 0 1 0 9034785 43065344 5332 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 10514 5332 803 746 0 9578 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 21328 KiB

[startup+0.206102 s]*
/proc/loadavg: 4.16 4.16 4.17 5/255 91759
/proc/meminfo: memFree=107173712/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=44368 memory=23356 CPUtime=0.19 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 5985 0 0 0 18 1 0 0 20 0 1 0 9034785 45432832 5839 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 11092 5839 851 746 0 10156 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44368 KiB
Current children cumulated memory: 23356 KiB

[startup+0.306102 s]*
/proc/loadavg: 4.22 4.17 4.18 5/255 91759
/proc/meminfo: memFree=107170936/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=45324 memory=26192 CPUtime=0.29 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 6216 0 0 0 28 1 0 0 20 0 1 0 9034785 46411776 6548 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 11331 6548 851 746 0 10395 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45324 KiB
Current children cumulated memory: 26192 KiB

[startup+0.700134 s]
/proc/loadavg: 4.22 4.17 4.18 5/255 91759
/proc/meminfo: memFree=107167712/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=47220 memory=30084 CPUtime=0.68 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 6704 0 0 0 67 1 0 0 20 0 1 0 9034785 48353280 7521 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 11805 7521 851 746 0 10869 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47220 KiB
Current children cumulated memory: 30084 KiB

[startup+1.50016 s]
/proc/loadavg: 4.22 4.17 4.18 5/255 91759
/proc/meminfo: memFree=107165216/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=51092 memory=33780 CPUtime=1.47 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 7630 0 0 0 146 1 0 0 20 0 1 0 9034785 52318208 8445 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 12773 8445 851 746 0 11837 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 51092 KiB
Current children cumulated memory: 33780 KiB

[startup+3.10607 s]
/proc/loadavg: 4.22 4.17 4.18 5/257 91791
/proc/meminfo: memFree=107152640/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=51760 memory=36616 CPUtime=3.07 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 7779 0 0 0 306 1 0 0 20 0 1 0 9034785 53002240 9154 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 12940 9154 851 746 0 12004 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 51760 KiB
Current children cumulated memory: 36616 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.17 4.17 5/257 91794
/proc/meminfo: memFree=107131536/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=52940 memory=37640 CPUtime=6.25 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 8082 0 0 0 624 1 0 0 20 0 1 0 9034785 54210560 9410 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 13235 9410 851 746 0 12299 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 52940 KiB
Current children cumulated memory: 37640 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.17 5/257 91794
/proc/meminfo: memFree=107082688/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=58920 memory=49808 CPUtime=12.63 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 9589 0 0 0 1261 2 0 0 20 0 1 0 9034785 60334080 12452 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 14730 12452 851 746 0 13794 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 58920 KiB
Current children cumulated memory: 49808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.17 5/257 91797
/proc/meminfo: memFree=107019708/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=82580 memory=69204 CPUtime=25.38 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 12595 0 0 0 2535 3 0 0 20 0 1 0 9034785 84561920 17301 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 20645 17301 851 746 0 19709 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 82580 KiB
Current children cumulated memory: 69204 KiB

[startup+51.106 s]
/proc/loadavg: 4.16 4.16 4.17 5/257 91800
/proc/meminfo: memFree=106975644/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=84184 memory=71240 CPUtime=50.88 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 13136 0 0 0 5085 3 0 0 20 0 1 0 9034785 86204416 17810 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21046 17810 851 746 0 20110 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 84184 KiB
Current children cumulated memory: 71240 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/259 91978
/proc/meminfo: memFree=106929220/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=85180 memory=72208 CPUtime=101.88 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 13424 0 0 0 10184 4 0 0 20 0 1 0 9034785 87224320 18052 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21295 18052 851 746 0 20359 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 85180 KiB
Current children cumulated memory: 72208 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/259 91988
/proc/meminfo: memFree=106884492/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=86148 memory=73440 CPUtime=161.65 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 13762 0 0 0 16161 4 0 0 20 0 1 0 9034785 88215552 18360 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21537 18360 851 746 0 20601 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 86148 KiB
Current children cumulated memory: 73440 KiB

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

# cumulated CPU time of all completed processes:  user=171.28 s, system=0.043839 s

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

[startup+166.4 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 91990
/proc/meminfo: memFree=106882352/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=86748 memory=74188 CPUtime=165.74 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 13916 0 0 0 16570 4 0 0 20 0 1 0 9034785 88829952 18547 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21687 18547 851 746 0 20751 0
Current children cumulated CPU time: 165.74 s
Current children cumulated vsize: 86748 KiB
Current children cumulated memory: 74188 KiB

[startup+169.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 91990
/proc/meminfo: memFree=106881996/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=86952 memory=74452 CPUtime=168.92 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 14002 0 0 0 16888 4 0 0 20 0 1 0 9034785 89038848 18613 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21738 18613 851 746 0 20802 0
Current children cumulated CPU time: 168.92 s
Current children cumulated vsize: 86952 KiB
Current children cumulated memory: 74452 KiB

[startup+171.2 s]
/proc/loadavg: 4.14 4.15 4.17 5/259 91990
/proc/meminfo: memFree=106880176/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=86952 memory=74452 CPUtime=170.52 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 14006 0 0 0 17048 4 0 0 20 0 1 0 9034785 89038848 18613 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21738 18613 851 746 0 20802 0
Current children cumulated CPU time: 170.52 s
Current children cumulated vsize: 86952 KiB
Current children cumulated memory: 74452 KiB

[startup+171.6 s]
/proc/loadavg: 4.14 4.15 4.17 5/259 91990
/proc/meminfo: memFree=106880176/131524600 swapFree=131071996/131071996
[pid=91758] ppid=91755 vsize=86952 memory=74452 CPUtime=170.92 cores=0,2
/proc/91758/stat : 91758 (Exact_nosoplex) R 91755 91758 87250 0 -1 4194304 14006 0 0 0 17088 4 0 0 20 0 1 0 9034785 89038848 18613 134679101440 4194304 7248369 140726565227872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 18743296 140726565229483 140726565229662 140726565229662 140726565236678 0
/proc/91758/statm: 21738 18613 851 746 0 20802 0
Current children cumulated CPU time: 170.92 s
Current children cumulated vsize: 86952 KiB
Current children cumulated memory: 74452 KiB

[startup+172 s]*
/proc/loadavg: 4.14 4.15 4.17 5/259 91990
/proc/meminfo: memFree=106907832/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 172.006
CPU time (s): 171.324
CPU user time (s): 171.28
CPU system time (s): 0.043839
CPU usage (%): 99.6032
Max. virtual memory (cumulated for all children) (KiB): 86952
Max. memory (cumulated for all children) (KiB): 74452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.28
system time used= 0.043839
maximum resident set size= 77964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14007
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= 2
involuntary context switches= 1332


# summary of solver processes directly reported to runsolver:
#   pid: 91758
#   total CPU time (s): 171.324
#   total CPU user time (s): 171.28
#   total CPU system time (s): 0.043839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.392916 second user time and 0.842451 second system time

The end