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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439960-1721194629/watcher-4439960-1721194629 -o /tmp/evaluation-result-4439960-1721194629/solver-4439960-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881524 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439960-1721194629.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
solver pid=881583, runsolver pid=881572
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 0.14 0.11 0.09 9/246 881588
/proc/meminfo: memFree=128138152/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=37244 memory=18268 CPUtime=0.1 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 3834 0 0 0 10 0 0 0 20 0 1 0 171619644 38137856 4567 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 9311 4567 1022 2417 0 6413 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37244 KiB
Current children cumulated memory: 18268 KiB

[startup+0.215161 s]*
/proc/loadavg: 0.14 0.11 0.09 8/246 881588
/proc/meminfo: memFree=128119660/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=41600 memory=22680 CPUtime=0.22 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 5128 0 0 0 21 1 0 0 20 0 1 0 171619644 42598400 5670 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 10400 5670 1022 2417 0 7502 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 22680 KiB

[startup+0.314806 s]*
/proc/loadavg: 0.14 0.11 0.09 8/246 881588
/proc/meminfo: memFree=128081092/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=51112 memory=33656 CPUtime=0.31 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 7343 0 0 0 30 1 0 0 20 0 1 0 171619644 52338688 8414 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 12778 8414 1022 2417 0 9880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51112 KiB
Current children cumulated memory: 33656 KiB

[startup+0.70038 s]
/proc/loadavg: 0.14 0.11 0.09 9/246 881588
/proc/meminfo: memFree=128026256/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=51320 memory=35804 CPUtime=0.69 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 8689 0 0 0 67 2 0 0 20 0 1 0 171619644 52551680 8951 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 12830 8951 1022 2417 0 9932 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51320 KiB
Current children cumulated memory: 35804 KiB

[startup+1.50038 s]
/proc/loadavg: 0.14 0.11 0.09 8/246 881588
/proc/meminfo: memFree=127837260/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=280488 memory=265008 CPUtime=1.48 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 65058 0 0 0 132 16 0 0 20 0 1 0 171619644 287219712 66252 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 70122 66252 2590 2417 0 67224 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 280488 KiB
Current children cumulated memory: 265008 KiB

[startup+3.11423 s]
/proc/loadavg: 0.45 0.18 0.11 8/246 881590
/proc/meminfo: memFree=127427040/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=344652 memory=329460 CPUtime=3.09 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 80683 0 0 0 290 19 0 0 20 0 1 0 171619644 352923648 82365 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 86163 82365 2638 2417 0 83265 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 344652 KiB
Current children cumulated memory: 329460 KiB

[startup+6.30032 s]
/proc/loadavg: 0.45 0.18 0.11 8/246 881590
/proc/meminfo: memFree=127381896/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=344652 memory=329460 CPUtime=6.27 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 80686 0 0 0 608 19 0 0 20 0 1 0 171619644 352923648 82365 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 86163 82365 2638 2417 0 83265 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 344652 KiB
Current children cumulated memory: 329460 KiB

[startup+12.7003 s]
/proc/loadavg: 1.00 0.30 0.16 8/246 881590
/proc/meminfo: memFree=127014272/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=686196 memory=654912 CPUtime=12.65 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 126796 0 0 0 1236 29 0 0 20 0 1 0 171619644 702664704 163728 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 171549 163728 2766 2417 0 168651 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 686196 KiB
Current children cumulated memory: 654912 KiB

[startup+25.5004 s]
/proc/loadavg: 1.46 0.43 0.20 8/246 881593
/proc/meminfo: memFree=126936720/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=692364 memory=660912 CPUtime=25.41 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 128379 0 0 0 2511 30 0 0 20 0 1 0 171619644 708980736 165228 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 173091 165228 2766 2417 0 170193 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 692364 KiB
Current children cumulated memory: 660912 KiB

[startup+51.1139 s]
/proc/loadavg: 2.39 0.73 0.31 8/246 881596
/proc/meminfo: memFree=126891084/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=692520 memory=661324 CPUtime=50.96 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 128469 0 0 0 5065 31 0 0 20 0 1 0 171619644 709140480 165331 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 173130 165331 2766 2417 0 170232 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 692520 KiB
Current children cumulated memory: 661324 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 8/246 881604
/proc/meminfo: memFree=126943056/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=692948 memory=661680 CPUtime=102 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 128608 0 0 0 10168 32 0 0 20 0 1 0 171619644 709578752 165420 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 173237 165420 2766 2417 0 170339 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 692948 KiB
Current children cumulated memory: 661680 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 1.83 0.76 8/246 881615
/proc/meminfo: memFree=126840796/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=704520 memory=672388 CPUtime=161.8 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 130820 0 0 0 16147 33 0 0 20 0 1 0 171619644 721428480 168097 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 176130 168097 2766 2417 0 173232 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 704520 KiB
Current children cumulated memory: 672388 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.26 0.98 8/248 881629
/proc/meminfo: memFree=126803116/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=704520 memory=672572 CPUtime=221.58 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 130864 0 0 0 22124 34 0 0 20 0 1 0 171619644 721428480 168143 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 176130 168143 2766 2417 0 173232 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 704520 KiB
Current children cumulated memory: 672572 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.60 1.17 8/248 881639
/proc/meminfo: memFree=126764964/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=704520 memory=672636 CPUtime=281.36 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 130897 0 0 0 28102 34 0 0 20 0 1 0 171619644 721428480 168159 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 176130 168159 2766 2417 0 173232 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 704520 KiB
Current children cumulated memory: 672636 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.89 1.37 8/244 881650
/proc/meminfo: memFree=126749408/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=704520 memory=672844 CPUtime=341.14 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 131815 0 0 0 34079 35 0 0 20 0 1 0 171619644 721428480 168211 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 176130 168211 2766 2417 0 173232 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 704520 KiB
Current children cumulated memory: 672844 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.12 1.54 8/244 881661
/proc/meminfo: memFree=126716808/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=704520 memory=673256 CPUtime=400.92 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 131950 0 0 0 40056 36 0 0 20 0 1 0 171619644 721428480 168314 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 176130 168314 2766 2417 0 173232 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 704520 KiB
Current children cumulated memory: 673256 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.30 1.70 8/244 881672
/proc/meminfo: memFree=126629732/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=785180 memory=735896 CPUtime=460.7 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 137971 0 0 0 46032 38 0 0 20 0 1 0 171619644 804024320 183974 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 196295 183974 2782 2417 0 193397 0

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

