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: 64059 MiB (62959 MiB free)
  memory of node 1: 64510 MiB (62823 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439915-1721220291/watcher-4439915-1721220291 -o /tmp/evaluation-result-4439915-1721220291/solver-4439915-1721220291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894679 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439915-1721220291.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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=895831, runsolver pid=895828

[startup+0.100097 s]*
/proc/loadavg: 4.20 4.24 3.86 5/241 895832
/proc/meminfo: memFree=128791888/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=33084 memory=14676 CPUtime=0.1 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 3030 0 0 0 10 0 0 0 20 0 1 0 174185554 33878016 3669 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 8271 3669 750 2417 0 5373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33084 KiB
Current children cumulated memory: 14676 KiB

[startup+0.212485 s]*
/proc/loadavg: 4.20 4.24 3.86 5/241 895832
/proc/meminfo: memFree=128782184/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=41644 memory=23264 CPUtime=0.21 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 5406 0 0 0 20 1 0 0 20 0 1 0 174185554 42643456 5816 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 10411 5816 782 2417 0 7513 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41644 KiB
Current children cumulated memory: 23264 KiB

[startup+0.312377 s]*
/proc/loadavg: 4.20 4.24 3.86 6/241 895832
/proc/meminfo: memFree=128768056/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=49052 memory=30544 CPUtime=0.31 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 7217 0 0 0 30 1 0 0 20 0 1 0 174185554 50229248 7636 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 12263 7636 782 2417 0 9365 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49052 KiB
Current children cumulated memory: 30544 KiB

[startup+0.700319 s]
/proc/loadavg: 4.20 4.24 3.86 6/241 895832
/proc/meminfo: memFree=128737600/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=107192 memory=88108 CPUtime=0.69 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 16470 0 0 0 65 4 0 0 20 0 1 0 174185554 109764608 22027 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 26798 22027 782 2417 0 23900 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107192 KiB
Current children cumulated memory: 88108 KiB

[startup+1.50033 s]
/proc/loadavg: 4.20 4.24 3.86 5/237 895854
/proc/meminfo: memFree=128709988/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=174084 memory=142368 CPUtime=1.49 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 25520 0 0 0 142 7 0 0 20 0 1 0 174185554 178262016 35592 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 43521 35592 782 2417 0 40623 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 174084 KiB
Current children cumulated memory: 142368 KiB

[startup+3.11248 s]
/proc/loadavg: 4.19 4.23 3.86 5/243 895865
/proc/meminfo: memFree=128029596/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=697968 memory=672164 CPUtime=3.1 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 148401 0 0 0 284 26 0 0 20 0 1 0 174185554 714719232 168041 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 174492 168041 2302 2417 0 171594 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 697968 KiB
Current children cumulated memory: 672164 KiB

[startup+6.30033 s]
/proc/loadavg: 4.19 4.23 3.86 5/243 895865
/proc/meminfo: memFree=126789704/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=1483224 memory=1436552 CPUtime=6.27 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 323665 0 0 0 574 53 0 0 20 0 1 0 174185554 1518821376 359138 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 370806 359138 2350 2417 0 367908 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1483224 KiB
Current children cumulated memory: 1436552 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.25 3.87 5/243 895867
/proc/meminfo: memFree=126435292/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=1543120 memory=1495148 CPUtime=12.65 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 325563 0 0 0 1211 54 0 0 20 0 1 0 174185554 1580154880 373787 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 385780 373787 2414 2417 0 382882 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1543120 KiB
Current children cumulated memory: 1495148 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.23 3.87 6/243 895868
/proc/meminfo: memFree=126322840/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=1543120 memory=1495660 CPUtime=25.4 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 325705 0 0 0 2486 54 0 0 20 0 1 0 174185554 1580154880 373915 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 385780 373915 2414 2417 0 382882 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1543120 KiB
Current children cumulated memory: 1495660 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.21 3.88 6/243 895874
/proc/meminfo: memFree=126097760/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=1817392 memory=1717984 CPUtime=50.92 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 350261 0 0 0 5031 61 0 0 20 0 1 0 174185554 1861009408 429496 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 454348 429496 2414 2417 0 451450 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1817392 KiB
Current children cumulated memory: 1717984 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.20 3.89 5/241 895882
/proc/meminfo: memFree=125378172/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2449524 memory=2334720 CPUtime=101.93 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 451183 0 0 0 10110 83 0 0 20 0 1 0 174185554 2508312576 583680 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 612381 583680 2526 2417 0 609483 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2449524 KiB
Current children cumulated memory: 2334720 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 3.91 5/241 895892
/proc/meminfo: memFree=125267972/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2451176 memory=2338184 CPUtime=161.71 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 452152 0 0 0 16087 84 0 0 20 0 1 0 174185554 2510004224 584546 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 612794 584546 2526 2417 0 609896 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2451176 KiB
Current children cumulated memory: 2338184 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.17 3.93 5/242 895903
/proc/meminfo: memFree=125199520/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2454524 memory=2341472 CPUtime=221.5 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 453159 0 0 0 22064 86 0 0 20 0 1 0 174185554 2513432576 585368 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 613631 585368 2526 2417 0 610733 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 2454524 KiB
Current children cumulated memory: 2341472 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 3.94 5/242 895914
/proc/meminfo: memFree=125117236/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2467616 memory=2350768 CPUtime=281.29 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 453608 0 0 0 28042 87 0 0 20 0 1 0 174185554 2526838784 587692 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 616904 587692 2526 2417 0 614006 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 2467616 KiB
Current children cumulated memory: 2350768 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.14 3.95 5/244 895928
/proc/meminfo: memFree=125056924/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2467900 memory=2351040 CPUtime=341.08 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 453893 0 0 0 34018 90 0 0 20 0 1 0 174185554 2527129600 587760 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 616975 587760 2526 2417 0 614077 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 2467900 KiB
Current children cumulated memory: 2351040 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.14 3.97 5/244 895938
/proc/meminfo: memFree=125030252/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2468040 memory=2353632 CPUtime=400.87 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 454127 0 0 0 39996 91 0 0 20 0 1 0 174185554 2527272960 588408 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 617010 588408 2526 2417 0 614112 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 2468040 KiB
Current children cumulated memory: 2353632 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.15 3.98 5/244 895949
/proc/meminfo: memFree=124978848/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2468316 memory=2357120 CPUtime=460.66 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 454339 0 0 0 45974 92 0 0 20 0 1 0 174185554 2527555584 589280 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 617079 589280 2526 2417 0 614181 0

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

Current children cumulated memory: 2197272 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/247 897661
/proc/meminfo: memFree=125155412/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=2912.13 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 465422 0 0 0 291114 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 2912.13 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/245 897671
/proc/meminfo: memFree=125155840/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=2971.91 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 465567 0 0 0 297092 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 2971.91 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/245 897682
/proc/meminfo: memFree=125142952/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3031.69 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 465722 0 0 0 303070 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3031.69 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/241 897694
/proc/meminfo: memFree=125158112/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3091.47 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 465869 0 0 0 309048 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3091.47 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/241 897704
/proc/meminfo: memFree=125152600/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3151.25 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466013 0 0 0 315026 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3151.25 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/241 897714
/proc/meminfo: memFree=125150940/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3211.03 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466170 0 0 0 321004 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3211.03 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/241 897725
/proc/meminfo: memFree=125148492/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3270.81 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466316 0 0 0 326982 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3270.81 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.16 4.12 5/243 897739
/proc/meminfo: memFree=125135636/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3330.6 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466453 0 0 0 332961 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3330.6 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.31 4.18 5/243 897749
/proc/meminfo: memFree=125135696/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3390.38 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466619 0 0 0 338939 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3390.38 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.28 4.18 5/243 897760
/proc/meminfo: memFree=125132240/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3450.16 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466763 0 0 0 344917 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3450.16 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.25 4.17 5/243 897770
/proc/meminfo: memFree=125123772/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3509.94 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 466909 0 0 0 350895 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.23 4.17 5/243 897780
/proc/meminfo: memFree=125121172/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3569.72 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 467054 0 0 0 356873 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3569.72 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.13 4.21 4.16 5/243 897832
/proc/meminfo: memFree=126103124/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3600 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 467116 0 0 0 359901 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.02 s, system=0.999758 s

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

[startup+3612.7 s]
/proc/loadavg: 4.13 4.21 4.16 5/243 897832
/proc/meminfo: memFree=126103124/131655788 swapFree=131071996/131071996
[pid=895831] ppid=895828 vsize=2219324 memory=2197272 CPUtime=3600 cores=0,2
/proc/895831/stat : 895831 (CASHWMaxSAT-Dis) R 895828 895831 894669 0 -1 4194304 467116 0 0 0 359901 99 0 0 20 0 1 0 174185554 2272587776 549318 134679101440 4194304 14093885 140722133297584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 22994944 140722133300196 140722133300311 140722133300311 140722133307327 0
/proc/895831/statm: 554831 549318 2526 2417 0 551933 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2219324 KiB
Current children cumulated memory: 2197272 KiB

Child status: 10

Real time (s): 3612.71
CPU time (s): 3600.02
CPU user time (s): 3599.02
CPU system time (s): 0.999758
CPU usage (%): 99.6488
Max. virtual memory (cumulated for all children) (KiB): 2489592
Max. memory (cumulated for all children) (KiB): 2441964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 0.999758
maximum resident set size= 2441964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467119
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= 12
involuntary context switches= 24657


# summary of solver processes directly reported to runsolver:
#   pid: 895831
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.02
#   total CPU system time (s): 0.999758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8915 second user time and 38.8398 second system time

The end