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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438748-1721198241/watcher-4438748-1721198241 -o /tmp/evaluation-result-4438748-1721198241/solver-4438748-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721194641-916626 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438748-1721198241.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=918718, runsolver pid=918715

[startup+0.100645 s]*
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123143240/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=44532 memory=27068 CPUtime=0.09 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 4450 0 0 0 9 0 0 0 20 0 1 0 171989448 45600768 6767 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 11133 6767 922 2726 0 7881 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44532 KiB
Current children cumulated memory: 27068 KiB

[startup+0.205672 s]*
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123122096/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=67956 memory=52624 CPUtime=0.19 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 10575 0 0 0 18 1 0 0 20 0 1 0 171989448 69586944 13156 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 16989 13156 954 2726 0 13737 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67956 KiB
Current children cumulated memory: 52624 KiB

[startup+0.305764 s]*
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123109744/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=67956 memory=52624 CPUtime=0.29 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 10575 0 0 0 28 1 0 0 20 0 1 0 171989448 69586944 13156 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 16989 13156 954 2726 0 13737 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67956 KiB
Current children cumulated memory: 52624 KiB

[startup+0.700242 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=123043896/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=153916 memory=142600 CPUtime=0.68 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 35581 0 0 0 64 4 0 0 20 0 1 0 171989448 157609984 35584 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 38479 35650 2378 2726 0 35227 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153916 KiB
Current children cumulated memory: 142600 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=122712124/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=290584 memory=278404 CPUtime=1.48 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 69376 0 0 0 139 9 0 0 20 0 1 0 171989448 297558016 69601 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 72646 69601 2618 2726 0 69394 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 290584 KiB
Current children cumulated memory: 278404 KiB

[startup+3.10547 s]
/proc/loadavg: 4.09 4.12 4.06 5/257 918719
/proc/meminfo: memFree=122170360/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=585484 memory=531428 CPUtime=3.08 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 92902 0 0 0 293 15 0 0 20 0 1 0 171989448 599535616 132857 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 146371 132857 2746 2726 0 143119 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 585484 KiB
Current children cumulated memory: 531428 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.12 4.06 5/256 918721
/proc/meminfo: memFree=122105792/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=628036 memory=564232 CPUtime=6.27 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 99147 0 0 0 610 17 0 0 20 0 1 0 171989448 643108864 141058 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 157009 141058 2762 2726 0 153757 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 628036 KiB
Current children cumulated memory: 564232 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.12 4.06 5/257 918722
/proc/meminfo: memFree=122099992/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=647928 memory=565220 CPUtime=12.65 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 99380 0 0 0 1248 17 0 0 20 0 1 0 171989448 663478272 141305 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 161982 141305 2762 2726 0 158730 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 647928 KiB
Current children cumulated memory: 565220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.06 5/257 918725
/proc/meminfo: memFree=122078620/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=707852 memory=572976 CPUtime=25.42 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 100822 0 0 0 2525 17 0 0 20 0 1 0 171989448 724840448 143244 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 176963 143244 2762 2726 0 173711 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 707852 KiB
Current children cumulated memory: 572976 KiB

[startup+51.1054 s]
/proc/loadavg: 4.04 4.10 4.06 5/257 918728
/proc/meminfo: memFree=121927760/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=934696 memory=710180 CPUtime=50.96 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 134641 0 0 0 5072 24 0 0 20 0 1 0 171989448 957128704 177545 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 233674 177545 2778 2726 0 230422 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 934696 KiB
Current children cumulated memory: 710180 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/257 918736
/proc/meminfo: memFree=121922228/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=995916 memory=710592 CPUtime=102.01 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 134772 0 0 0 10177 24 0 0 20 0 1 0 171989448 1019817984 177648 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 248979 177648 2778 2726 0 245727 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 995916 KiB
Current children cumulated memory: 710592 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/257 918747
/proc/meminfo: memFree=121770440/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1091488 memory=788404 CPUtime=161.84 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 178812 0 0 0 16153 31 0 0 20 0 1 0 171989448 1117683712 197101 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 272872 197101 2778 2726 0 269620 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1091488 KiB
Current children cumulated memory: 788404 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/258 918762
/proc/meminfo: memFree=121687948/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1100344 memory=789892 CPUtime=221.67 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 190751 0 0 0 22134 33 0 0 20 0 1 0 171989448 1126752256 197473 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 275086 197473 3063 2726 0 271834 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1100344 KiB
Current children cumulated memory: 789892 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/257 918773
/proc/meminfo: memFree=121555428/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1157676 memory=847372 CPUtime=281.49 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 223703 0 0 0 28111 38 0 0 20 0 1 0 171989448 1185460224 211843 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 289419 211843 3063 2726 0 286167 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1157676 KiB
Current children cumulated memory: 847372 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/257 918785
/proc/meminfo: memFree=121427400/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1216020 memory=905380 CPUtime=341.32 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 239884 0 0 0 34091 41 0 0 20 0 1 0 171989448 1245204480 226345 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 304005 226345 3063 2726 0 300753 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1216020 KiB
Current children cumulated memory: 905380 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/257 918798
/proc/meminfo: memFree=121373368/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1216020 memory=905396 CPUtime=401.14 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 239962 0 0 0 40073 41 0 0 20 0 1 0 171989448 1245204480 226349 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 304005 226349 3063 2726 0 300753 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1216020 KiB
Current children cumulated memory: 905396 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.07 5/257 918808
/proc/meminfo: memFree=121311932/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1260812 memory=946380 CPUtime=460.97 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 241592 0 0 0 46055 42 0 0 20 0 1 0 171989448 1291071488 236595 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 315203 236595 3063 2726 0 311951 0

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

Current children cumulated memory: 1544660 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.22 4.16 5/257 920263
/proc/meminfo: memFree=119302304/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=2913.77 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496284 0 0 0 291273 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 2913.77 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/258 920321
/proc/meminfo: memFree=118818768/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=2973.58 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496384 0 0 0 297254 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.15 5/258 920333
/proc/meminfo: memFree=118018268/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3033.38 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496510 0 0 0 303234 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/260 920513
/proc/meminfo: memFree=117999668/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3093.19 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496627 0 0 0 309215 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3093.19 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/260 920524
/proc/meminfo: memFree=117987240/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3153 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496711 0 0 0 315196 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/260 920593
/proc/meminfo: memFree=117961892/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3212.82 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496851 0 0 0 321178 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/258 920603
/proc/meminfo: memFree=117910476/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3272.63 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 496962 0 0 0 327159 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/260 920616
/proc/meminfo: memFree=117865428/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3332.44 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497071 0 0 0 333140 104 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/259 920627
/proc/meminfo: memFree=117856672/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3392.26 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497204 0 0 0 339121 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/259 920637
/proc/meminfo: memFree=117793480/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3452.07 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497311 0 0 0 345102 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/256 920647
/proc/meminfo: memFree=117782496/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3511.88 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497434 0 0 0 351083 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/256 920657
/proc/meminfo: memFree=117758712/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3571.69 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497516 0 0 0 357064 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.11 4.12 5/255 920709
/proc/meminfo: memFree=118844424/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3600 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497592 0 0 0 359895 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.96 s, system=1.05509 s

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

[startup+3610.7 s]
/proc/loadavg: 4.10 4.11 4.12 5/255 920709
/proc/meminfo: memFree=118844424/131524600 swapFree=131071996/131071996
[pid=918718] ppid=918715 vsize=1770268 memory=1544660 CPUtime=3600 cores=1,3
/proc/918718/stat : 918718 (CASHWMaxSAT-Dis) R 918715 918718 916614 0 -1 4194304 497592 0 0 0 359895 105 0 0 20 0 1 0 171989448 1812754432 386165 134679101440 4194304 15356333 140721512130208 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 41521152 140721512133602 140721512133718 140721512133718 140721512140734 0
/proc/918718/statm: 442567 386165 3111 2726 0 439315 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1770268 KiB
Current children cumulated memory: 1544660 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.01
CPU user time (s): 3598.96
CPU system time (s): 1.05509
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 2120648
Max. memory (cumulated for all children) (KiB): 1808600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.96
system time used= 1.05509
maximum resident set size= 1808600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497593
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= 55
involuntary context switches= 2221


# summary of solver processes directly reported to runsolver:
#   pid: 918718
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.96
#   total CPU system time (s): 1.05509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42913 second user time and 17.676 second system time

The end