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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439463-1721198243/watcher-4439463-1721198243 -o /tmp/evaluation-result-4439463-1721198243/solver-4439463-1721198243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721194641-891876 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439463-1721198243.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=893981, runsolver pid=893978

[startup+0.100946 s]*
/proc/loadavg: 4.15 4.14 4.06 5/254 893982
/proc/meminfo: memFree=125747568/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=33292 memory=13156 CPUtime=0.09 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 2624 0 0 0 9 0 0 0 20 0 1 0 171993263 34091008 3289 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 8323 3289 794 2550 0 5278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33292 KiB
Current children cumulated memory: 13156 KiB

[startup+0.205547 s]*
/proc/loadavg: 4.15 4.14 4.06 5/254 893982
/proc/meminfo: memFree=125704432/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=80600 memory=56028 CPUtime=0.19 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 8893 0 0 0 18 1 0 0 20 0 1 0 171993263 82534400 14007 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 20150 14007 842 2550 0 17105 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 56028 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.15 4.14 4.06 5/254 893982
/proc/meminfo: memFree=125704312/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=80600 memory=56472 CPUtime=0.29 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 8894 0 0 0 28 1 0 0 20 0 1 0 171993263 82534400 14118 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 20150 14118 890 2550 0 17105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 56472 KiB

[startup+0.700207 s]
/proc/loadavg: 4.15 4.14 4.06 5/254 893982
/proc/meminfo: memFree=125672752/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=119916 memory=95988 CPUtime=0.68 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 18756 0 0 0 66 2 0 0 20 0 1 0 171993263 122793984 23997 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 29979 23997 938 2550 0 26934 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119916 KiB
Current children cumulated memory: 95988 KiB

[startup+1.50021 s]
/proc/loadavg: 4.15 4.14 4.06 5/254 893982
/proc/meminfo: memFree=125556420/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=253940 memory=230200 CPUtime=1.48 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 28351 0 0 0 141 7 0 0 20 0 1 0 171993263 260034560 57550 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 63485 57550 970 2550 0 60440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 253940 KiB
Current children cumulated memory: 230200 KiB

[startup+3.10572 s]
/proc/loadavg: 4.13 4.13 4.06 5/254 893982
/proc/meminfo: memFree=125224280/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=506152 memory=469328 CPUtime=3.08 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 83489 0 0 0 291 17 0 0 20 0 1 0 171993263 518299648 117332 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 126538 117332 2490 2550 0 123493 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 506152 KiB
Current children cumulated memory: 469328 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.13 4.06 5/254 893984
/proc/meminfo: memFree=125130008/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=506152 memory=469328 CPUtime=6.26 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 83517 0 0 0 609 17 0 0 20 0 1 0 171993263 518299648 117332 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 126538 117332 2490 2550 0 123493 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 506152 KiB
Current children cumulated memory: 469328 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.05 5/254 893984
/proc/meminfo: memFree=124428496/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=877680 memory=804692 CPUtime=12.64 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 117374 0 0 0 1238 26 0 0 20 0 1 0 171993263 898744320 201173 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 219420 201173 2634 2550 0 216375 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 877680 KiB
Current children cumulated memory: 804692 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.12 4.05 5/254 893987
/proc/meminfo: memFree=124444356/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=878060 memory=805084 CPUtime=25.39 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 117509 0 0 0 2513 26 0 0 20 0 1 0 171993263 899133440 201271 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 219515 201271 2634 2550 0 216470 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 878060 KiB
Current children cumulated memory: 805084 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.13 4.06 5/254 894036
/proc/meminfo: memFree=124389172/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=881416 memory=806836 CPUtime=50.91 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 117964 0 0 0 5064 27 0 0 20 0 1 0 171993263 902569984 201709 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 220354 201709 2634 2550 0 217309 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 881416 KiB
Current children cumulated memory: 806836 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.06 5/254 894043
/proc/meminfo: memFree=124224176/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=976960 memory=852792 CPUtime=101.92 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 127471 0 0 0 10163 29 0 0 20 0 1 0 171993263 1000407040 213198 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 244240 213198 2666 2550 0 241195 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 976960 KiB
Current children cumulated memory: 852792 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.07 5/254 894053
/proc/meminfo: memFree=124120028/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1005900 memory=862064 CPUtime=161.72 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 128294 0 0 0 16142 30 0 0 20 0 1 0 171993263 1030041600 215516 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251475 215516 2666 2550 0 248430 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1005900 KiB
Current children cumulated memory: 862064 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.18 4.09 5/256 894071
/proc/meminfo: memFree=124012928/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1018504 memory=862064 CPUtime=221.53 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 128341 0 0 0 22122 31 0 0 20 0 1 0 171993263 1042948096 215516 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 254626 215516 2666 2550 0 251581 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1018504 KiB
Current children cumulated memory: 862064 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/256 894081
/proc/meminfo: memFree=123930660/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1029308 memory=862076 CPUtime=281.32 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 128390 0 0 0 28101 31 0 0 20 0 1 0 171993263 1054011392 215519 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 257327 215519 2666 2550 0 254282 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1029308 KiB
Current children cumulated memory: 862076 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/257 894093
/proc/meminfo: memFree=123876380/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1053884 memory=864868 CPUtime=341.12 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 129170 0 0 0 34081 31 0 0 20 0 1 0 171993263 1079177216 216217 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 263471 216217 2666 2550 0 260426 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1053884 KiB
Current children cumulated memory: 864868 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 894105
/proc/meminfo: memFree=123803348/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1062772 memory=866916 CPUtime=400.9 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 129213 0 0 0 40058 32 0 0 20 0 1 0 171993263 1088278528 216729 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 265693 216729 2666 2550 0 262648 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1062772 KiB
Current children cumulated memory: 866916 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 894115
/proc/meminfo: memFree=123656964/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1062772 memory=867000 CPUtime=460.69 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 129251 0 0 0 46037 32 0 0 20 0 1 0 171993263 1088278528 216750 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 265693 216750 2666 2550 0 262648 0

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

