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: 63968 MiB (61821 MiB free)
  memory of node 1: 64473 MiB (59663 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439467-1721198245/watcher-4439467-1721198245 -o /tmp/evaluation-result-4439467-1721198245/solver-4439467-1721198245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721194641-893029 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439467-1721198245.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=895175, runsolver pid=895172

[startup+0.100698 s]*
/proc/loadavg: 4.13 4.12 4.06 5/254 895176
/proc/meminfo: memFree=124352392/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=33292 memory=13436 CPUtime=0.09 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 2707 0 0 0 9 0 0 0 20 0 1 0 171988378 34091008 3359 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 8323 3359 794 2550 0 5278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33292 KiB
Current children cumulated memory: 13436 KiB

[startup+0.205473 s]*
/proc/loadavg: 4.12 4.12 4.06 5/254 895176
/proc/meminfo: memFree=124276752/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=80600 memory=55776 CPUtime=0.2 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 8827 0 0 0 19 1 0 0 20 0 1 0 171988378 82534400 13944 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 20150 13944 842 2550 0 17105 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 55776 KiB

[startup+0.305525 s]*
/proc/loadavg: 4.12 4.12 4.06 5/254 895176
/proc/meminfo: memFree=124253500/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=80600 memory=56220 CPUtime=0.29 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 8850 0 0 0 28 1 0 0 20 0 1 0 171988378 82534400 14055 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 20150 14055 890 2550 0 17105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 56220 KiB

[startup+0.700223 s]
/proc/loadavg: 4.12 4.12 4.06 5/254 895176
/proc/meminfo: memFree=124193268/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=123312 memory=98904 CPUtime=0.68 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 19515 0 0 0 65 3 0 0 20 0 1 0 171988378 126271488 24726 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 30828 24726 938 2550 0 27783 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123312 KiB
Current children cumulated memory: 98904 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.12 4.06 6/254 895176
/proc/meminfo: memFree=123898024/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=253940 memory=231852 CPUtime=1.49 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 28761 0 0 0 142 7 0 0 20 0 1 0 171988378 260034560 57963 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 63485 57963 970 2550 0 60440 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 253940 KiB
Current children cumulated memory: 231852 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.12 4.06 6/254 895176
/proc/meminfo: memFree=123431764/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=506152 memory=470132 CPUtime=3.08 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 83195 0 0 0 291 17 0 0 20 0 1 0 171988378 518299648 117533 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 126538 117533 2490 2550 0 123493 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 506152 KiB
Current children cumulated memory: 470132 KiB

[startup+6.30022 s]
/proc/loadavg: 4.11 4.11 4.06 6/255 895177
/proc/meminfo: memFree=122472516/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=506152 memory=470132 CPUtime=6.27 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 83223 0 0 0 609 18 0 0 20 0 1 0 171988378 518299648 117533 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 126538 117533 2490 2550 0 123493 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 506152 KiB
Current children cumulated memory: 470132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.06 7/255 895178
/proc/meminfo: memFree=121808044/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=878444 memory=806328 CPUtime=12.65 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 117814 0 0 0 1239 26 0 0 20 0 1 0 171988378 899526656 201582 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 219611 201582 2634 2550 0 216566 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 878444 KiB
Current children cumulated memory: 806328 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.06 6/255 895180
/proc/meminfo: memFree=120265676/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=878444 memory=806328 CPUtime=25.4 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 117838 0 0 0 2514 26 0 0 20 0 1 0 171988378 899526656 201582 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 219611 201582 2634 2550 0 216566 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 878444 KiB
Current children cumulated memory: 806328 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.06 6/255 895184
/proc/meminfo: memFree=120214072/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=934236 memory=836716 CPUtime=50.91 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 123422 0 0 0 5063 28 0 0 20 0 1 0 171988378 956657664 209179 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 233559 209179 2666 2550 0 230514 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 934236 KiB
Current children cumulated memory: 836716 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.06 6/255 895193
/proc/meminfo: memFree=120196440/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=986560 memory=845756 CPUtime=101.9 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 124260 0 0 0 10162 28 0 0 20 0 1 0 171988378 1010237440 211439 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 246640 211439 2666 2550 0 243595 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 986560 KiB
Current children cumulated memory: 845756 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.06 7/257 895208
/proc/meminfo: memFree=120187484/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1018972 memory=848032 CPUtime=161.68 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 124343 0 0 0 16139 29 0 0 20 0 1 0 171988378 1043427328 212008 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 254743 212008 2666 2550 0 251698 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1018972 KiB
Current children cumulated memory: 848032 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.06 6/257 895219
/proc/meminfo: memFree=120154544/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1143684 memory=855208 CPUtime=221.44 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 125689 0 0 0 22114 30 0 0 20 0 1 0 171988378 1171132416 213802 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 285921 213802 2666 2550 0 282876 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 1143684 KiB
Current children cumulated memory: 855208 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.06 6/257 895229
/proc/meminfo: memFree=120148392/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1143684 memory=855248 CPUtime=281.2 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 125728 0 0 0 28090 30 0 0 20 0 1 0 171988378 1171132416 213812 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 285921 213812 2666 2550 0 282876 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 1143684 KiB
Current children cumulated memory: 855248 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.07 6/256 895240
/proc/meminfo: memFree=120146724/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1143684 memory=855248 CPUtime=340.96 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 125760 0 0 0 34065 31 0 0 20 0 1 0 171988378 1171132416 213812 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 285921 213812 2666 2550 0 282876 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 1143684 KiB
Current children cumulated memory: 855248 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.08 7/256 895252
/proc/meminfo: memFree=120137836/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1146384 memory=856116 CPUtime=400.77 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 126020 0 0 0 40046 31 0 0 20 0 1 0 171988378 1173897216 214029 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 286596 214029 2666 2550 0 283551 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 1146384 KiB
Current children cumulated memory: 856116 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.08 6/256 895263
/proc/meminfo: memFree=120119792/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1146384 memory=856160 CPUtime=460.58 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 126052 0 0 0 46026 32 0 0 20 0 1 0 171988378 1173897216 214040 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 286596 214040 2666 2550 0 283551 0

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

Current children cumulated memory: 843916 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/257 896709
/proc/meminfo: memFree=118909868/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=843916 CPUtime=2911.7 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164119 0 0 0 291106 64 0 0 20 0 1 0 171988378 1146589184 210979 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 210979 2666 2550 0 276884 0
Current children cumulated CPU time: 2911.7 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 843916 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/257 896719
/proc/meminfo: memFree=118899848/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=847020 CPUtime=2971.5 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164299 0 0 0 297086 64 0 0 20 0 1 0 171988378 1146589184 211755 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 211755 2666 2550 0 276884 0
Current children cumulated CPU time: 2971.5 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 847020 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/258 896899
/proc/meminfo: memFree=118852124/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=869332 CPUtime=3031.3 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164436 0 0 0 303066 64 0 0 20 0 1 0 171988378 1146589184 217333 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 217333 2666 2550 0 276884 0
Current children cumulated CPU time: 3031.3 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 869332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/258 896909
/proc/meminfo: memFree=118843860/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=884664 CPUtime=3091.11 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164592 0 0 0 309047 64 0 0 20 0 1 0 171988378 1146589184 221166 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 221166 2666 2550 0 276884 0
Current children cumulated CPU time: 3091.11 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 884664 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/259 896977
/proc/meminfo: memFree=118820752/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=893160 CPUtime=3150.9 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164757 0 0 0 315026 64 0 0 20 0 1 0 171988378 1146589184 223290 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 223290 2666 2550 0 276884 0
Current children cumulated CPU time: 3150.9 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 893160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/259 896989
/proc/meminfo: memFree=118841996/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=893160 CPUtime=3210.7 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 164949 0 0 0 321006 64 0 0 20 0 1 0 171988378 1146589184 223290 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 223290 2666 2550 0 276884 0
Current children cumulated CPU time: 3210.7 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 893160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/259 897000
/proc/meminfo: memFree=118841196/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3270.5 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 165134 0 0 0 326986 64 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3270.5 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/258 897010
/proc/meminfo: memFree=118828564/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3330.3 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 165275 0 0 0 332966 64 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3330.3 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.12 4.10 6/257 897022
/proc/meminfo: memFree=118836972/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3390.11 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 165468 0 0 0 338947 64 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3390.11 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/255 897033
/proc/meminfo: memFree=118842832/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3449.93 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 165666 0 0 0 344928 65 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3449.93 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/255 897044
/proc/meminfo: memFree=118797136/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3509.73 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 165856 0 0 0 350908 65 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3509.73 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/255 897054
/proc/meminfo: memFree=118791496/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3569.54 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 166042 0 0 0 356889 65 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3569.54 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 897153
/proc/meminfo: memFree=122029164/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3600.04 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 166111 0 0 0 359939 65 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.39 s, system=0.661065 s

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

[startup+3612.9 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 897153
/proc/meminfo: memFree=122029164/131524600 swapFree=131071996/131071996
[pid=895175] ppid=895172 vsize=1119716 memory=897532 CPUtime=3600.04 cores=0,2
/proc/895175/stat : 895175 (CASHWMaxSAT-Dis) R 895172 895175 893019 0 -1 4194304 166111 0 0 0 359939 65 0 0 20 0 1 0 171988378 1146589184 224383 134679101440 4194304 14636349 140736821544384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 34516992 140736821552098 140736821552214 140736821552214 140736821559230 0
/proc/895175/statm: 279929 224383 2666 2550 0 276884 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1119716 KiB
Current children cumulated memory: 897532 KiB

Child status: 10

Real time (s): 3612.9
CPU time (s): 3600.06
CPU user time (s): 3599.39
CPU system time (s): 0.661065
CPU usage (%): 99.6444
Max. virtual memory (cumulated for all children) (KiB): 1314132
Max. memory (cumulated for all children) (KiB): 998024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.39
system time used= 0.661065
maximum resident set size= 998024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166116
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= 96
involuntary context switches= 24671


# summary of solver processes directly reported to runsolver:
#   pid: 895175
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.39
#   total CPU system time (s): 0.661065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39891 second user time and 16.804 second system time

The end