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: 63665 MiB (61688 MiB free)
  memory of node 1: 64507 MiB (53781 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=49973, runsolver pid=49970
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118237356/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=0.08 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 7 1 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+0.20568 s]*
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118237356/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=0.19 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 16 3 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+0.305573 s]*
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118237356/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=0.29 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 25 4 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+0.700189 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118237356/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=0.68 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 58 10 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+1.50019 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118245172/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=1.47 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 126 21 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+3.10545 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 49974
/proc/meminfo: memFree=118257204/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=3.07 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 261 46 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+6.30019 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 49974
/proc/meminfo: memFree=118277300/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=6.26 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 527 99 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 49975
/proc/meminfo: memFree=118325556/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=12.65 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 1058 207 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 49975
/proc/meminfo: memFree=118413928/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=25.42 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 2122 420 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 49975
/proc/meminfo: memFree=118598796/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=57156 memory=16612 CPUtime=50.97 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 2732 0 0 0 4249 848 0 0 20 0 1 0 49022929 58527744 4153 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 14289 4153 1888 2271 0 8927 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 57156 KiB
Current children cumulated memory: 16612 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 49977
/proc/meminfo: memFree=119001708/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=151244 memory=120148 CPUtime=102.03 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 18168 0 0 0 9178 1025 0 0 20 0 1 0 49022929 154873856 30037 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 37811 30037 1888 2271 0 32449 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 151244 KiB
Current children cumulated memory: 120148 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 49979
/proc/meminfo: memFree=119418816/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=168048 memory=136660 CPUtime=161.88 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 22302 0 0 0 15140 1048 0 0 20 0 1 0 49022929 172081152 34165 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 42012 34165 1888 2271 0 36650 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 168048 KiB
Current children cumulated memory: 136660 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 49981
/proc/meminfo: memFree=119350672/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=181592 memory=150100 CPUtime=221.72 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 25699 0 0 0 21102 1070 0 0 20 0 1 0 49022929 185950208 37525 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 45398 37525 1888 2271 0 40036 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 181592 KiB
Current children cumulated memory: 150100 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 49983
/proc/meminfo: memFree=119254228/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=188700 memory=157524 CPUtime=281.57 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 27558 0 0 0 27067 1090 0 0 20 0 1 0 49022929 193228800 39381 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 47175 39381 1888 2271 0 41813 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 188700 KiB
Current children cumulated memory: 157524 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 49985
/proc/meminfo: memFree=119196632/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=193760 memory=162772 CPUtime=341.43 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 28902 0 0 0 33030 1113 0 0 20 0 1 0 49022929 198410240 40693 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 48440 40693 1888 2271 0 43078 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 193760 KiB
Current children cumulated memory: 162772 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 49987
/proc/meminfo: memFree=119172572/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=197464 memory=166484 CPUtime=401.28 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 29823 0 0 0 38993 1135 0 0 20 0 1 0 49022929 202203136 41621 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 49366 41621 1888 2271 0 44004 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 197464 KiB
Current children cumulated memory: 166484 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 49989
/proc/meminfo: memFree=119163564/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=202000 memory=173080 CPUtime=461.13 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 30993 0 0 0 44958 1155 0 0 20 0 1 0 49022929 206848000 43270 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 50500 43270 1888 2271 0 45138 0
Current children cumulated CPU time: 461.13 s

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

Current children cumulated memory: 232724 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 50250
/proc/meminfo: memFree=125935360/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=286148 memory=233236 CPUtime=2854.83 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 42915 0 0 0 283530 1953 0 0 20 0 1 0 49022929 293015552 58309 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 71537 58309 1888 2271 0 66175 0
Current children cumulated CPU time: 2854.83 s
Current children cumulated vsize: 286148 KiB
Current children cumulated memory: 233236 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 50252
/proc/meminfo: memFree=125942568/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=287112 memory=234260 CPUtime=2914.68 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43164 0 0 0 289492 1976 0 0 20 0 1 0 49022929 294002688 58565 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 71778 58565 1888 2271 0 66416 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 287112 KiB
Current children cumulated memory: 234260 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 50254
/proc/meminfo: memFree=125927556/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=287112 memory=234260 CPUtime=2974.53 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43182 0 0 0 295456 1997 0 0 20 0 1 0 49022929 294002688 58565 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 71778 58565 1888 2271 0 66416 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 287112 KiB
Current children cumulated memory: 234260 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 50259
/proc/meminfo: memFree=125922628/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=288568 memory=235668 CPUtime=3034.35 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43533 0 0 0 301423 2012 0 0 20 0 1 0 49022929 295493632 58917 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72142 58917 1888 2271 0 66780 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 288568 KiB
Current children cumulated memory: 235668 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 50261
/proc/meminfo: memFree=125925864/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=288904 memory=236052 CPUtime=3094.17 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43621 0 0 0 307384 2033 0 0 20 0 1 0 49022929 295837696 59013 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72226 59013 1888 2271 0 66864 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 288904 KiB
Current children cumulated memory: 236052 KiB