Current children cumulated memory: 929684 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 896070
/proc/meminfo: memFree=122971188/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929684 CPUtime=2912.11 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 170795 0 0 0 291167 44 0 0 20 0 1 0 171993263 1031688192 232421 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232421 2666 2550 0 248832 0
Current children cumulated CPU time: 2912.11 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929684 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 896081
/proc/meminfo: memFree=122944128/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929684 CPUtime=2971.9 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 170919 0 0 0 297146 44 0 0 20 0 1 0 171993263 1031688192 232421 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232421 2666 2550 0 248832 0
Current children cumulated CPU time: 2971.9 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929684 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 896092
/proc/meminfo: memFree=122994932/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929684 CPUtime=3031.7 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 171036 0 0 0 303125 45 0 0 20 0 1 0 171993263 1031688192 232421 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232421 2666 2550 0 248832 0
Current children cumulated CPU time: 3031.7 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 896272
/proc/meminfo: memFree=122931348/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929684 CPUtime=3091.48 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 171171 0 0 0 309103 45 0 0 20 0 1 0 171993263 1031688192 232421 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232421 2666 2550 0 248832 0
Current children cumulated CPU time: 3091.48 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/258 896283
/proc/meminfo: memFree=123003000/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3151.27 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 171867 0 0 0 315082 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3222.3 s]
/proc/loadavg: 4.52 4.24 4.13 5/258 896353
/proc/meminfo: memFree=122953164/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3211.05 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172025 0 0 0 321060 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3211.05 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.21 4.13 5/258 896363
/proc/meminfo: memFree=122968376/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3270.84 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172206 0 0 0 327039 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3270.84 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/259 896375
/proc/meminfo: memFree=122968476/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3330.62 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172377 0 0 0 333017 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3330.62 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/257 896386
/proc/meminfo: memFree=122943788/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3390.41 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172530 0 0 0 338996 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3390.41 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 896396
/proc/meminfo: memFree=122950988/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3450.2 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172676 0 0 0 344975 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/255 896406
/proc/meminfo: memFree=122976936/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3509.99 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 172870 0 0 0 350954 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3509.99 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/255 896417
/proc/meminfo: memFree=122950452/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3569.78 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 173016 0 0 0 356933 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3569.78 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.41 4.23 4.14 5/254 896470
/proc/meminfo: memFree=123681556/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3600.07 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 173105 0 0 0 359962 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.466406 s

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

[startup+3612.7 s]
/proc/loadavg: 4.41 4.23 4.14 5/254 896470
/proc/meminfo: memFree=123681556/131524600 swapFree=131071996/131071996
[pid=893981] ppid=893978 vsize=1007508 memory=929776 CPUtime=3600.07 cores=0,2
/proc/893981/stat : 893981 (CASHWMaxSAT-Dis) R 893978 893981 891866 0 -1 4194304 173105 0 0 0 359962 45 0 0 20 0 1 0 171993263 1031688192 232444 134679101440 4194304 14636349 140725964736784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 35209216 140725964743650 140725964743766 140725964743766 140725964750782 0
/proc/893981/statm: 251877 232444 2666 2550 0 248832 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1007508 KiB
Current children cumulated memory: 929776 KiB

Child status: 10

Real time (s): 3612.71
CPU time (s): 3600.09
CPU user time (s): 3599.63
CPU system time (s): 0.466406
CPU usage (%): 99.6507
Max. virtual memory (cumulated for all children) (KiB): 1201924
Max. memory (cumulated for all children) (KiB): 1048128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.466406
maximum resident set size= 1048128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173109
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= 21
involuntary context switches= 25204


# summary of solver processes directly reported to runsolver:
#   pid: 893981
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.466406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81067 second user time and 16.7241 second system time

The end