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: 63708 MiB (48511 MiB free)
  memory of node 1: 64465 MiB (60109 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=81921, runsolver pid=81918

[startup+0.100064 s]*
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111215900/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=0.09 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 7 2 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+0.205517 s]*
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111215900/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=0.19 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 15 4 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+0.305424 s]*
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111215900/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=0.29 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 24 5 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+0.700167 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111215652/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=0.68 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 57 11 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+1.50013 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111215652/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=1.48 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 127 21 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+3.10526 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 81922
/proc/meminfo: memFree=111208064/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=3.08 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 263 45 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+6.30014 s]
/proc/loadavg: 4.21 4.13 4.10 5/263 81922
/proc/meminfo: memFree=111216360/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=6.26 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 543 83 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/262 81922
/proc/meminfo: memFree=111201756/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=12.65 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 1101 164 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 81923
/proc/meminfo: memFree=111155864/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=25.42 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 2198 344 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+51.1053 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 81925
/proc/meminfo: memFree=111035544/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=61488 memory=20608 CPUtime=50.97 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 4012 0 0 0 4405 692 0 0 20 0 1 0 73123174 62963712 5152 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 15372 5152 1920 2271 0 10010 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 61488 KiB
Current children cumulated memory: 20608 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 81926
/proc/meminfo: memFree=110829580/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=236404 memory=169912 CPUtime=102.02 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 28466 0 0 0 9361 841 0 0 20 0 1 0 73123174 242077696 42478 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 59101 42478 1920 2271 0 53739 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 236404 KiB
Current children cumulated memory: 169912 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 81928
/proc/meminfo: memFree=110746456/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=270340 memory=201528 CPUtime=161.86 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 36420 0 0 0 15323 863 0 0 20 0 1 0 73123174 276828160 50382 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 67585 50382 1920 2271 0 62223 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 270340 KiB
Current children cumulated memory: 201528 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 81931
/proc/meminfo: memFree=110619032/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=298304 memory=228932 CPUtime=221.69 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 42796 0 0 0 21288 881 0 0 20 0 1 0 73123174 305463296 57233 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 74576 57233 1920 2271 0 69214 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 298304 KiB
Current children cumulated memory: 228932 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 81933
/proc/meminfo: memFree=110474552/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=311132 memory=247268 CPUtime=281.52 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 45858 0 0 0 27251 901 0 0 20 0 1 0 73123174 318599168 61817 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 77783 61817 1920 2271 0 72421 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 311132 KiB
Current children cumulated memory: 247268 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 81935
/proc/meminfo: memFree=110374808/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=322468 memory=258148 CPUtime=341.35 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 48594 0 0 0 33215 920 0 0 20 0 1 0 73123174 330207232 64537 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 80617 64537 1920 2271 0 75255 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 322468 KiB
Current children cumulated memory: 258148 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 81989
/proc/meminfo: memFree=111456616/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=333028 memory=268516 CPUtime=401.19 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 51210 0 0 0 39180 939 0 0 20 0 1 0 73123174 341020672 67129 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 83257 67129 1920 2271 0 77895 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 333028 KiB
Current children cumulated memory: 268516 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 81993
/proc/meminfo: memFree=111375548/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=346664 memory=299232 CPUtime=461.03 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 54324 0 0 0 45147 956 0 0 20 0 1 0 73123174 354983936 74808 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 86666 74808 1920 2271 0 81304 0

################
# More data... #
################