[startup+3162.3 s]
/proc/loadavg: 4.49 4.19 4.12 5/263 50267
/proc/meminfo: memFree=125911280/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=289624 memory=236692 CPUtime=3153.99 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43788 0 0 0 313340 2059 0 0 20 0 1 0 49022929 296574976 59173 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72406 59173 1888 2271 0 67044 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 289624 KiB
Current children cumulated memory: 236692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/263 50269
/proc/meminfo: memFree=125912408/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=289976 memory=237076 CPUtime=3213.81 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43885 0 0 0 319302 2079 0 0 20 0 1 0 49022929 296935424 59269 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72494 59269 1888 2271 0 67132 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 289976 KiB
Current children cumulated memory: 237076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 50274
/proc/meminfo: memFree=125909168/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=290248 memory=237332 CPUtime=3273.63 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 43953 0 0 0 325267 2096 0 0 20 0 1 0 49022929 297213952 59333 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72562 59333 1888 2271 0 67200 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 290248 KiB
Current children cumulated memory: 237332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 50276
/proc/meminfo: memFree=125924732/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=290824 memory=237844 CPUtime=3333.46 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44088 0 0 0 331228 2118 0 0 20 0 1 0 49022929 297803776 59461 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 72706 59461 1888 2271 0 67344 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 290824 KiB
Current children cumulated memory: 237844 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 50278
/proc/meminfo: memFree=125910408/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=292152 memory=239252 CPUtime=3393.3 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44425 0 0 0 337193 2137 0 0 20 0 1 0 49022929 299163648 59813 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 73038 59813 1888 2271 0 67676 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 292152 KiB
Current children cumulated memory: 239252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 50280
/proc/meminfo: memFree=125912876/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=292472 memory=239636 CPUtime=3453.15 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44537 0 0 0 343157 2158 0 0 20 0 1 0 49022929 299491328 59909 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 73118 59909 1888 2271 0 67756 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 292472 KiB
Current children cumulated memory: 239636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 50282
/proc/meminfo: memFree=125904692/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=292984 memory=240020 CPUtime=3513.01 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44632 0 0 0 349128 2173 0 0 20 0 1 0 49022929 300015616 60005 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 73246 60005 1888 2271 0 67884 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 240020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 50285
/proc/meminfo: memFree=125897396/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=293688 memory=240916 CPUtime=3572.84 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44842 0 0 0 355090 2194 0 0 20 0 1 0 49022929 300736512 60229 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 73422 60229 1888 2271 0 68060 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 293688 KiB
Current children cumulated memory: 240916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 50289
/proc/meminfo: memFree=125898280/131249996 swapFree=33010684/33010684
[pid=49973] ppid=49970 vsize=294200 memory=241300 CPUtime=3600.05 cores=1,3
/proc/49973/stat : 49973 (ExactPR) R 49970 49973 47583 0 -1 4194304 44937 0 0 0 357804 2201 0 0 20 0 1 0 49022929 301260800 60325 18446744073709551615 94626660831232 94626670131077 140720385551408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94626671917376 94626671956456 94626684764160 140720385554821 140720385554956 140720385554956 140720385560558 0
/proc/49973/statm: 73550 60325 1888 2271 0 68188 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 294200 KiB
Current children cumulated memory: 241300 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.06 s, system=22.0215 s

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

Child status: 10

Real time (s): 3609.62
CPU time (s): 3600.08
CPU user time (s): 3578.06
CPU system time (s): 22.0215
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 294200
Max. memory (cumulated for all children) (KiB): 241300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.06
system time used= 22.0215
maximum resident set size= 264828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44954
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= 170
involuntary context switches= 5717


# summary of solver processes directly reported to runsolver:
#   pid: 49973
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3578.06
#   total CPU system time (s): 22.0215

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.41508 second user time and 14.3886 second system time

The end