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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=222267, runsolver pid=222264

[startup+0.109274 s]*
/proc/loadavg: 4.12 4.10 4.09 4/251 222285
/proc/meminfo: memFree=118667540/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=54728 memory=44928 CPUtime=0.11 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 9889 0 0 0 9 2 0 0 20 0 1 0 24483659 56041472 11232 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 13682 11232 2490 2550 0 10637 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 54728 KiB
Current children cumulated memory: 44928 KiB

[startup+0.205453 s]*
/proc/loadavg: 4.12 4.10 4.09 6/257 222300
/proc/meminfo: memFree=118630712/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=71796 memory=61604 CPUtime=0.19 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 14015 0 0 0 17 2 0 0 20 0 1 0 24483659 73519104 15401 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 17949 15401 2618 2550 0 14904 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 61604 KiB

[startup+0.30554 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118611820/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=72276 memory=62124 CPUtime=0.29 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 14139 0 0 0 27 2 0 0 20 0 1 0 24483659 74010624 15531 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 18069 15531 2618 2550 0 15024 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72276 KiB
Current children cumulated memory: 62124 KiB

[startup+0.700205 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118601440/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=73132 memory=62652 CPUtime=0.68 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 14284 0 0 0 66 2 0 0 20 0 1 0 24483659 74887168 15663 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 18283 15663 2618 2550 0 15238 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73132 KiB
Current children cumulated memory: 62652 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222300
/proc/meminfo: memFree=118582480/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=95408 memory=83252 CPUtime=1.48 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 19376 0 0 0 145 3 0 0 20 0 1 0 24483659 97697792 20813 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 23852 20813 2650 2550 0 20807 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95408 KiB
Current children cumulated memory: 83252 KiB

[startup+3.1055 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222300
/proc/meminfo: memFree=118549468/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=95408 memory=84836 CPUtime=3.08 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 19778 0 0 0 305 3 0 0 20 0 1 0 24483659 97697792 21209 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 23852 21209 2650 2550 0 20807 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95408 KiB
Current children cumulated memory: 84836 KiB

[startup+6.30015 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119539596/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=111088 memory=95132 CPUtime=6.27 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 22393 0 0 0 623 4 0 0 20 0 1 0 24483659 113754112 23783 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 27772 23783 2650 2550 0 24727 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111088 KiB
Current children cumulated memory: 95132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 222348
/proc/meminfo: memFree=119495592/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=118432 memory=98300 CPUtime=12.66 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 23163 0 0 0 1262 4 0 0 20 0 1 0 24483659 121274368 24575 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 29608 24575 2650 2550 0 26563 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 118432 KiB
Current children cumulated memory: 98300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 222349
/proc/meminfo: memFree=119441944/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=133092 memory=112056 CPUtime=25.42 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 26564 0 0 0 2538 4 0 0 20 0 1 0 24483659 136286208 28014 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 33273 28014 2666 2550 0 30228 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 133092 KiB
Current children cumulated memory: 112056 KiB

[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222355
/proc/meminfo: memFree=119402360/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=141336 memory=123232 CPUtime=50.97 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 29035 0 0 0 5092 5 0 0 20 0 1 0 24483659 144728064 30808 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 35334 30808 2666 2550 0 32289 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 141336 KiB
Current children cumulated memory: 123232 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222363
/proc/meminfo: memFree=119278528/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=171364 memory=164008 CPUtime=102.02 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 36109 0 0 0 10196 6 0 0 20 0 1 0 24483659 175476736 41002 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 42841 41002 2666 2550 0 39796 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 171364 KiB
Current children cumulated memory: 164008 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 222374
/proc/meminfo: memFree=119192912/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=208256 memory=200492 CPUtime=161.87 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 45363 0 0 0 16180 7 0 0 20 0 1 0 24483659 213254144 50123 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 52064 50123 2666 2550 0 49019 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 208256 KiB
Current children cumulated memory: 200492 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/256 222768
/proc/meminfo: memFree=119115164/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=239828 memory=228348 CPUtime=221.73 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 52425 0 0 0 22165 8 0 0 20 0 1 0 24483659 245583872 57087 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 59957 57087 2666 2550 0 56912 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 239828 KiB
Current children cumulated memory: 228348 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/256 222779
/proc/meminfo: memFree=119070248/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=246676 memory=231184 CPUtime=281.6 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 53168 0 0 0 28151 9 0 0 20 0 1 0 24483659 252596224 57796 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 61669 57796 2666 2550 0 58624 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 246676 KiB
Current children cumulated memory: 231184 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 222792
/proc/meminfo: memFree=119002564/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=276168 memory=260708 CPUtime=341.46 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 60685 0 0 0 34136 10 0 0 20 0 1 0 24483659 282796032 65177 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 69042 65177 2666 2550 0 65997 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 276168 KiB
Current children cumulated memory: 260708 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 222971
/proc/meminfo: memFree=118952316/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=290204 memory=274880 CPUtime=401.31 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 64258 0 0 0 40121 10 0 0 20 0 1 0 24483659 297168896 68720 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 72551 68720 2666 2550 0 69506 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 290204 KiB
Current children cumulated memory: 274880 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 222981
/proc/meminfo: memFree=118930192/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=295112 memory=280868 CPUtime=461.17 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 65598 0 0 0 46106 11 0 0 20 0 1 0 24483659 302194688 70217 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 73778 70217 2936 2550 0 70733 0

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

Current children cumulated memory: 469912 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/256 224113
/proc/meminfo: memFree=117766728/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=2915.15 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 124726 0 0 0 291493 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/256 224125
/proc/meminfo: memFree=117680248/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=2975 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 124861 0 0 0 297478 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 224135
/proc/meminfo: memFree=117679816/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3034.85 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 124996 0 0 0 303463 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/256 224146
/proc/meminfo: memFree=117664704/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3094.7 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125131 0 0 0 309448 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3162.3 s]
/proc/loadavg: 4.50 4.23 4.16 5/256 224156
/proc/meminfo: memFree=117661636/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3154.55 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125266 0 0 0 315433 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3222.3 s]
/proc/loadavg: 5.13 4.46 4.24 5/254 224166
/proc/meminfo: memFree=117661100/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3214.41 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125397 0 0 0 321419 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3282.3 s]
/proc/loadavg: 4.86 4.50 4.27 5/254 224177
/proc/meminfo: memFree=117658948/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3274.25 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125527 0 0 0 327403 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3274.25 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.44 4.27 5/254 224188
/proc/meminfo: memFree=117656224/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3334.06 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125660 0 0 0 333384 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.39 4.26 5/254 224198
/proc/meminfo: memFree=117655492/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3393.87 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125791 0 0 0 339365 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.33 4.25 5/254 224209
/proc/meminfo: memFree=117652684/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3453.68 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 125925 0 0 0 345346 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.28 4.24 5/256 224225
/proc/meminfo: memFree=117510932/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3513.49 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 126057 0 0 0 351327 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.27 4.24 5/256 224237
/proc/meminfo: memFree=117510284/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3573.31 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 126189 0 0 0 357309 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.10 4.25 4.23 5/256 224243
/proc/meminfo: memFree=117494848/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3600.03 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 126242 0 0 0 359981 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.82 s, system=0.230404 s

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

[startup+3609.11 s]
/proc/loadavg: 4.10 4.25 4.23 5/256 224243
/proc/meminfo: memFree=117494848/131524600 swapFree=131069668/131071996
[pid=222267] ppid=222264 vsize=476004 memory=469912 CPUtime=3600.03 cores=5,7
/proc/222267/stat : 222267 (CASHWMaxSAT-Dis) R 222264 222267 220230 0 -1 4194304 126242 0 0 0 359981 22 0 0 20 0 1 0 24483659 487428096 117478 134679101440 4194304 14636349 140722565965232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 28577792 140722565968867 140722565968983 140722565968983 140722565975998 0
/proc/222267/statm: 119001 117478 2936 2550 0 115956 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 476004 KiB
Current children cumulated memory: 469912 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3599.82
CPU system time (s): 0.230404
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 568876
Max. memory (cumulated for all children) (KiB): 560932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.230404
maximum resident set size= 560932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126247
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= 50
involuntary context switches= 1548


# summary of solver processes directly reported to runsolver:
#   pid: 222267
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.82
#   total CPU system time (s): 0.230404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.29927 second user time and 13.6481 second system time

The end