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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458277-1721879550/watcher-4458277-1721879550 -o /tmp/evaluation-result-4458277-1721879550/solver-4458277-1721879550 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721875935-220240 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458277-1721879550.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
solver pid=222345, runsolver pid=222342
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119583068/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=48060 memory=38688 CPUtime=0.09 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 7770 0 0 0 8 1 0 0 20 0 1 0 24484022 49213440 9672 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 12015 9672 2538 2550 0 8970 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48060 KiB
Current children cumulated memory: 38688 KiB

[startup+0.205649 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119569800/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=56760 memory=47120 CPUtime=0.2 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 9837 0 0 0 19 1 0 0 20 0 1 0 24484022 58122240 11780 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 14190 11780 2618 2550 0 11145 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56760 KiB
Current children cumulated memory: 47120 KiB

[startup+0.305457 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119568316/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=56960 memory=47384 CPUtime=0.3 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 9890 0 0 0 29 1 0 0 20 0 1 0 24484022 58327040 11846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 14240 11846 2618 2550 0 11195 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56960 KiB
Current children cumulated memory: 47384 KiB

[startup+0.700159 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119567840/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=56960 memory=47384 CPUtime=0.68 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 9890 0 0 0 67 1 0 0 20 0 1 0 24484022 58327040 11846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 14240 11846 2618 2550 0 11195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56960 KiB
Current children cumulated memory: 47384 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 222346
/proc/meminfo: memFree=119548692/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=73972 memory=62800 CPUtime=1.49 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 13731 0 0 0 147 2 0 0 20 0 1 0 24484022 75747328 15700 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 18493 15700 2650 2550 0 15448 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 73972 KiB
Current children cumulated memory: 62800 KiB

[startup+3.10541 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222346
/proc/meminfo: memFree=119524288/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=91020 memory=78376 CPUtime=3.08 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 17626 0 0 0 306 2 0 0 20 0 1 0 24484022 93204480 19594 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 22755 19594 2650 2550 0 19710 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91020 KiB
Current children cumulated memory: 78376 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 222348
/proc/meminfo: memFree=119501552/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=100776 memory=82336 CPUtime=6.26 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 18605 0 0 0 624 2 0 0 20 0 1 0 24484022 103194624 20584 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 25194 20584 2650 2550 0 22149 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100776 KiB
Current children cumulated memory: 82336 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 222348
/proc/meminfo: memFree=119484912/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=112704 memory=93140 CPUtime=12.65 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 21296 0 0 0 1262 3 0 0 20 0 1 0 24484022 115408896 23285 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 28176 23285 2650 2550 0 25131 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 93140 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 222351
/proc/meminfo: memFree=119434132/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=115532 memory=96032 CPUtime=25.41 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 22035 0 0 0 2538 3 0 0 20 0 1 0 24484022 118304768 24008 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 28883 24008 2650 2550 0 25838 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115532 KiB
Current children cumulated memory: 96032 KiB

[startup+51.1054 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 222355
/proc/meminfo: memFree=119393784/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=135240 memory=112832 CPUtime=50.93 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 26428 0 0 0 5089 4 0 0 20 0 1 0 24484022 138485760 28208 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 33810 28208 2650 2550 0 30765 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 135240 KiB
Current children cumulated memory: 112832 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 222363
/proc/meminfo: memFree=119279296/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=201816 memory=165316 CPUtime=101.95 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 39880 0 0 0 10188 7 0 0 20 0 1 0 24484022 206659584 41329 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 50454 41329 2650 2550 0 47409 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 201816 KiB
Current children cumulated memory: 165316 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 222374
/proc/meminfo: memFree=119179792/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=241832 memory=190368 CPUtime=161.73 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 46343 0 0 0 16163 10 0 0 20 0 1 0 24484022 247635968 47592 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 60458 47592 2650 2550 0 57413 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 241832 KiB
Current children cumulated memory: 190368 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 222768
/proc/meminfo: memFree=119112972/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=264880 memory=214860 CPUtime=221.5 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 52485 0 0 0 22138 12 0 0 20 0 1 0 24484022 271237120 53715 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 66220 53715 2666 2550 0 63175 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 264880 KiB
Current children cumulated memory: 214860 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 222779
/proc/meminfo: memFree=119069936/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=282976 memory=240716 CPUtime=281.27 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 55094 0 0 0 28115 12 0 0 20 0 1 0 24484022 289767424 60179 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 70744 60179 2666 2550 0 67699 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 282976 KiB
Current children cumulated memory: 240716 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 222792
/proc/meminfo: memFree=118990628/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=299260 memory=277744 CPUtime=341.08 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 58405 0 0 0 34094 14 0 0 20 0 1 0 24484022 306442240 69436 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 74815 69436 2666 2550 0 71770 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 299260 KiB
Current children cumulated memory: 277744 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 222971
/proc/meminfo: memFree=118951136/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=307364 memory=299788 CPUtime=400.87 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 60645 0 0 0 40072 15 0 0 20 0 1 0 24484022 314740736 74947 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 76841 74947 2666 2550 0 73796 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 307364 KiB
Current children cumulated memory: 299788 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 222981
/proc/meminfo: memFree=118930108/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=315868 memory=308496 CPUtime=460.68 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 62914 0 0 0 46052 16 0 0 20 0 1 0 24484022 323448832 77124 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 78967 77124 2666 2550 0 75922 0

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

Current children cumulated memory: 424948 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/254 224098
/proc/meminfo: memFree=117782992/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=432196 memory=424948 CPUtime=2852.81 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119299 0 0 0 285241 40 0 0 20 0 1 0 24484022 442568704 106237 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 108049 106237 2666 2550 0 105004 0
Current children cumulated CPU time: 2852.81 s
Current children cumulated vsize: 432196 KiB
Current children cumulated memory: 424948 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/256 224113
/proc/meminfo: memFree=117760596/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=432196 memory=424948 CPUtime=2912.63 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119423 0 0 0 291223 40 0 0 20 0 1 0 24484022 442568704 106237 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 108049 106237 2666 2550 0 105004 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 432196 KiB
Current children cumulated memory: 424948 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/256 224125
/proc/meminfo: memFree=117680240/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=432196 memory=424948 CPUtime=2972.44 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119548 0 0 0 297204 40 0 0 20 0 1 0 24484022 442568704 106237 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 108049 106237 2666 2550 0 105004 0
Current children cumulated CPU time: 2972.44 s
Current children cumulated vsize: 432196 KiB
Current children cumulated memory: 424948 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/256 224135
/proc/meminfo: memFree=117679832/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=432196 memory=424948 CPUtime=3032.26 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119673 0 0 0 303186 40 0 0 20 0 1 0 24484022 442568704 106237 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 108049 106237 2666 2550 0 105004 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 432196 KiB
Current children cumulated memory: 424948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/256 224146
/proc/meminfo: memFree=117664696/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=439288 CPUtime=3092.07 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119824 0 0 0 309167 40 0 0 20 0 1 0 24484022 462192640 109822 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 109822 2666 2550 0 109795 0
Current children cumulated CPU time: 3092.07 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 439288 KiB

[startup+3162.3 s]
/proc/loadavg: 4.46 4.22 4.16 5/256 224156
/proc/meminfo: memFree=117661684/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=441336 CPUtime=3151.88 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 119963 0 0 0 315148 40 0 0 20 0 1 0 24484022 462192640 110334 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110334 2666 2550 0 109795 0
Current children cumulated CPU time: 3151.88 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 441336 KiB

[startup+3222.3 s]
/proc/loadavg: 5.04 4.45 4.24 5/254 224166
/proc/meminfo: memFree=117661092/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=441336 CPUtime=3211.71 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120092 0 0 0 321130 41 0 0 20 0 1 0 24484022 462192640 110334 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110334 2666 2550 0 109795 0
Current children cumulated CPU time: 3211.71 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 441336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.79 4.49 4.27 5/254 224177
/proc/meminfo: memFree=117659000/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=441336 CPUtime=3271.53 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120221 0 0 0 327112 41 0 0 20 0 1 0 24484022 462192640 110334 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110334 2666 2550 0 109795 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 441336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.38 4.43 4.26 5/254 224188
/proc/meminfo: memFree=117656268/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3331.34 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120353 0 0 0 333093 41 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3331.34 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.38 4.26 5/254 224198
/proc/meminfo: memFree=117655516/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3391.16 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120481 0 0 0 339075 41 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.32 4.25 5/254 224209
/proc/meminfo: memFree=117652724/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3450.98 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120611 0 0 0 345056 42 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3450.98 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.29 4.24 5/256 224225
/proc/meminfo: memFree=117510940/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3510.8 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120743 0 0 0 351038 42 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.27 4.23 5/256 224237
/proc/meminfo: memFree=117510260/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3570.61 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120874 0 0 0 357019 42 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.09 4.24 4.23 5/256 224335
/proc/meminfo: memFree=117228532/131524600 swapFree=131069668/131071996
[pid=222345] ppid=222342 vsize=451360 memory=443384 CPUtime=3600 cores=0,2
/proc/222345/stat : 222345 (CASHWMaxSAT-Dis) R 222342 222345 220230 0 -1 4194304 120949 0 0 0 359958 42 0 0 20 0 1 0 24484022 462192640 110846 134679101440 4194304 14636349 140730586624848 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 25612288 140730586629091 140730586629207 140730586629207 140730586636222 0
/proc/222345/statm: 112840 110846 2666 2550 0 109795 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 451360 KiB
Current children cumulated memory: 443384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.59 s, system=0.427068 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.02
CPU user time (s): 3599.59
CPU system time (s): 0.427068
CPU usage (%): 99.6737
Max. virtual memory (cumulated for all children) (KiB): 565932
Max. memory (cumulated for all children) (KiB): 553796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.427068
maximum resident set size= 553796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120952
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= 59
involuntary context switches= 27784


# summary of solver processes directly reported to runsolver:
#   pid: 222345
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.59
#   total CPU system time (s): 0.427068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81705 second user time and 16.604 second system time

The end