Current children cumulated memory: 450792 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 82210
/proc/meminfo: memFree=111896308/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=533556 memory=455784 CPUtime=2853.95 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 82358 0 0 0 283776 1619 0 0 20 0 1 0 73123174 546361344 113946 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 133389 113946 1920 2271 0 128027 0
Current children cumulated CPU time: 2853.95 s
Current children cumulated vsize: 533556 KiB
Current children cumulated memory: 455784 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/264 82212
/proc/meminfo: memFree=111897392/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=535296 memory=457576 CPUtime=2913.78 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 82792 0 0 0 289742 1636 0 0 20 0 1 0 73123174 548143104 114394 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 133824 114394 1920 2271 0 128462 0
Current children cumulated CPU time: 2913.78 s
Current children cumulated vsize: 535296 KiB
Current children cumulated memory: 457576 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 82214
/proc/meminfo: memFree=111902964/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=538944 memory=460776 CPUtime=2973.62 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 83601 0 0 0 295712 1650 0 0 20 0 1 0 73123174 551878656 115194 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 134736 115194 1920 2271 0 129374 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 538944 KiB
Current children cumulated memory: 460776 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 82217
/proc/meminfo: memFree=111887884/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=545668 memory=465896 CPUtime=3033.47 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 84878 0 0 0 301678 1669 0 0 20 0 1 0 73123174 558764032 116474 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 136417 116474 1920 2271 0 131055 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 545668 KiB
Current children cumulated memory: 465896 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 82219
/proc/meminfo: memFree=111863484/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=545924 memory=471528 CPUtime=3093.3 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 84957 0 0 0 307643 1687 0 0 20 0 1 0 73123174 559026176 117882 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 136481 117882 1920 2271 0 131119 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 545924 KiB
Current children cumulated memory: 471528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 82221
/proc/meminfo: memFree=111865896/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=545924 memory=471528 CPUtime=3153.14 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 84957 0 0 0 313611 1703 0 0 20 0 1 0 73123174 559026176 117882 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 136481 117882 1920 2271 0 131119 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 545924 KiB
Current children cumulated memory: 471528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 82236
/proc/meminfo: memFree=111858156/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=545924 memory=471528 CPUtime=3212.98 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 84986 0 0 0 319582 1716 0 0 20 0 1 0 73123174 559026176 117882 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 136481 117882 1920 2271 0 131119 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 545924 KiB
Current children cumulated memory: 471528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 82238
/proc/meminfo: memFree=111841972/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=547716 memory=473064 CPUtime=3272.82 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 85368 0 0 0 325547 1735 0 0 20 0 1 0 73123174 560861184 118266 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 136929 118266 1920 2271 0 131567 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 547716 KiB
Current children cumulated memory: 473064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 82240
/proc/meminfo: memFree=111833124/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=548100 memory=473448 CPUtime=3332.66 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 85467 0 0 0 331513 1753 0 0 20 0 1 0 73123174 561254400 118362 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 137025 118362 1920 2271 0 131663 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 548100 KiB
Current children cumulated memory: 473448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 82242
/proc/meminfo: memFree=111824940/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=549764 memory=474856 CPUtime=3392.5 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 85838 0 0 0 337480 1770 0 0 20 0 1 0 73123174 562958336 118714 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 137441 118714 1920 2271 0 132079 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 549764 KiB
Current children cumulated memory: 474856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.10 4/258 82281
/proc/meminfo: memFree=112544104/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=550020 memory=475112 CPUtime=3452.33 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 85903 0 0 0 343446 1787 0 0 20 0 1 0 73123174 563220480 118778 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 137505 118778 1920 2271 0 132143 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 550020 KiB
Current children cumulated memory: 475112 KiB

[startup+3522.3 s]
/proc/loadavg: 3.48 3.94 4.03 4/257 82284
/proc/meminfo: memFree=112476708/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=550596 memory=475880 CPUtime=3512.17 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 86076 0 0 0 349414 1803 0 0 20 0 1 0 73123174 563810304 118970 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 137649 118970 1920 2271 0 132287 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 550596 KiB
Current children cumulated memory: 475880 KiB

[startup+3582.3 s]
/proc/loadavg: 3.24 3.78 3.97 4/257 82286
/proc/meminfo: memFree=112472988/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=554564 memory=478952 CPUtime=3571.99 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 86863 0 0 0 355381 1818 0 0 20 0 1 0 73123174 567873536 119738 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 138641 119738 1920 2271 0 133279 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 554564 KiB
Current children cumulated memory: 478952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 3.16 3.72 3.94 4/257 82286
/proc/meminfo: memFree=112481840/131249996 swapFree=33004236/33010684
[pid=81921] ppid=81918 vsize=554820 memory=479208 CPUtime=3600.01 cores=5,7
/proc/81921/stat : 81921 (ExactPR) R 81918 81921 80825 0 -1 4194304 86931 0 0 0 358173 1828 0 0 20 0 1 0 73123174 568135680 119802 18446744073709551615 94335938555904 94335947855749 140730537011792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94335949642048 94335949681128 94335982542848 140730537015685 140730537015820 140730537015820 140730537021422 0
/proc/81921/statm: 138705 119802 1920 2271 0 133343 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 554820 KiB
Current children cumulated memory: 479208 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.41 s]
# the end of solver process 81921 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3581.74 s, system=18.2896 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.03
CPU user time (s): 3581.74
CPU system time (s): 18.2896
CPU usage (%): 99.7127
Max. virtual memory (cumulated for all children) (KiB): 554820
Max. memory (cumulated for all children) (KiB): 479208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.74
system time used= 18.2896
maximum resident set size= 479720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86946
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= 225
involuntary context switches= 19598


# summary of solver processes directly reported to runsolver:
#   pid: 81921
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3581.74
#   total CPU system time (s): 18.2896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79296 second user time and 15.1435 second system time

The end