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: 63837 MiB (63066 MiB free)
  memory of node 1: 64465 MiB (61696 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518617-1751521937/watcher-4518617-1751521937 -o /tmp/evaluation-result-4518617-1751521937/solver-4518617-1751521937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751513882-71036 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4518617-1751521937.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100101 s]*
/proc/loadavg: 4.15 4.16 4.16 5/251 73322
/proc/meminfo: memFree=127753768/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=0.09 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 7 2 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+0.212991 s]*
/proc/loadavg: 4.15 4.16 4.16 5/251 73322
/proc/meminfo: memFree=127737384/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=0.2 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 15 5 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+0.312478 s]*
/proc/loadavg: 4.15 4.16 4.16 5/251 73322
/proc/meminfo: memFree=127737384/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=0.31 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 22 9 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+0.70025 s]
/proc/loadavg: 4.15 4.16 4.16 5/251 73322
/proc/meminfo: memFree=127737384/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=0.68 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 48 20 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.16 4.16 5/251 73322
/proc/meminfo: memFree=127737384/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=1.47 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 102 45 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+3.11264 s]
/proc/loadavg: 4.13 4.15 4.16 5/251 73322
/proc/meminfo: memFree=127737384/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=3.08 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 216 92 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+6.30025 s]
/proc/loadavg: 4.13 4.15 4.16 5/251 73322
/proc/meminfo: memFree=127737636/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=6.26 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 440 186 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.15 5/251 73322
/proc/meminfo: memFree=127729884/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=12.65 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 884 381 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.14 4.15 5/251 73323
/proc/meminfo: memFree=127696692/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=25.43 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 1768 775 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+51.1125 s]
/proc/loadavg: 4.06 4.13 4.15 5/251 73368
/proc/meminfo: memFree=127721512/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=50.99 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 3516 1583 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

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

# cumulated CPU time of all completed processes:  user=69.083 s, system=18.9669 s

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

[startup+51.2003 s]
/proc/loadavg: 4.06 4.13 4.15 5/251 73368
/proc/meminfo: memFree=127721512/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=52956 memory=12544 CPUtime=51.08 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 1529 0 0 0 3522 1586 0 0 20 0 1 0 67872856 54226944 3136 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 13239 3136 1888 2271 0 7877 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 52956 KiB
Current children cumulated memory: 12544 KiB

[startup+64.0003 s]*
/proc/loadavg: 4.05 4.12 4.14 5/251 73368
/proc/meminfo: memFree=127701784/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=57652 memory=33692 CPUtime=63.86 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 3229 0 0 0 4514 1872 0 0 20 0 1 0 67872856 59035648 8423 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 14413 8423 1888 2271 0 9051 0
Current children cumulated CPU time: 63.86 s
Current children cumulated vsize: 57652 KiB
Current children cumulated memory: 33692 KiB

[startup+76.8003 s]
/proc/loadavg: 4.12 4.13 4.15 5/251 73368
/proc/meminfo: memFree=127661412/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=107880 memory=70868 CPUtime=76.61 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 7541 0 0 0 5776 1885 0 0 20 0 1 0 67872856 110469120 17717 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 26970 17717 1888 2271 0 21608 0
Current children cumulated CPU time: 76.61 s
Current children cumulated vsize: 107880 KiB
Current children cumulated memory: 70868 KiB

[startup+83.2003 s]
/proc/loadavg: 4.10 4.13 4.15 5/251 73368
/proc/meminfo: memFree=127649276/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=110340 memory=73300 CPUtime=83 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 8138 0 0 0 6409 1891 0 0 20 0 1 0 67872856 112988160 18325 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 27585 18325 1888 2271 0 22223 0
Current children cumulated CPU time: 83 s
Current children cumulated vsize: 110340 KiB
Current children cumulated memory: 73300 KiB

[startup+86.4003 s]
/proc/loadavg: 4.10 4.13 4.15 5/251 73368
/proc/meminfo: memFree=127656656/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=111520 memory=74452 CPUtime=86.19 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 8408 0 0 0 6725 1894 0 0 20 0 1 0 67872856 114196480 18613 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 27880 18613 1888 2271 0 22518 0
Current children cumulated CPU time: 86.19 s
Current children cumulated vsize: 111520 KiB
Current children cumulated memory: 74452 KiB

[startup+87.2003 s]
/proc/loadavg: 4.10 4.13 4.15 5/251 73369
/proc/meminfo: memFree=127656656/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=111520 memory=74452 CPUtime=86.99 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 8410 0 0 0 6804 1895 0 0 20 0 1 0 67872856 114196480 18613 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 27880 18613 1888 2271 0 22518 0
Current children cumulated CPU time: 86.99 s
Current children cumulated vsize: 111520 KiB
Current children cumulated memory: 74452 KiB

[startup+88.0003 s]*
/proc/loadavg: 4.09 4.13 4.14 5/251 73369
/proc/meminfo: memFree=127656924/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=111872 memory=74708 CPUtime=87.8 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 8496 0 0 0 6885 1895 0 0 20 0 1 0 67872856 114556928 18677 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 27968 18677 1888 2271 0 22606 0
Current children cumulated CPU time: 87.8 s
Current children cumulated vsize: 111872 KiB
Current children cumulated memory: 74708 KiB

[startup+88.2003 s]
/proc/loadavg: 4.09 4.13 4.14 5/251 73369
/proc/meminfo: memFree=127656924/131382120 swapFree=33010160/33010684
[pid=73321] ppid=73318 vsize=111872 memory=74708 CPUtime=87.99 cores=4,6
/proc/73321/stat : 73321 (ExactPR) R 73318 73321 71022 0 -1 4194304 8496 0 0 0 6903 1896 0 0 20 0 1 0 67872856 114556928 18677 18446744073709551615 94365457731584 94365467031429 140722453814592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94365468817728 94365468856808 94365488680960 140722453821829 140722453821964 140722453821964 140722453827566 0
/proc/73321/statm: 27968 18677 1888 2271 0 22606 0
Current children cumulated CPU time: 87.99 s
Current children cumulated vsize: 111872 KiB
Current children cumulated memory: 74708 KiB

Child status: 30

Real time (s): 88.2526
CPU time (s): 88.05
CPU user time (s): 69.083
CPU system time (s): 18.9669
CPU usage (%): 99.7704
Max. virtual memory (cumulated for all children) (KiB): 111872
Max. memory (cumulated for all children) (KiB): 74708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.083
system time used= 18.9669
maximum resident set size= 81632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8513
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= 61


# summary of solver processes directly reported to runsolver:
#   pid: 73321
#   total CPU time (s): 88.05
#   total CPU user time (s): 69.083
#   total CPU system time (s): 18.9669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.434586 second user time and 0.876518 second system time

The end