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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439060-1721207684/watcher-4439060-1721207684 -o /tmp/evaluation-result-4439060-1721207684/solver-4439060-1721207684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721207692-895763 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439060-1721207684.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=895869, runsolver pid=895866

[startup+0.100097 s]*
/proc/loadavg: 1.30 1.14 1.34 6/243 895870
/proc/meminfo: memFree=122677304/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=36628 memory=22132 CPUtime=0.1 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 4815 0 0 0 10 0 0 0 20 0 1 0 172927154 37507072 5533 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 9157 5533 878 2594 0 6050 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36628 KiB
Current children cumulated memory: 22132 KiB

[startup+0.213092 s]*
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=122656256/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=44140 memory=29860 CPUtime=0.21 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 6700 0 0 0 21 0 0 0 20 0 1 0 172927154 45199360 7465 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 11035 7465 878 2594 0 7928 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44140 KiB
Current children cumulated memory: 29860 KiB

[startup+0.312993 s]*
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=122648528/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=50836 memory=36452 CPUtime=0.31 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 8351 0 0 0 30 1 0 0 20 0 1 0 172927154 52056064 9113 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 12709 9113 878 2594 0 9602 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50836 KiB
Current children cumulated memory: 36452 KiB

[startup+0.70031 s]
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=122623232/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=77048 memory=62828 CPUtime=0.68 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 14939 0 0 0 66 2 0 0 20 0 1 0 172927154 78897152 15707 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 19262 15707 878 2594 0 16155 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77048 KiB
Current children cumulated memory: 62828 KiB

[startup+1.50033 s]
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=122559080/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=168444 memory=150480 CPUtime=1.49 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 27959 0 0 0 142 7 0 0 20 0 1 0 172927154 172486656 37620 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 42111 37620 926 2594 0 39004 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 168444 KiB
Current children cumulated memory: 150480 KiB

[startup+3.11284 s]
/proc/loadavg: 1.30 1.14 1.34 5/243 895870
/proc/meminfo: memFree=121828828/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=777384 memory=734296 CPUtime=3.09 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 157764 0 0 0 280 29 0 0 20 0 1 0 172927154 796041216 183574 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 194346 183574 2510 2594 0 191239 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 777384 KiB
Current children cumulated memory: 734296 KiB

[startup+6.30031 s]
/proc/loadavg: 1.51 1.19 1.35 5/243 895872
/proc/meminfo: memFree=121384420/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=935500 memory=889756 CPUtime=6.27 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 195810 0 0 0 592 35 0 0 20 0 1 0 172927154 957952000 222439 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 233875 222439 2526 2594 0 230768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 935500 KiB
Current children cumulated memory: 889756 KiB

[startup+12.7003 s]
/proc/loadavg: 1.71 1.24 1.37 5/243 895872
/proc/meminfo: memFree=120792668/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1675964 memory=1568016 CPUtime=12.66 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 273888 0 0 0 1212 54 0 0 20 0 1 0 172927154 1716187136 392004 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 418991 392004 2574 2594 0 415884 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1675964 KiB
Current children cumulated memory: 1568016 KiB

[startup+25.5003 s]
/proc/loadavg: 2.29 1.39 1.42 5/243 895875
/proc/meminfo: memFree=120540576/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1725656 memory=1611160 CPUtime=25.41 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 282731 0 0 0 2485 56 0 0 20 0 1 0 172927154 1767071744 402790 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 431414 402790 2638 2594 0 428307 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1725656 KiB
Current children cumulated memory: 1611160 KiB

[startup+51.113 s]
/proc/loadavg: 2.87 1.60 1.49 5/243 895878
/proc/meminfo: memFree=120454424/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1725656 memory=1613432 CPUtime=50.93 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 282900 0 0 0 5035 58 0 0 20 0 1 0 172927154 1767071744 403358 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 431414 403358 2638 2594 0 428307 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1725656 KiB
Current children cumulated memory: 1613432 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 2.07 1.65 5/241 895886
/proc/meminfo: memFree=120386636/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1732312 memory=1617584 CPUtime=101.93 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 283642 0 0 0 10132 61 0 0 20 0 1 0 172927154 1773887488 404396 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 433078 404396 2638 2594 0 429971 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1732312 KiB
Current children cumulated memory: 1617584 KiB

