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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438870-1721227484/watcher-4438870-1721227484 -o /tmp/evaluation-result-4438870-1721227484/solver-4438870-1721227484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721218192-909630 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438870-1721227484.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=916391, runsolver pid=916388

[startup+0.10011 s]*
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122795060/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=29768 memory=14260 CPUtime=0.09 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 2752 0 0 0 9 0 0 0 20 0 1 0 174914620 30482432 3565 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 7442 3565 922 2726 0 4190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 14260 KiB

[startup+0.205849 s]*
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122751964/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=77092 memory=57648 CPUtime=0.2 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 9107 0 0 0 18 2 0 0 20 0 1 0 174914620 78942208 14412 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 19273 14412 970 2726 0 16021 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77092 KiB
Current children cumulated memory: 57648 KiB

[startup+0.306008 s]*
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122751824/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=77092 memory=57648 CPUtime=0.3 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 9128 0 0 0 28 2 0 0 20 0 1 0 174914620 78942208 14412 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 19273 14412 970 2726 0 16021 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77092 KiB
Current children cumulated memory: 57648 KiB

[startup+0.700237 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122500312/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=119016 memory=99600 CPUtime=0.69 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 19558 0 0 0 66 3 0 0 20 0 1 0 174914620 121872384 24900 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 29754 24900 1034 2726 0 26502 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119016 KiB
Current children cumulated memory: 99600 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122354348/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=251632 memory=232220 CPUtime=1.48 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 29771 0 0 0 142 6 0 0 20 0 1 0 174914620 257671168 58055 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 62908 58055 1066 2726 0 59656 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251632 KiB
Current children cumulated memory: 232220 KiB

[startup+3.10583 s]
/proc/loadavg: 4.10 4.16 4.12 5/257 916392
/proc/meminfo: memFree=122160384/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=756208 memory=717408 CPUtime=3.08 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 147076 0 0 0 286 22 0 0 20 0 1 0 174914620 774356992 179352 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 189052 179352 2618 2726 0 185800 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 756208 KiB
Current children cumulated memory: 717408 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.15 4.12 5/257 916392
/proc/meminfo: memFree=122144600/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=945872 memory=892044 CPUtime=6.27 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 178914 0 0 0 599 28 0 0 20 0 1 0 174914620 968572928 223011 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 236468 223011 2650 2726 0 233216 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 945872 KiB
Current children cumulated memory: 892044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.15 4.11 5/257 916394
/proc/meminfo: memFree=121164880/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1508812 memory=1389440 CPUtime=12.65 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 243153 0 0 0 1225 40 0 0 20 0 1 0 174914620 1545023488 347360 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 377203 347360 2746 2726 0 373951 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1508812 KiB
Current children cumulated memory: 1389440 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.12 5/254 916395
/proc/meminfo: memFree=121750832/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1510752 memory=1391692 CPUtime=25.41 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 243756 0 0 0 2500 41 0 0 20 0 1 0 174914620 1547010048 347923 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 377688 347923 2746 2726 0 374436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1510752 KiB
Current children cumulated memory: 1391692 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.16 4.12 5/254 916401
/proc/meminfo: memFree=121591524/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1526380 memory=1406348 CPUtime=50.94 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 246456 0 0 0 5052 42 0 0 20 0 1 0 174914620 1563013120 351587 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 381595 351587 2746 2726 0 378343 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1526380 KiB
Current children cumulated memory: 1406348 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 916410
/proc/meminfo: memFree=121758024/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1528312 memory=1408420 CPUtime=101.98 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 247088 0 0 0 10155 43 0 0 20 0 1 0 174914620 1564991488 352105 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 382078 352105 2746 2726 0 378826 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1528312 KiB
Current children cumulated memory: 1408420 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/255 916422
/proc/meminfo: memFree=121597640/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1535460 memory=1414048 CPUtime=161.8 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 248523 0 0 0 16137 43 0 0 20 0 1 0 174914620 1572311040 353512 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 383865 353512 2746 2726 0 380613 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1535460 KiB
Current children cumulated memory: 1414048 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/255 916433
/proc/meminfo: memFree=121734636/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1535460 memory=1414456 CPUtime=221.62 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 248718 0 0 0 22119 43 0 0 20 0 1 0 174914620 1572311040 353614 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 383865 353614 2746 2726 0 380613 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1535460 KiB
Current children cumulated memory: 1414456 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 916443
/proc/meminfo: memFree=121593728/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1535460 memory=1414528 CPUtime=281.45 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 248768 0 0 0 28101 44 0 0 20 0 1 0 174914620 1572311040 353632 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 383865 353632 2746 2726 0 380613 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1535460 KiB
Current children cumulated memory: 1414528 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 916458
/proc/meminfo: memFree=121665448/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1654676 memory=1479120 CPUtime=341.27 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 255279 0 0 0 34081 46 0 0 20 0 1 0 174914620 1694388224 369780 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 413669 369780 2762 2726 0 410417 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1654676 KiB
Current children cumulated memory: 1479120 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 916469
/proc/meminfo: memFree=121506600/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1783524 memory=1501576 CPUtime=401.1 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 258400 0 0 0 40063 47 0 0 20 0 1 0 174914620 1826328576 375394 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 445881 375394 2762 2726 0 442629 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1783524 KiB
Current children cumulated memory: 1501576 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 916481
/proc/meminfo: memFree=121567716/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1988204 memory=1597832 CPUtime=460.91 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 275877 0 0 0 46041 50 0 0 20 0 1 0 174914620 2035920896 399458 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 497051 399458 2762 2726 0 493799 0

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

Current children cumulated memory: 1114816 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 918145
/proc/meminfo: memFree=119528064/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=2854.06 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 281199 0 0 0 285347 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 2854.06 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 918157
/proc/meminfo: memFree=119682324/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=2913.91 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 281235 0 0 0 291332 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 918168
/proc/meminfo: memFree=119680884/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=2973.74 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 281269 0 0 0 297315 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 918179
/proc/meminfo: memFree=119679528/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3033.58 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 281315 0 0 0 303299 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 918190
/proc/meminfo: memFree=119670468/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3093.43 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 281358 0 0 0 309284 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 918201
/proc/meminfo: memFree=119510872/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3153.27 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282379 0 0 0 315268 59 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 918212
/proc/meminfo: memFree=119504108/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3213.12 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282420 0 0 0 321252 60 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 918222
/proc/meminfo: memFree=119502436/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3272.97 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282459 0 0 0 327237 60 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3342.3 s]
/proc/loadavg: 3.98 4.06 4.08 4/249 918268
/proc/meminfo: memFree=122241244/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3332.81 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282487 0 0 0 333221 60 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3402.3 s]
/proc/loadavg: 3.41 3.88 4.02 4/249 918279
/proc/meminfo: memFree=122238192/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3392.66 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282527 0 0 0 339206 60 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3462.3 s]
/proc/loadavg: 3.30 3.75 3.96 4/249 918289
/proc/meminfo: memFree=122237464/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114816 CPUtime=3452.51 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 282572 0 0 0 345191 60 0 0 20 0 1 0 174914620 1187631104 278704 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278704 2826 2726 0 286697 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114816 KiB

