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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=923760, runsolver pid=923756

[startup+0.100387 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123827084/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=36896 memory=21544 CPUtime=0.09 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 4938 0 0 0 9 0 0 0 20 0 1 0 172896615 37781504 5386 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 9224 5386 1034 2726 0 5972 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36896 KiB
Current children cumulated memory: 21544 KiB

[startup+0.205756 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123759764/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=50480 memory=35008 CPUtime=0.2 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 8355 0 0 0 19 1 0 0 20 0 1 0 172896615 51691520 8752 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 12620 8752 1034 2726 0 9368 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50480 KiB
Current children cumulated memory: 35008 KiB

[startup+0.306013 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123724004/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=65648 memory=49528 CPUtime=0.3 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 11934 0 0 0 28 2 0 0 20 0 1 0 172896615 67223552 12382 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 16412 12382 1066 2726 0 13160 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65648 KiB
Current children cumulated memory: 49528 KiB

[startup+0.700231 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123591568/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=202652 memory=187812 CPUtime=0.69 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 43508 0 0 0 61 8 0 0 20 0 1 0 172896615 207515648 46953 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 50663 46953 2618 2726 0 47411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 202652 KiB
Current children cumulated memory: 187812 KiB

[startup+1.50021 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123292640/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=335676 memory=297656 CPUtime=1.48 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 59097 0 0 0 136 12 0 0 20 0 1 0 172896615 343732224 74414 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 83919 74414 2650 2726 0 80667 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 335676 KiB
Current children cumulated memory: 297656 KiB

[startup+3.10594 s]
/proc/loadavg: 1.11 1.10 1.42 4/252 923791
/proc/meminfo: memFree=122397128/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=447676 memory=410944 CPUtime=3.09 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 78306 0 0 0 293 16 0 0 20 0 1 0 172896615 458420224 102736 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 111919 102736 2682 2726 0 108667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 447676 KiB
Current children cumulated memory: 410944 KiB

[startup+6.30023 s]
/proc/loadavg: 1.43 1.16 1.44 5/255 923823
/proc/meminfo: memFree=122161288/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=448324 memory=411424 CPUtime=6.27 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 78344 0 0 0 611 16 0 0 20 0 1 0 172896615 459083776 102856 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 112081 102856 2746 2726 0 108829 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 448324 KiB
Current children cumulated memory: 411424 KiB

[startup+12.7002 s]
/proc/loadavg: 1.63 1.21 1.45 5/255 923824
/proc/meminfo: memFree=121597264/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=448768 memory=412396 CPUtime=12.65 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 78600 0 0 0 1248 17 0 0 20 0 1 0 172896615 459538432 103099 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 112192 103099 2746 2726 0 108940 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 448768 KiB
Current children cumulated memory: 412396 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 1.35 1.49 5/255 923826
/proc/meminfo: memFree=121461248/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=519052 memory=460168 CPUtime=25.4 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 88507 0 0 0 2521 19 0 0 20 0 1 0 172896615 531509248 115042 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 129763 115042 2762 2726 0 126511 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 519052 KiB
Current children cumulated memory: 460168 KiB

[startup+51.1058 s]
/proc/loadavg: 2.84 1.58 1.57 5/255 923829
/proc/meminfo: memFree=121290336/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=642408 memory=530284 CPUtime=50.92 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 105959 0 0 0 5069 23 0 0 20 0 1 0 172896615 657825792 132571 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 160602 132571 2762 2726 0 157350 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 642408 KiB
Current children cumulated memory: 530284 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.99 1.71 5/258 923846
/proc/meminfo: memFree=121249328/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=643500 memory=530664 CPUtime=101.96 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 106038 0 0 0 10172 24 0 0 20 0 1 0 172896615 658944000 132666 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 160875 132666 2762 2726 0 157623 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 643500 KiB
Current children cumulated memory: 530664 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 2.43 1.88 5/259 923861
/proc/meminfo: memFree=121100996/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=646144 memory=536596 CPUtime=161.78 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 106855 0 0 0 16154 24 0 0 20 0 1 0 172896615 661651456 134149 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 161536 134149 2762 2726 0 158284 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 646144 KiB
Current children cumulated memory: 536596 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.75 2.03 5/259 923871
/proc/meminfo: memFree=120974172/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=743384 memory=636040 CPUtime=221.59 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 131845 0 0 0 22131 28 0 0 20 0 1 0 172896615 761225216 159010 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 185846 159010 2762 2726 0 182594 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 743384 KiB
Current children cumulated memory: 636040 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.01 2.16 5/259 923882
/proc/meminfo: memFree=120812092/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=841976 memory=718720 CPUtime=281.41 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 149945 0 0 0 28110 31 0 0 20 0 1 0 172896615 862183424 179680 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 210494 179680 2762 2726 0 207242 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 841976 KiB
Current children cumulated memory: 718720 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.22 2.29 5/259 923893
/proc/meminfo: memFree=120731604/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=848408 memory=730020 CPUtime=341.24 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 150441 0 0 0 34093 31 0 0 20 0 1 0 172896615 868769792 182505 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 212102 182505 2762 2726 0 208850 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 848408 KiB
Current children cumulated memory: 730020 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.38 2.41 5/259 923903
/proc/meminfo: memFree=120708288/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=854904 memory=734460 CPUtime=401.07 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 150563 0 0 0 40076 31 0 0 20 0 1 0 172896615 875421696 183615 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 213726 183615 2762 2726 0 210474 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 854904 KiB
Current children cumulated memory: 734460 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.53 2.52 5/255 923915
/proc/meminfo: memFree=120615376/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=880888 memory=742592 CPUtime=460.89 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 150814 0 0 0 46058 31 0 0 20 0 1 0 172896615 902029312 185648 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 220222 185648 2762 2726 0 216970 0

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

Current children cumulated memory: 671752 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/258 925369
/proc/meminfo: memFree=120639712/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=2854.42 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199100 0 0 0 285399 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.03 5/258 925380
/proc/meminfo: memFree=120639048/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=2914.27 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199171 0 0 0 291384 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 2914.27 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/260 925561
/proc/meminfo: memFree=120635768/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=2974.12 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199247 0 0 0 297369 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/260 925571
/proc/meminfo: memFree=120635640/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3033.97 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199319 0 0 0 303354 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/261 925586
/proc/meminfo: memFree=120634640/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3093.82 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199391 0 0 0 309339 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.04 5/258 925608
/proc/meminfo: memFree=120629440/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3153.67 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199458 0 0 0 315324 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/258 925618
/proc/meminfo: memFree=120628712/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3213.52 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199525 0 0 0 321309 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.18 4.07 5/258 925630
/proc/meminfo: memFree=120627728/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3273.36 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199594 0 0 0 327293 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.20 4.09 5/256 925641
/proc/meminfo: memFree=120626876/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3333.21 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199662 0 0 0 333278 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/256 925652
/proc/meminfo: memFree=120626064/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3393.06 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199737 0 0 0 339263 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/255 925663
/proc/meminfo: memFree=120625520/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=671752 CPUtime=3452.91 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199807 0 0 0 345248 43 0 0 20 0 1 0 172896615 765513728 167938 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 167938 2826 2726 0 183641 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 671752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/256 925674
/proc/meminfo: memFree=120618436/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=677896 CPUtime=3512.75 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199891 0 0 0 351232 43 0 0 20 0 1 0 172896615 765513728 169474 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 169474 2826 2726 0 183641 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 677896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/256 925685
/proc/meminfo: memFree=120617948/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=677896 CPUtime=3572.6 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199967 0 0 0 357217 43 0 0 20 0 1 0 172896615 765513728 169474 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 169474 2826 2726 0 183641 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 677896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.14 4.15 4.09 5/256 925689
/proc/meminfo: memFree=120617752/131524600 swapFree=131071996/131071996
[pid=923760] ppid=923756 vsize=747572 memory=677896 CPUtime=3600.03 cores=1,3
/proc/923760/stat : 923760 (CASHWMaxSAT-Dis) R 923756 923760 923702 0 -1 4194304 199980 0 0 0 359960 43 0 0 20 0 1 0 172896615 765513728 169474 134679101440 4194304 15356333 140729363606512 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 49569792 140729363612642 140729363612758 140729363612758 140729363619774 0
/proc/923760/statm: 186893 169474 2826 2726 0 183641 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 747572 KiB
Current children cumulated memory: 677896 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.6 s, system=0.436767 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.04
CPU user time (s): 3599.6
CPU system time (s): 0.436767
CPU usage (%): 99.7295
Max. virtual memory (cumulated for all children) (KiB): 1362512
Max. memory (cumulated for all children) (KiB): 936620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.436767
maximum resident set size= 936620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199982
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= 49
involuntary context switches= 1515


# summary of solver processes directly reported to runsolver:
#   pid: 923760
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.6
#   total CPU system time (s): 0.436767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05806 second user time and 18.8332 second system time

The end