/proc/loadavg: 4.10 4.06 3.17 8/245 882377
/proc/meminfo: memFree=126366940/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1298.35 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 149839 0 0 0 129793 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1298.35 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1362.3 s]
/proc/loadavg: 4.17 4.08 3.23 8/245 882388
/proc/meminfo: memFree=126315164/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1358.2 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 150077 0 0 0 135778 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1358.2 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1422.3 s]
/proc/loadavg: 7.08 4.93 3.58 8/245 882413
/proc/meminfo: memFree=126313892/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1418.05 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 150320 0 0 0 141763 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1418.05 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1482.3 s]
/proc/loadavg: 5.31 4.83 3.63 8/245 882423
/proc/meminfo: memFree=126307584/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1477.91 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 150573 0 0 0 147749 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1477.91 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1542.3 s]
/proc/loadavg: 4.52 4.69 3.66 8/245 882434
/proc/meminfo: memFree=126305468/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1537.77 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 150812 0 0 0 153735 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1537.77 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1602.3 s]
/proc/loadavg: 4.29 4.60 3.70 8/244 882444
/proc/meminfo: memFree=126289940/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1597.63 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151060 0 0 0 159721 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1597.63 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 4.49 3.72 8/244 882455
/proc/meminfo: memFree=126288240/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1657.48 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151310 0 0 0 165706 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1657.48 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1722.3 s]
/proc/loadavg: 4.15 4.43 3.75 8/242 882466
/proc/meminfo: memFree=126269868/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1717.34 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151553 0 0 0 171692 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1717.34 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1782.3 s]
/proc/loadavg: 4.11 4.36 3.77 8/242 882476
/proc/meminfo: memFree=126254136/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1777.19 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151814 0 0 0 177677 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1777.19 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1803.49 s]
# the end of solver process 881583 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1797.91 s, system=0.429529 s

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

[startup+1792 s]*
/proc/loadavg: 4.09 4.35 3.78 8/242 882478
/proc/meminfo: memFree=126252848/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1786.88 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151920 0 0 0 178646 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1786.88 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1798.4 s]
/proc/loadavg: 4.08 4.34 3.78 8/242 882479
/proc/meminfo: memFree=126238480/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1793.25 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151929 0 0 0 179283 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1793.25 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1801.6 s]
/proc/loadavg: 4.08 4.34 3.78 8/242 882479
/proc/meminfo: memFree=126427360/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1796.44 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151930 0 0 0 179602 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1796.44 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1802.4 s]
/proc/loadavg: 4.08 4.34 3.78 8/242 882480
/proc/meminfo: memFree=126433384/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=1059264 memory=864040 CPUtime=1797.24 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151930 0 0 0 179682 42 0 0 20 0 1 0 171619644 1084686336 216010 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 264816 216010 2782 2417 0 261918 0
Current children cumulated CPU time: 1797.24 s
Current children cumulated vsize: 1059264 KiB
Current children cumulated memory: 864040 KiB

[startup+1803.2 s]
/proc/loadavg: 4.15 4.35 3.79 8/242 882482
/proc/meminfo: memFree=126487160/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=861168 memory=679952 CPUtime=1798.04 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151980 0 0 0 179762 42 0 0 20 0 1 0 171619644 881836032 169988 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 215292 169988 2782 2417 0 212394 0
Current children cumulated CPU time: 1798.04 s
Current children cumulated vsize: 861168 KiB
Current children cumulated memory: 679952 KiB

[startup+1803.4 s]
/proc/loadavg: 4.15 4.35 3.79 8/242 882482
/proc/meminfo: memFree=126487160/131655788 swapFree=131071996/131071996
[pid=881583] ppid=881572 vsize=861168 memory=679952 CPUtime=1798.24 cores=1,3
/proc/881583/stat : 881583 (CASHWMaxSAT-Dis) R 881572 881583 881512 0 -1 4194304 151980 0 0 0 179782 42 0 0 20 0 1 0 171619644 881836032 169988 134679101440 4194304 14093885 140736060769904 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 43184128 140736060773348 140736060773463 140736060773463 140736060780479 0
/proc/881583/statm: 215292 169988 2782 2417 0 212394 0
Current children cumulated CPU time: 1798.24 s
Current children cumulated vsize: 861168 KiB
Current children cumulated memory: 679952 KiB

Child status: 30

Real time (s): 1803.49
CPU time (s): 1798.34
CPU user time (s): 1797.91
CPU system time (s): 0.429529
CPU usage (%): 99.7144
Max. virtual memory (cumulated for all children) (KiB): 1059264
Max. memory (cumulated for all children) (KiB): 864040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 0.429529
maximum resident set size= 864040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151980
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= 33
involuntary context switches= 818


# summary of solver processes directly reported to runsolver:
#   pid: 881583
#   total CPU time (s): 1798.34
#   total CPU user time (s): 1797.91
#   total CPU system time (s): 0.429529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70321 second user time and 19.0472 second system time

The end