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: 64096 MiB (52302 MiB free)
  memory of node 1: 64473 MiB (58785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438968-1721250738/watcher-4438968-1721250738 -o /tmp/evaluation-result-4438968-1721250738/solver-4438968-1721250738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721243521-914203 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438968-1721250738.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=918334, runsolver pid=918331

[startup+0.101054 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918335
/proc/meminfo: memFree=113744148/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=31680 memory=22320 CPUtime=0.1 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 3549 0 0 0 9 1 0 0 20 0 1 0 177229628 32440320 5580 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 7920 5580 2362 2726 0 4668 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31680 KiB
Current children cumulated memory: 22320 KiB

[startup+0.211297 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918335
/proc/meminfo: memFree=113727012/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=48444 memory=38852 CPUtime=0.21 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 7435 0 0 0 19 2 0 0 20 0 1 0 177229628 49606656 9713 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 12111 9713 2618 2726 0 8859 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48444 KiB
Current children cumulated memory: 38852 KiB

[startup+0.311859 s]*
/proc/loadavg: 4.07 4.15 4.19 5/243 918336
/proc/meminfo: memFree=113721636/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=52224 memory=42344 CPUtime=0.31 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 8321 0 0 0 29 2 0 0 20 0 1 0 177229628 53477376 10586 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 13056 10586 2634 2726 0 9804 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52224 KiB
Current children cumulated memory: 42344 KiB

[startup+0.700352 s]
/proc/loadavg: 4.07 4.15 4.19 5/243 918336
/proc/meminfo: memFree=117121300/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=53424 memory=43664 CPUtime=0.68 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 8652 0 0 0 66 2 0 0 20 0 1 0 177229628 54706176 10916 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 13356 10916 2634 2726 0 10104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53424 KiB
Current children cumulated memory: 43664 KiB

[startup+1.50033 s]
/proc/loadavg: 4.07 4.15 4.19 5/243 918384
/proc/meminfo: memFree=121907480/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=63484 memory=53168 CPUtime=1.48 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 11129 0 0 0 145 3 0 0 20 0 1 0 177229628 65007616 13292 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 15871 13292 2714 2726 0 12619 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63484 KiB
Current children cumulated memory: 53168 KiB

[startup+3.11248 s]
/proc/loadavg: 4.07 4.15 4.19 5/243 918430
/proc/meminfo: memFree=121797696/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=81048 memory=66896 CPUtime=3.08 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 14515 0 0 0 305 3 0 0 20 0 1 0 177229628 82993152 16724 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 20262 16724 2730 2726 0 17010 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81048 KiB
Current children cumulated memory: 66896 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.17 4.19 5/243 918430
/proc/meminfo: memFree=121381832/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=105164 memory=82604 CPUtime=6.27 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 19833 0 0 0 622 5 0 0 20 0 1 0 177229628 107687936 20651 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 26291 20651 2762 2726 0 23039 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 82604 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.19 5/243 918432
/proc/meminfo: memFree=121249980/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=105164 memory=82604 CPUtime=12.64 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 19835 0 0 0 1259 5 0 0 20 0 1 0 177229628 107687936 20651 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 26291 20651 2762 2726 0 23039 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 82604 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.15 4.18 5/243 918433
/proc/meminfo: memFree=121319692/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=118660 memory=94472 CPUtime=25.39 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 22834 0 0 0 2534 5 0 0 20 0 1 0 177229628 121507840 23618 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 29665 23618 2762 2726 0 26413 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 118660 KiB
Current children cumulated memory: 94472 KiB

[startup+51.1126 s]
/proc/loadavg: 4.15 4.16 4.18 5/243 918438
/proc/meminfo: memFree=120937460/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=177452 memory=135764 CPUtime=50.9 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 33853 0 0 0 5083 7 0 0 20 0 1 0 177229628 181710848 33941 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 44363 33941 2762 2726 0 41111 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 177452 KiB
Current children cumulated memory: 135764 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.13 4.17 5/243 918446
/proc/meminfo: memFree=120841268/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=243580 memory=187672 CPUtime=101.88 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 46886 0 0 0 10178 10 0 0 20 0 1 0 177229628 249425920 46918 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 60895 46918 2762 2726 0 57643 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 243580 KiB
Current children cumulated memory: 187672 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/243 918457
/proc/meminfo: memFree=120830280/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=318204 memory=256116 CPUtime=161.64 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 60989 0 0 0 16151 13 0 0 20 0 1 0 177229628 325840896 64029 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 79551 64029 2762 2726 0 76299 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 318204 KiB
Current children cumulated memory: 256116 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/241 918468
/proc/meminfo: memFree=120927232/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=362108 memory=293140 CPUtime=221.4 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 66674 0 0 0 22125 15 0 0 20 0 1 0 177229628 370798592 73285 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 90527 73285 2762 2726 0 87275 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 362108 KiB
Current children cumulated memory: 293140 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/241 918478
/proc/meminfo: memFree=120876212/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=399240 memory=330152 CPUtime=281.16 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 70878 0 0 0 28100 16 0 0 20 0 1 0 177229628 408821760 82538 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 99810 82538 2762 2726 0 96558 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 399240 KiB
Current children cumulated memory: 330152 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.16 5/241 918488
/proc/meminfo: memFree=120674180/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=436268 memory=350084 CPUtime=340.92 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 73415 0 0 0 34074 18 0 0 20 0 1 0 177229628 446738432 87521 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 109067 87521 2762 2726 0 105815 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 436268 KiB
Current children cumulated memory: 350084 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/241 918499
/proc/meminfo: memFree=120644176/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=457288 memory=362892 CPUtime=400.67 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 75078 0 0 0 40048 19 0 0 20 0 1 0 177229628 468262912 90723 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 114322 90723 2762 2726 0 111070 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 457288 KiB
Current children cumulated memory: 362892 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 918513
/proc/meminfo: memFree=120786596/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=508308 memory=390120 CPUtime=460.43 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 78353 0 0 0 46022 21 0 0 20 0 1 0 177229628 520507392 97530 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 127077 97530 2762 2726 0 123825 0

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

Current children cumulated memory: 577472 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/247 920188
/proc/meminfo: memFree=118876048/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=499012 memory=492704 CPUtime=2913.1 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 151336 0 0 0 291248 62 0 0 20 0 1 0 177229628 510988288 123176 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 124753 123176 3111 2726 0 121501 0
Current children cumulated CPU time: 2913.1 s
Current children cumulated vsize: 499012 KiB
Current children cumulated memory: 492704 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/246 920198
/proc/meminfo: memFree=118786500/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=499012 memory=492704 CPUtime=2972.93 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 152285 0 0 0 297230 63 0 0 20 0 1 0 177229628 510988288 123176 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 124753 123176 3111 2726 0 121501 0
Current children cumulated CPU time: 2972.93 s
Current children cumulated vsize: 499012 KiB
Current children cumulated memory: 492704 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/247 920210
/proc/meminfo: memFree=118844984/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=499012 memory=492704 CPUtime=3032.77 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 152348 0 0 0 303213 64 0 0 20 0 1 0 177229628 510988288 123176 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 124753 123176 3111 2726 0 121501 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 499012 KiB
Current children cumulated memory: 492704 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/247 920220
/proc/meminfo: memFree=118736484/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=571444 memory=565136 CPUtime=3092.61 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 153579 0 0 0 309194 67 0 0 20 0 1 0 177229628 585158656 141284 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 142861 141284 3111 2726 0 139609 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 571444 KiB
Current children cumulated memory: 565136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/247 920231
/proc/meminfo: memFree=118580420/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=625084 memory=618776 CPUtime=3152.45 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 154475 0 0 0 315176 69 0 0 20 0 1 0 177229628 640086016 154694 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 156271 154694 3111 2726 0 153019 0
Current children cumulated CPU time: 3152.45 s
Current children cumulated vsize: 625084 KiB
Current children cumulated memory: 618776 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/242 920242
/proc/meminfo: memFree=118655888/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=625084 memory=618776 CPUtime=3212.28 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 154669 0 0 0 321159 69 0 0 20 0 1 0 177229628 640086016 154694 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 156271 154694 3111 2726 0 153019 0
Current children cumulated CPU time: 3212.28 s
Current children cumulated vsize: 625084 KiB
Current children cumulated memory: 618776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/244 920266
/proc/meminfo: memFree=118726752/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=625084 memory=618780 CPUtime=3272.12 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 154868 0 0 0 327143 69 0 0 20 0 1 0 177229628 640086016 154695 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 156271 154695 3111 2726 0 153019 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 625084 KiB
Current children cumulated memory: 618780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/243 920500
/proc/meminfo: memFree=118611748/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=666204 memory=659900 CPUtime=3331.97 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 155467 0 0 0 333123 74 0 0 20 0 1 0 177229628 682192896 164975 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 166551 164975 3111 2726 0 163299 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 666204 KiB
Current children cumulated memory: 659900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/243 920511
/proc/meminfo: memFree=118542816/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=705412 memory=699108 CPUtime=3391.8 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 156202 0 0 0 339102 78 0 0 20 0 1 0 177229628 722341888 174777 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 176353 174777 3111 2726 0 173101 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 705412 KiB
Current children cumulated memory: 699108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/246 920812
/proc/meminfo: memFree=118617768/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=645720 memory=639416 CPUtime=3451.64 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 157322 0 0 0 345083 81 0 0 20 0 1 0 177229628 661217280 159854 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 161430 159854 3111 2726 0 158178 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 645720 KiB
Current children cumulated memory: 639416 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/246 920822
/proc/meminfo: memFree=118651748/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=645720 memory=639416 CPUtime=3511.48 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 157497 0 0 0 351066 82 0 0 20 0 1 0 177229628 661217280 159854 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 161430 159854 3111 2726 0 158178 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 645720 KiB
Current children cumulated memory: 639416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/245 920832
/proc/meminfo: memFree=118682800/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=645720 memory=639416 CPUtime=3571.32 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 157673 0 0 0 357050 82 0 0 20 0 1 0 177229628 661217280 159854 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 161430 159854 3111 2726 0 158178 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 645720 KiB
Current children cumulated memory: 639416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.26 4.14 4.10 4/238 920869
/proc/meminfo: memFree=119220876/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=666556 memory=660252 CPUtime=3600.06 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 158317 0 0 0 359920 86 0 0 20 0 1 0 177229628 682553344 165063 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 166639 165063 3111 2726 0 163387 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 666556 KiB
Current children cumulated memory: 660252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=0.863363 s

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

[startup+3611.11 s]
/proc/loadavg: 4.26 4.14 4.10 4/238 920869
/proc/meminfo: memFree=119220876/131655788 swapFree=131071996/131071996
[pid=918334] ppid=918331 vsize=666556 memory=660252 CPUtime=3600.06 cores=1,3
/proc/918334/stat : 918334 (CASHWMaxSAT-Dis) R 918331 918334 914189 0 -1 4194304 158317 0 0 0 359920 86 0 0 20 0 1 0 177229628 682553344 165063 134679101440 4194304 15356333 140724539216832 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 46419968 140724539220962 140724539221078 140724539221078 140724539228094 0
/proc/918334/statm: 166639 165063 3111 2726 0 163387 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 666556 KiB
Current children cumulated memory: 660252 KiB

Child status: 10

Real time (s): 3611.12
CPU time (s): 3600.07
CPU user time (s): 3599.2
CPU system time (s): 0.863363
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 1125036
Max. memory (cumulated for all children) (KiB): 1079028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.863363
maximum resident set size= 1079028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158319
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= 106
involuntary context switches= 2094


# summary of solver processes directly reported to runsolver:
#   pid: 918334
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 0.863363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3738 second user time and 33.8227 second system time

The end