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: 63794 MiB (61264 MiB free)
  memory of node 1: 64507 MiB (51687 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518757-1751521715/watcher-4518757-1751521715 -o /tmp/evaluation-result-4518757-1751521715/solver-4518757-1751521715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751514481-75913 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518757-1751521715.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=78567, runsolver pid=78564

[startup+0.100083 s]*
/proc/loadavg: 4.11 4.10 4.09 6/251 78568
/proc/meminfo: memFree=115662960/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=61348 memory=25472 CPUtime=0.09 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 3386 0 0 0 8 1 0 0 20 0 1 0 67851267 62820352 6368 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 15337 6368 3360 2271 0 9975 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 25472 KiB

[startup+0.213059 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 78568
/proc/meminfo: memFree=115655424/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=71320 memory=32592 CPUtime=0.2 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 6014 0 0 0 18 2 0 0 20 0 1 0 67851267 73031680 8148 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 17830 8148 3392 2271 0 12468 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71320 KiB
Current children cumulated memory: 32592 KiB

[startup+0.312956 s]*
/proc/loadavg: 4.11 4.10 4.09 6/251 78568
/proc/meminfo: memFree=115655424/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=74124 memory=35280 CPUtime=0.3 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 6710 0 0 0 28 2 0 0 20 0 1 0 67851267 75902976 8820 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 18531 8820 3392 2271 0 13169 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74124 KiB
Current children cumulated memory: 35280 KiB

[startup+0.700239 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 78568
/proc/meminfo: memFree=115647612/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=81764 memory=42576 CPUtime=0.68 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 8533 0 0 0 65 3 0 0 20 0 1 0 67851267 83726336 10644 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 20441 10644 3392 2271 0 15079 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81764 KiB
Current children cumulated memory: 42576 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 78568
/proc/meminfo: memFree=115631484/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=108888 memory=69456 CPUtime=1.47 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 15249 0 0 0 143 4 0 0 20 0 1 0 67851267 111501312 17364 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 27222 17364 3392 2271 0 21860 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 108888 KiB
Current children cumulated memory: 69456 KiB

[startup+3.11275 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 78568
/proc/meminfo: memFree=115583260/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=128396 memory=88144 CPUtime=3.08 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 19931 0 0 0 303 5 0 0 20 0 1 0 67851267 131477504 22036 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 32099 22036 3392 2271 0 26737 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128396 KiB
Current children cumulated memory: 88144 KiB

[startup+6.30027 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 78569
/proc/meminfo: memFree=115551180/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=163024 memory=123088 CPUtime=6.25 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 28645 0 0 0 619 6 0 0 20 0 1 0 67851267 166936576 30772 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 40756 30772 3392 2271 0 35394 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 163024 KiB
Current children cumulated memory: 123088 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.09 6/251 78569
/proc/meminfo: memFree=115533288/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=166024 memory=125808 CPUtime=12.63 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 29599 0 0 0 1257 6 0 0 20 0 1 0 67851267 170008576 31452 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 41506 31452 3392 2271 0 36144 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 166024 KiB
Current children cumulated memory: 125808 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 6/251 78569
/proc/meminfo: memFree=115494992/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=183100 memory=143392 CPUtime=25.38 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 35022 0 0 0 2531 7 0 0 20 0 1 0 67851267 187494400 35848 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 45775 35848 3392 2271 0 40413 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 183100 KiB
Current children cumulated memory: 143392 KiB

[startup+51.1126 s]
/proc/loadavg: 4.10 4.10 4.09 6/251 78569
/proc/meminfo: memFree=115431236/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=200396 memory=161056 CPUtime=50.89 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 39454 0 0 0 5081 8 0 0 20 0 1 0 67851267 205205504 40264 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 50099 40264 3392 2271 0 44737 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 161056 KiB

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

# cumulated CPU time of all completed processes:  user=76.6782 s, system=0.102534 s

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

[startup+51.2003 s]
/proc/loadavg: 4.10 4.10 4.09 6/251 78569
/proc/meminfo: memFree=115431236/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=200396 memory=161056 CPUtime=50.98 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 39455 0 0 0 5090 8 0 0 20 0 1 0 67851267 205205504 40264 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 50099 40264 3392 2271 0 44737 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 161056 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.08 4.09 4.09 5/250 78574
/proc/meminfo: memFree=115407580/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=211952 memory=172856 CPUtime=63.74 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 42653 0 0 0 6366 8 0 0 20 0 1 0 67851267 217038848 43214 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 52988 43214 3392 2271 0 47626 0
Current children cumulated CPU time: 63.74 s
Current children cumulated vsize: 211952 KiB
Current children cumulated memory: 172856 KiB

[startup+70.4002 s]
/proc/loadavg: 4.07 4.09 4.09 6/251 78576
/proc/meminfo: memFree=115376380/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=224992 memory=185656 CPUtime=70.11 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45866 0 0 0 7002 9 0 0 20 0 1 0 67851267 230391808 46414 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56248 46414 3392 2271 0 50886 0
Current children cumulated CPU time: 70.11 s
Current children cumulated vsize: 224992 KiB
Current children cumulated memory: 185656 KiB

[startup+73.6003 s]
/proc/loadavg: 4.07 4.09 4.09 5/251 78576
/proc/meminfo: memFree=115376128/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=227040 memory=186040 CPUtime=73.29 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45958 0 0 0 7320 9 0 0 20 0 1 0 67851267 232488960 46510 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56760 46510 3392 2271 0 51398 0
Current children cumulated CPU time: 73.29 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 186040 KiB

[startup+75.2002 s]
/proc/loadavg: 4.07 4.09 4.09 6/251 78576
/proc/meminfo: memFree=115376128/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=227040 memory=186040 CPUtime=74.89 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45965 0 0 0 7480 9 0 0 20 0 1 0 67851267 232488960 46510 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56760 46510 3392 2271 0 51398 0
Current children cumulated CPU time: 74.89 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 186040 KiB

[startup+76.0002 s]*
/proc/loadavg: 4.07 4.09 4.09 6/251 78576
/proc/meminfo: memFree=115368064/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=227040 memory=186040 CPUtime=75.7 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45969 0 0 0 7561 9 0 0 20 0 1 0 67851267 232488960 46510 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56760 46510 3392 2271 0 51398 0
Current children cumulated CPU time: 75.7 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 186040 KiB

[startup+76.8002 s]
/proc/loadavg: 4.07 4.09 4.09 6/251 78576
/proc/meminfo: memFree=115368064/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=227040 memory=186168 CPUtime=76.48 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45980 0 0 0 7639 9 0 0 20 0 1 0 67851267 232488960 46542 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56760 46542 3392 2271 0 51398 0
Current children cumulated CPU time: 76.48 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 186168 KiB

[startup+77.0002 s]*
/proc/loadavg: 4.07 4.09 4.09 6/251 78576
/proc/meminfo: memFree=115368064/131382112 swapFree=33010160/33010684
[pid=78567] ppid=78564 vsize=227040 memory=186168 CPUtime=76.69 cores=0,2
/proc/78567/stat : 78567 (ExactPR-S) R 78564 78567 75903 0 -1 4194304 45980 0 0 0 7660 9 0 0 20 0 1 0 67851267 232488960 46542 18446744073709551615 94067326799872 94067336099909 140731761511920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94067337886016 94067337925096 94067368177664 140731761518977 140731761519114 140731761519114 140731761524716 0
/proc/78567/statm: 56760 46542 3392 2271 0 51398 0
Current children cumulated CPU time: 76.69 s
Current children cumulated vsize: 227040 KiB
Current children cumulated memory: 186168 KiB

Child status: 0

Real time (s): 77.091
CPU time (s): 76.7807
CPU user time (s): 76.6782
CPU system time (s): 0.102534
CPU usage (%): 99.5975
Max. virtual memory (cumulated for all children) (KiB): 227040
Max. memory (cumulated for all children) (KiB): 186168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.6782
system time used= 0.102534
maximum resident set size= 186424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45998
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= 110
involuntary context switches= 180


# summary of solver processes directly reported to runsolver:
#   pid: 78567
#   total CPU time (s): 76.7807
#   total CPU user time (s): 76.6782
#   total CPU system time (s): 0.102534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.37005 second user time and 0.802751 second system time

The end