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: 63708 MiB (62563 MiB free)
  memory of node 1: 64465 MiB (61985 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484790-1751299397/watcher-4484790-1751299397 -o /tmp/evaluation-result-4484790-1751299397/solver-4484790-1751299397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751292174-41098 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4484790-1751299397.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=41814, runsolver pid=41808
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.09 4/259 41826
/proc/meminfo: memFree=127514468/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=40900 memory=22400 CPUtime=0.1 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 4986 0 0 0 9 1 0 0 20 0 1 0 45616300 41881600 5600 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 10225 5600 736 2416 0 7327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40900 KiB
Current children cumulated memory: 22400 KiB

[startup+0.205414 s]*
/proc/loadavg: 4.12 4.11 4.09 4/261 41833
/proc/meminfo: memFree=127466448/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=59804 memory=41344 CPUtime=0.19 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 9704 0 0 0 18 1 0 0 20 0 1 0 45616300 61239296 10336 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 14951 10336 736 2416 0 12053 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59804 KiB
Current children cumulated memory: 41344 KiB

[startup+0.305464 s]*
/proc/loadavg: 4.12 4.11 4.09 4/261 41838
/proc/meminfo: memFree=129102616/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=78248 memory=59776 CPUtime=0.29 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 14341 0 0 0 27 2 0 0 20 0 1 0 45616300 80125952 14944 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 19562 14944 736 2416 0 16664 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78248 KiB
Current children cumulated memory: 59776 KiB

[startup+0.70018 s]
/proc/loadavg: 4.12 4.11 4.09 4/259 41846
/proc/meminfo: memFree=128885644/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=211100 memory=199556 CPUtime=0.69 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 48399 0 0 0 61 8 0 0 20 0 1 0 45616300 216166400 49889 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 52775 49889 2336 2416 0 49877 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211100 KiB
Current children cumulated memory: 199556 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 41852
/proc/meminfo: memFree=128539244/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=253868 memory=242180 CPUtime=1.48 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 58988 0 0 0 138 10 0 0 20 0 1 0 45616300 259960832 60545 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 63467 60545 2400 2416 0 60569 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 253868 KiB
Current children cumulated memory: 242180 KiB

[startup+3.10533 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127504640/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=551732 memory=496428 CPUtime=3.08 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 82692 0 0 0 290 18 0 0 20 0 1 0 45616300 564973568 124107 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 137933 124107 2496 2416 0 135035 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 551732 KiB
Current children cumulated memory: 496428 KiB

[startup+6.3001 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127273596/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=595416 memory=526612 CPUtime=6.26 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 89218 0 0 0 607 19 0 0 20 0 1 0 45616300 609705984 131653 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 148854 131653 2496 2416 0 145956 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 595416 KiB
Current children cumulated memory: 526612 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 41883
/proc/meminfo: memFree=127265652/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=613072 memory=526612 CPUtime=12.65 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 89228 0 0 0 1246 19 0 0 20 0 1 0 45616300 627785728 131653 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 153268 131653 2496 2416 0 150370 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 613072 KiB
Current children cumulated memory: 526612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 41883
/proc/meminfo: memFree=127225456/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=638736 memory=536168 CPUtime=25.42 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 90611 0 0 0 2522 20 0 0 20 0 1 0 45616300 654065664 134042 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 159684 134042 2496 2416 0 156786 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 638736 KiB
Current children cumulated memory: 536168 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 41884
/proc/meminfo: memFree=126766696/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=879800 memory=647904 CPUtime=50.94 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 118335 0 0 0 5071 23 0 0 20 0 1 0 45616300 900915200 161976 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 219950 161976 2496 2416 0 217052 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 879800 KiB
Current children cumulated memory: 647904 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 41885
/proc/meminfo: memFree=126655408/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=916556 memory=685920 CPUtime=101.95 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 127756 0 0 0 10170 25 0 0 20 0 1 0 45616300 938553344 171480 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 229139 171480 2528 2416 0 226241 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 916556 KiB
Current children cumulated memory: 685920 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 41888
/proc/meminfo: memFree=126430488/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=932704 memory=687840 CPUtime=161.75 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 128013 0 0 0 16150 25 0 0 20 0 1 0 45616300 955088896 171960 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 233176 171960 2528 2416 0 230278 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 932704 KiB
Current children cumulated memory: 687840 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 41890
/proc/meminfo: memFree=126220852/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1031844 memory=771040 CPUtime=221.56 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 148516 0 0 0 22128 28 0 0 20 0 1 0 45616300 1056608256 192760 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 257961 192760 2528 2416 0 255063 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1031844 KiB
Current children cumulated memory: 771040 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 41892
/proc/meminfo: memFree=125982108/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1118900 memory=851032 CPUtime=281.38 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 167606 0 0 0 28107 31 0 0 20 0 1 0 45616300 1145753600 212758 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 279725 212758 2528 2416 0 276827 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1118900 KiB
Current children cumulated memory: 851032 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 41894
/proc/meminfo: memFree=125874264/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1136524 memory=898692 CPUtime=341.22 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 168535 0 0 0 34090 32 0 0 20 0 1 0 45616300 1163800576 224673 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 284131 224673 2528 2416 0 281233 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1136524 KiB
Current children cumulated memory: 898692 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 41903
/proc/meminfo: memFree=125651400/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1175048 memory=943060 CPUtime=401.06 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 196014 0 0 0 40070 36 0 0 20 0 1 0 45616300 1203249152 235765 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 293762 235765 2528 2416 0 290864 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1175048 KiB
Current children cumulated memory: 943060 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 41905
/proc/meminfo: memFree=125563832/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1203280 memory=979748 CPUtime=460.9 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 197770 0 0 0 46053 37 0 0 20 0 1 0 45616300 1232158720 244937 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 300820 244937 2528 2416 0 297922 0
Current children cumulated CPU time: 460.9 s

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

Current children cumulated memory: 1191680 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 42021
/proc/meminfo: memFree=123271472/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=2914.11 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377048 0 0 0 291333 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 42023
/proc/meminfo: memFree=123239700/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=2973.94 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377096 0 0 0 297316 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 42025
/proc/meminfo: memFree=124434992/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3033.78 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377194 0 0 0 303300 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 42027
/proc/meminfo: memFree=124422148/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3093.62 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377246 0 0 0 309284 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 42029
/proc/meminfo: memFree=124445372/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3153.46 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377294 0 0 0 315268 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 42031
/proc/meminfo: memFree=124429588/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3213.3 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377382 0 0 0 321252 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 42034
/proc/meminfo: memFree=124376780/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3273.13 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377394 0 0 0 327235 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 42036
/proc/meminfo: memFree=124369720/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3332.97 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377481 0 0 0 333219 78 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 42045
/proc/meminfo: memFree=124363216/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3392.81 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377520 0 0 0 339202 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 42047
/proc/meminfo: memFree=124375736/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3452.65 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377592 0 0 0 345186 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 42060
/proc/meminfo: memFree=124363428/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3512.48 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377604 0 0 0 351169 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 42062
/proc/meminfo: memFree=124365308/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3572.31 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377676 0 0 0 357152 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.45 4.19 4.12 4/262 42071
/proc/meminfo: memFree=125522932/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3600.04 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377688 0 0 0 359925 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=0.809793 s

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

[startup+3610.11 s]
/proc/loadavg: 4.45 4.19 4.12 4/262 42071
/proc/meminfo: memFree=125522932/131250000 swapFree=33010684/33010684
[pid=41814] ppid=41808 vsize=1709836 memory=1191680 CPUtime=3600.04 cores=4,6
/proc/41814/stat : 41814 (CASHWMaxSAT-Dis) R 41808 41814 41087 0 -1 4194304 377688 0 0 0 359925 79 0 0 20 0 1 0 45616300 1750872064 297920 18446744073709551615 4198400 14093885 140733312222864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 30904320 140733312227690 140733312227805 140733312227805 140733312233407 0
/proc/41814/statm: 427459 297920 2784 2416 0 424561 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1709836 KiB
Current children cumulated memory: 1191680 KiB

Child status: 10

Real time (s): 3610.12
CPU time (s): 3600.06
CPU user time (s): 3599.25
CPU system time (s): 0.809793
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 2328488
Max. memory (cumulated for all children) (KiB): 1712168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.809793
maximum resident set size= 1712168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377690
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= 73
involuntary context switches= 3634


# summary of solver processes directly reported to runsolver:
#   pid: 41814
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.25
#   total CPU system time (s): 0.809793

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26566 second user time and 14.0664 second system time

The end