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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458861-1721883133/watcher-4458861-1721883133 -o /tmp/evaluation-result-4458861-1721883133/solver-4458861-1721883133 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721875910-264524 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458861-1721883133.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=268770, runsolver pid=268767
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=110056512/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=36744 memory=22144 CPUtime=0.09 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 4819 0 0 0 9 0 0 0 20 0 1 0 24841575 37625856 5536 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 9186 5536 878 2594 0 6079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36744 KiB
Current children cumulated memory: 22144 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=110018376/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=54616 memory=40116 CPUtime=0.2 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 9281 0 0 0 19 1 0 0 20 0 1 0 24841575 55926784 10029 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 13654 10029 878 2594 0 10547 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54616 KiB
Current children cumulated memory: 40116 KiB

[startup+0.305614 s]*
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=109987268/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=70948 memory=56484 CPUtime=0.3 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 13355 0 0 0 29 1 0 0 20 0 1 0 24841575 72650752 14121 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 17737 14121 878 2594 0 14630 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70948 KiB
Current children cumulated memory: 56484 KiB

[startup+0.700241 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=109841972/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=134832 memory=119888 CPUtime=0.69 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 29240 0 0 0 65 4 0 0 20 0 1 0 24841575 138067968 29972 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 33708 29972 878 2594 0 30601 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134832 KiB
Current children cumulated memory: 119888 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 268771
/proc/meminfo: memFree=109293660/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=428860 memory=417480 CPUtime=1.49 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 103086 0 0 0 133 16 0 0 20 0 1 0 24841575 439152640 104370 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 107215 104370 2526 2594 0 104108 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 428860 KiB
Current children cumulated memory: 417480 KiB

[startup+3.10548 s]
/proc/loadavg: 4.14 4.14 4.10 5/254 268773
/proc/meminfo: memFree=108740572/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=540676 memory=528456 CPUtime=3.08 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 130851 0 0 0 288 20 0 0 20 0 1 0 24841575 553652224 132114 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 135169 132114 2526 2594 0 132062 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 540676 KiB
Current children cumulated memory: 528456 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.13 4.10 5/254 268773
/proc/meminfo: memFree=107708472/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1064140 memory=1013904 CPUtime=6.28 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 176084 0 0 0 591 37 0 0 20 0 1 0 24841575 1089679360 253476 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 266035 253476 2638 2594 0 262928 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1064140 KiB
Current children cumulated memory: 1013904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.10 5/254 268773
/proc/meminfo: memFree=107704060/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1064140 memory=1016216 CPUtime=12.65 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 176199 0 0 0 1228 37 0 0 20 0 1 0 24841575 1089679360 254054 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 266035 254054 2638 2594 0 262928 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1064140 KiB
Current children cumulated memory: 1016216 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 268822
/proc/meminfo: memFree=107666344/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1065244 memory=1017068 CPUtime=25.42 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 176422 0 0 0 2504 38 0 0 20 0 1 0 24841575 1090809856 254267 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 266311 254267 2638 2594 0 263204 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1065244 KiB
Current children cumulated memory: 1017068 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 268825
/proc/meminfo: memFree=107662272/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1068104 memory=1020092 CPUtime=50.94 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 176966 0 0 0 5055 39 0 0 20 0 1 0 24841575 1093738496 255023 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 267026 255023 2638 2594 0 263919 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1068104 KiB
Current children cumulated memory: 1020092 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/254 268879
/proc/meminfo: memFree=107380556/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1069716 memory=1021388 CPUtime=101.96 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 177390 0 0 0 10155 41 0 0 20 0 1 0 24841575 1095389184 255347 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 267429 255347 2638 2594 0 264322 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1069716 KiB
Current children cumulated memory: 1021388 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.23 4.13 5/255 268890
/proc/meminfo: memFree=107371852/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1074120 memory=1023316 CPUtime=161.75 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 178578 0 0 0 16132 43 0 0 20 0 1 0 24841575 1099898880 255829 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 268530 255829 2638 2594 0 265423 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1074120 KiB
Current children cumulated memory: 1023316 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/255 269287
/proc/meminfo: memFree=107364488/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1109736 memory=1043036 CPUtime=221.52 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 183774 0 0 0 22107 45 0 0 20 0 1 0 24841575 1136369664 260759 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 277434 260759 2670 2594 0 274327 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1109736 KiB
Current children cumulated memory: 1043036 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/255 269299
/proc/meminfo: memFree=107353384/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1109736 memory=1043036 CPUtime=281.32 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 183818 0 0 0 28085 47 0 0 20 0 1 0 24841575 1136369664 260759 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 277434 260759 2670 2594 0 274327 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1109736 KiB
Current children cumulated memory: 1043036 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/254 269310
/proc/meminfo: memFree=107345804/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1109736 memory=1043036 CPUtime=341.12 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 183862 0 0 0 34063 49 0 0 20 0 1 0 24841575 1136369664 260759 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 277434 260759 2670 2594 0 274327 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1109736 KiB
Current children cumulated memory: 1043036 KiB

[startup+402.3 s]
/proc/loadavg: 4.31 4.20 4.13 5/256 269491
/proc/meminfo: memFree=107201604/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1242656 memory=1175452 CPUtime=400.9 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 228186 0 0 0 40031 59 0 0 20 0 1 0 24841575 1272479744 293863 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 310664 293863 2670 2594 0 307557 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1242656 KiB
Current children cumulated memory: 1175452 KiB

[startup+462.3 s]
/proc/loadavg: 4.43 4.27 4.16 5/256 269501
/proc/meminfo: memFree=107163436/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1242656 memory=1175472 CPUtime=460.7 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 228250 0 0 0 46010 60 0 0 20 0 1 0 24841575 1272479744 293868 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 310664 293868 2670 2594 0 307557 0

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

Current children cumulated memory: 1185392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 270714
/proc/meminfo: memFree=106428264/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1242656 memory=1185392 CPUtime=2913.3 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 234451 0 0 0 291245 85 0 0 20 0 1 0 24841575 1272479744 296348 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 310664 296348 2670 2594 0 307557 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 1242656 KiB
Current children cumulated memory: 1185392 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 270727
/proc/meminfo: memFree=106427616/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=1242656 memory=1185392 CPUtime=2973.14 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 234557 0 0 0 297229 85 0 0 20 0 1 0 24841575 1272479744 296348 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 310664 296348 2670 2594 0 307557 0
Current children cumulated CPU time: 2973.14 s
Current children cumulated vsize: 1242656 KiB
Current children cumulated memory: 1185392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/254 270737
/proc/meminfo: memFree=107820496/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=710196 CPUtime=3032.99 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 234919 0 0 0 303212 87 0 0 20 0 1 0 24841575 751079424 177549 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 177549 2718 2594 0 180262 0
Current children cumulated CPU time: 3032.99 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 710196 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/254 270747
/proc/meminfo: memFree=107788208/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=710196 CPUtime=3092.84 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235037 0 0 0 309197 87 0 0 20 0 1 0 24841575 751079424 177549 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 177549 2718 2594 0 180262 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 710196 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 270757
/proc/meminfo: memFree=107722748/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=710196 CPUtime=3152.69 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235128 0 0 0 315182 87 0 0 20 0 1 0 24841575 751079424 177549 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 177549 2718 2594 0 180262 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 710196 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/252 270768
/proc/meminfo: memFree=107717356/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=714292 CPUtime=3212.55 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235232 0 0 0 321167 88 0 0 20 0 1 0 24841575 751079424 178573 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 178573 2718 2594 0 180262 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 714292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/251 270779
/proc/meminfo: memFree=107688600/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=716340 CPUtime=3272.41 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235357 0 0 0 327153 88 0 0 20 0 1 0 24841575 751079424 179085 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 179085 2718 2594 0 180262 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 716340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/252 270790
/proc/meminfo: memFree=107673904/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=720436 CPUtime=3332.26 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235477 0 0 0 333138 88 0 0 20 0 1 0 24841575 751079424 180109 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180109 2718 2594 0 180262 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 720436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 270801
/proc/meminfo: memFree=107664528/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=720436 CPUtime=3392.11 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235592 0 0 0 339123 88 0 0 20 0 1 0 24841575 751079424 180109 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180109 2718 2594 0 180262 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 720436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.22 4.13 5/252 270811
/proc/meminfo: memFree=107655028/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=720436 CPUtime=3451.96 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235708 0 0 0 345108 88 0 0 20 0 1 0 24841575 751079424 180109 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180109 2718 2594 0 180262 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 720436 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/254 270825
/proc/meminfo: memFree=107629508/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=720436 CPUtime=3511.81 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235827 0 0 0 351093 88 0 0 20 0 1 0 24841575 751079424 180109 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180109 2718 2594 0 180262 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 720436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/254 270837
/proc/meminfo: memFree=107604468/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=722484 CPUtime=3571.67 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235944 0 0 0 357079 88 0 0 20 0 1 0 24841575 751079424 180621 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180621 2718 2594 0 180262 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 722484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.22 4.20 4.13 5/252 270856
/proc/meminfo: memFree=108347720/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=722484 CPUtime=3600 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235964 0 0 0 359912 88 0 0 20 0 1 0 24841575 751079424 180621 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180621 2718 2594 0 180262 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 722484 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.12 s, system=0.888359 s

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

[startup+3610.7 s]
/proc/loadavg: 4.22 4.20 4.13 5/252 270856
/proc/meminfo: memFree=108347720/131524600 swapFree=131063756/131071996
[pid=268770] ppid=268767 vsize=733476 memory=722484 CPUtime=3600 cores=4,6
/proc/268770/stat : 268770 (CASHWMaxSAT-Dis) R 268767 268770 264513 0 -1 4194304 235964 0 0 0 359912 88 0 0 20 0 1 0 24841575 751079424 180621 134679101440 4194304 14817773 140730478001904 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 47820800 140730478007273 140730478007388 140730478007388 140730478014399 0
/proc/268770/statm: 183369 180621 2718 2594 0 180262 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 733476 KiB
Current children cumulated memory: 722484 KiB

Child status: 10

Real time (s): 3610.7
CPU time (s): 3600.01
CPU user time (s): 3599.12
CPU system time (s): 0.888359
CPU usage (%): 99.7039
Max. virtual memory (cumulated for all children) (KiB): 1291952
Max. memory (cumulated for all children) (KiB): 1221880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.888359
maximum resident set size= 1221880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235967
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= 22
involuntary context switches= 1234


# summary of solver processes directly reported to runsolver:
#   pid: 268770
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 0.888359

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4755 second user time and 16.4838 second system time

The end