[startup+3522.3 s]
/proc/loadavg: 2.95 3.58 3.89 3/242 918331
/proc/meminfo: memFree=125504956/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114820 CPUtime=3512.35 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 283039 0 0 0 351175 60 0 0 20 0 1 0 174914620 1187631104 278705 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278705 2826 2726 0 286697 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114820 KiB

[startup+3582.3 s]
/proc/loadavg: 2.40 3.30 3.77 3/242 918342
/proc/meminfo: memFree=125504520/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1114976 CPUtime=3572.19 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 283180 0 0 0 357158 61 0 0 20 0 1 0 174914620 1187631104 278744 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278744 2826 2726 0 286697 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1114976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 2.30 3.19 3.72 3/242 918347
/proc/meminfo: memFree=125504060/131524600 swapFree=131071996/131071996
[pid=916391] ppid=916388 vsize=1159796 memory=1115256 CPUtime=3600.02 cores=5,7
/proc/916391/stat : 916391 (CASHWMaxSAT-Dis) R 916388 916391 909617 0 -1 4194304 283241 0 0 0 359941 61 0 0 20 0 1 0 174914620 1187631104 278814 134679101440 4194304 15356333 140726774232192 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 30457856 140726774240226 140726774240342 140726774240342 140726774247358 0
/proc/916391/statm: 289949 278814 2826 2726 0 286697 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1159796 KiB
Current children cumulated memory: 1115256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.636334 s

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

Child status: 10

Real time (s): 3610.22
CPU time (s): 3600.05
CPU user time (s): 3599.41
CPU system time (s): 0.636334
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 2029404
Max. memory (cumulated for all children) (KiB): 1605276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.636334
maximum resident set size= 1605276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283245
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= 40
involuntary context switches= 1235


# summary of solver processes directly reported to runsolver:
#   pid: 916391
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.636334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42561 second user time and 17.0983 second system time

The end