[startup+162.3 s]
/proc/loadavg: 4.51 2.60 1.86 5/241 895897
/proc/meminfo: memFree=120371556/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742092 memory=1630196 CPUtime=161.73 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 286301 0 0 0 16110 63 0 0 20 0 1 0 172927154 1783902208 407549 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 435523 407549 2638 2594 0 432416 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1742092 KiB
Current children cumulated memory: 1630196 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 2.86 2.00 5/241 895907
/proc/meminfo: memFree=120260392/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742092 memory=1630288 CPUtime=221.51 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 286494 0 0 0 22085 66 0 0 20 0 1 0 172927154 1783902208 407572 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 435523 407572 2638 2594 0 432416 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1742092 KiB
Current children cumulated memory: 1630288 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 3.10 2.14 5/241 895917
/proc/meminfo: memFree=120193760/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742348 memory=1630828 CPUtime=281.28 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 286803 0 0 0 28059 69 0 0 20 0 1 0 172927154 1784164352 407707 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 435587 407707 2638 2594 0 432480 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1742348 KiB
Current children cumulated memory: 1630828 KiB

[startup+342.303 s]
/proc/loadavg: 4.26 3.31 2.27 5/242 895928
/proc/meminfo: memFree=119795288/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742348 memory=1630900 CPUtime=341.07 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 287051 0 0 0 34034 73 0 0 20 0 1 0 172927154 1784164352 407725 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 435587 407725 2638 2594 0 432480 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 1742348 KiB
Current children cumulated memory: 1630900 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.47 2.39 5/245 895947
/proc/meminfo: memFree=119945764/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742348 memory=1631032 CPUtime=400.84 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 287223 0 0 0 40009 75 0 0 20 0 1 0 172927154 1784164352 407758 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 435587 407758 2638 2594 0 432480 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 1742348 KiB
Current children cumulated memory: 1631032 KiB

[startup+462.3 s]
/proc/loadavg: 4.26 3.63 2.52 5/245 895957
/proc/meminfo: memFree=119980260/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1742348 memory=1631208 CPUtime=460.63 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 287444 0 0 0 45985 78 0 0 20 0 1 0 172927154 1784164352 407802 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0

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

Current children cumulated memory: 1033376 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/243 897567
/proc/meminfo: memFree=117908084/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=2853.8 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304181 0 0 0 285279 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/244 897578
/proc/meminfo: memFree=117907944/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=2913.65 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304318 0 0 0 291264 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/243 897589
/proc/meminfo: memFree=119681748/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=2973.5 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304430 0 0 0 297249 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 2973.5 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.02 5/242 897599
/proc/meminfo: memFree=119203680/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3033.35 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304602 0 0 0 303234 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/242 897610
/proc/meminfo: memFree=119310368/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3093.19 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304738 0 0 0 309218 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/242 897620
/proc/meminfo: memFree=119071140/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3153.04 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 304874 0 0 0 315203 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/241 897630
/proc/meminfo: memFree=118583408/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3212.89 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305103 0 0 0 321188 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/241 897641
/proc/meminfo: memFree=118145904/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3272.73 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305253 0 0 0 327172 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.04 5/241 897651
/proc/meminfo: memFree=117750296/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3332.58 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305382 0 0 0 333157 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/244 897666
/proc/meminfo: memFree=117272672/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3392.43 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305572 0 0 0 339142 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/244 897677
/proc/meminfo: memFree=118467516/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3452.28 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305708 0 0 0 345127 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 897687
/proc/meminfo: memFree=118181904/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3512.14 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305815 0 0 0 351113 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/244 897698
/proc/meminfo: memFree=117772852/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3571.98 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 305979 0 0 0 357097 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.10 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122675952/131655788 swapFree=131071996/131071996
[pid=895869] ppid=895866 vsize=1070404 memory=1033376 CPUtime=3600.01 cores=1,3
/proc/895869/stat : 895869 (CASHWMaxSAT-Dis) R 895866 895869 895751 0 -1 4194304 306017 0 0 0 359900 101 0 0 20 0 1 0 172927154 1096093696 258344 134679101440 4194304 14817773 140736461313840 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 24252416 140736461317092 140736461317207 140736461317207 140736461324223 0
/proc/895869/statm: 267601 258344 2718 2594 0 264494 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1070404 KiB
Current children cumulated memory: 1033376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.0219 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.03
CPU user time (s): 3599.01
CPU system time (s): 1.0219
CPU usage (%): 99.7126
Max. virtual memory (cumulated for all children) (KiB): 2180812
Max. memory (cumulated for all children) (KiB): 1744504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.0219
maximum resident set size= 1744504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306021
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= 8
involuntary context switches= 1249


# summary of solver processes directly reported to runsolver:
#   pid: 895869
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.0219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4524 second user time and 36.5327 second system time

The end