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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438819-1721225577/watcher-4438819-1721225577 -o /tmp/evaluation-result-4438819-1721225577/solver-4438819-1721225577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721218192-909629 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438819-1721225577.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=915294, runsolver pid=915291
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.13 4.09 4.09 5/257 915295
/proc/meminfo: memFree=127263780/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=37620 memory=22860 CPUtime=0.09 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 5600 0 0 0 9 0 0 0 20 0 1 0 174723871 38522880 5715 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 9405 5715 1002 2726 0 6153 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 22860 KiB

[startup+0.205223 s]*
/proc/loadavg: 4.13 4.09 4.09 5/257 915295
/proc/meminfo: memFree=127249560/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=55304 memory=40400 CPUtime=0.2 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 9990 0 0 0 19 1 0 0 20 0 1 0 174723871 56631296 10100 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 13826 10100 1034 2726 0 10574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55304 KiB
Current children cumulated memory: 40400 KiB

[startup+0.305722 s]*
/proc/loadavg: 4.13 4.09 4.09 5/257 915295
/proc/meminfo: memFree=127199488/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=106368 memory=95144 CPUtime=0.3 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 22269 0 0 0 28 2 0 0 20 0 1 0 174723871 108920832 23786 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 26592 23786 2538 2726 0 23340 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106368 KiB
Current children cumulated memory: 95144 KiB

[startup+0.700224 s]
/proc/loadavg: 4.13 4.09 4.09 5/257 915295
/proc/meminfo: memFree=127185376/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=144560 memory=133592 CPUtime=0.69 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 32055 0 0 0 65 4 0 0 20 0 1 0 174723871 148029440 33398 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 36140 33398 2730 2726 0 32888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144560 KiB
Current children cumulated memory: 133592 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 4.09 4.09 7/257 915295
/proc/meminfo: memFree=127161120/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=145072 memory=134120 CPUtime=1.49 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 32178 0 0 0 145 4 0 0 20 0 1 0 174723871 148553728 33530 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 36268 33530 2730 2726 0 33016 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145072 KiB
Current children cumulated memory: 134120 KiB

[startup+3.1052 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 915296
/proc/meminfo: memFree=127160640/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=145628 memory=134384 CPUtime=3.09 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 32245 0 0 0 305 4 0 0 20 0 1 0 174723871 149123072 33596 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 36407 33596 2730 2726 0 33155 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 145628 KiB
Current children cumulated memory: 134384 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 915296
/proc/meminfo: memFree=127160140/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=146032 memory=134912 CPUtime=6.27 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 32348 0 0 0 623 4 0 0 20 0 1 0 174723871 149536768 33728 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 36508 33728 2730 2726 0 33256 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146032 KiB
Current children cumulated memory: 134912 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 915298
/proc/meminfo: memFree=127154036/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=158888 memory=141368 CPUtime=12.65 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 33975 0 0 0 1261 4 0 0 20 0 1 0 174723871 162701312 35342 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 39722 35342 2762 2726 0 36470 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 158888 KiB
Current children cumulated memory: 141368 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 6/257 915299
/proc/meminfo: memFree=127128284/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=188744 memory=166448 CPUtime=25.42 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 40211 0 0 0 2536 6 0 0 20 0 1 0 174723871 193273856 41612 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 47186 41612 2762 2726 0 43934 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 188744 KiB
Current children cumulated memory: 166448 KiB

[startup+51.106 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 915304
/proc/meminfo: memFree=127075060/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=258804 memory=218656 CPUtime=50.95 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 53598 0 0 0 5086 9 0 0 20 0 1 0 174723871 265015296 54664 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 64701 54664 2762 2726 0 61449 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 258804 KiB
Current children cumulated memory: 218656 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.14 4.10 5/256 915313
/proc/meminfo: memFree=127105840/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=280820 memory=221000 CPUtime=102.01 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 53665 0 0 0 10191 10 0 0 20 0 1 0 174723871 287559680 55250 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 70205 55250 2762 2726 0 66953 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 280820 KiB
Current children cumulated memory: 221000 KiB

[startup+162.3 s]
/proc/loadavg: 4.40 4.20 4.13 5/254 915324
/proc/meminfo: memFree=127237672/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=311420 memory=261092 CPUtime=161.85 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 61093 0 0 0 16174 11 0 0 20 0 1 0 174723871 318894080 65273 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 77855 65273 2762 2726 0 74603 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 311420 KiB
Current children cumulated memory: 261092 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/254 915334
/proc/meminfo: memFree=127205880/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=311420 memory=291904 CPUtime=221.69 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 61194 0 0 0 22158 11 0 0 20 0 1 0 174723871 318894080 72976 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 77855 72976 2762 2726 0 74603 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 311420 KiB
Current children cumulated memory: 291904 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/254 915345
/proc/meminfo: memFree=127208360/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=311420 memory=292528 CPUtime=281.53 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 61306 0 0 0 28142 11 0 0 20 0 1 0 174723871 318894080 73132 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 77855 73132 2762 2726 0 74603 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 311420 KiB
Current children cumulated memory: 292528 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/254 915355
/proc/meminfo: memFree=127200956/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=311420 memory=292528 CPUtime=341.38 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 61420 0 0 0 34127 11 0 0 20 0 1 0 174723871 318894080 73132 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 77855 73132 2762 2726 0 74603 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 311420 KiB
Current children cumulated memory: 292528 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/254 915365
/proc/meminfo: memFree=127208008/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=314580 memory=292940 CPUtime=401.22 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 61674 0 0 0 40111 11 0 0 20 0 1 0 174723871 322129920 73235 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 78645 73235 2762 2726 0 75393 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 314580 KiB
Current children cumulated memory: 292940 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/256 915380
/proc/meminfo: memFree=127164708/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=325780 memory=299024 CPUtime=461.07 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 63283 0 0 0 46095 12 0 0 20 0 1 0 174723871 333598720 74756 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 81445 74756 2762 2726 0 78193 0

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

/proc/loadavg: 4.12 4.13 4.09 5/257 916142
/proc/meminfo: memFree=127043844/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=455156 memory=361472 CPUtime=1298.88 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 80506 0 0 0 129874 14 0 0 20 0 1 0 174723871 466079744 90368 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 113789 90368 2762 2726 0 110537 0
Current children cumulated CPU time: 1298.88 s
Current children cumulated vsize: 455156 KiB
Current children cumulated memory: 361472 KiB

[startup+1362.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 916152
/proc/meminfo: memFree=127027432/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=465568 memory=365796 CPUtime=1358.73 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 88573 0 0 0 135857 16 0 0 20 0 1 0 174723871 476741632 91449 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 116392 91449 2762 2726 0 113140 0
Current children cumulated CPU time: 1358.73 s
Current children cumulated vsize: 465568 KiB
Current children cumulated memory: 365796 KiB

[startup+1422.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/254 916162
/proc/meminfo: memFree=127005616/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=471060 memory=368480 CPUtime=1418.57 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 89352 0 0 0 141841 16 0 0 20 0 1 0 174723871 482365440 92120 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 117765 92120 2762 2726 0 114513 0
Current children cumulated CPU time: 1418.57 s
Current children cumulated vsize: 471060 KiB
Current children cumulated memory: 368480 KiB

[startup+1482.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 916173
/proc/meminfo: memFree=127002204/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=474108 memory=371692 CPUtime=1478.41 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 90247 0 0 0 147825 16 0 0 20 0 1 0 174723871 485486592 92923 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 118527 92923 2762 2726 0 115275 0
Current children cumulated CPU time: 1478.41 s
Current children cumulated vsize: 474108 KiB
Current children cumulated memory: 371692 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 916183
/proc/meminfo: memFree=126997348/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=474108 memory=371792 CPUtime=1538.25 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 90379 0 0 0 153809 16 0 0 20 0 1 0 174723871 485486592 92948 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 118527 92948 2762 2726 0 115275 0
Current children cumulated CPU time: 1538.25 s
Current children cumulated vsize: 474108 KiB
Current children cumulated memory: 371792 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 916193
/proc/meminfo: memFree=126992808/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=481344 memory=377468 CPUtime=1598.1 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 91881 0 0 0 159793 17 0 0 20 0 1 0 174723871 492896256 94367 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 120336 94367 2762 2726 0 117084 0
Current children cumulated CPU time: 1598.1 s
Current children cumulated vsize: 481344 KiB
Current children cumulated memory: 377468 KiB

[startup+1662.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 916256
/proc/meminfo: memFree=124759052/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=443872 CPUtime=1657.95 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102519 0 0 0 165776 19 0 0 20 0 1 0 174723871 519114752 110968 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 110968 2762 2726 0 123485 0
Current children cumulated CPU time: 1657.95 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 443872 KiB

[startup+1722.3 s]
/proc/loadavg: 4.57 4.23 4.14 5/257 916266
/proc/meminfo: memFree=124479944/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=471228 CPUtime=1717.79 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102652 0 0 0 171760 19 0 0 20 0 1 0 174723871 519114752 117807 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 117807 2762 2726 0 123485 0
Current children cumulated CPU time: 1717.79 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 471228 KiB

[startup+1782.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/257 916276
/proc/meminfo: memFree=124752712/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=472028 CPUtime=1777.64 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102873 0 0 0 177745 19 0 0 20 0 1 0 174723871 519114752 118007 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 118007 2762 2726 0 123485 0
Current children cumulated CPU time: 1777.64 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 472028 KiB

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

# cumulated CPU time of all completed processes:  user=1797.75 s, system=0.196442 s

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

[startup+1792 s]*
/proc/loadavg: 4.22 4.20 4.13 5/257 916277
/proc/meminfo: memFree=124621112/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=472028 CPUtime=1787.32 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102908 0 0 0 178713 19 0 0 20 0 1 0 174723871 519114752 118007 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 118007 2762 2726 0 123485 0
Current children cumulated CPU time: 1787.32 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 472028 KiB

[startup+1798.4 s]
/proc/loadavg: 4.20 4.19 4.13 5/257 916279
/proc/meminfo: memFree=124752096/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=472028 CPUtime=1793.69 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102908 0 0 0 179350 19 0 0 20 0 1 0 174723871 519114752 118007 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 118007 2762 2726 0 123485 0
Current children cumulated CPU time: 1793.69 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 472028 KiB

[startup+1800 s]*
/proc/loadavg: 4.20 4.19 4.13 5/257 916279
/proc/meminfo: memFree=124751860/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=506948 memory=472028 CPUtime=1795.3 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102908 0 0 0 179511 19 0 0 20 0 1 0 174723871 519114752 118007 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 126737 118007 2762 2726 0 123485 0
Current children cumulated CPU time: 1795.3 s
Current children cumulated vsize: 506948 KiB
Current children cumulated memory: 472028 KiB

[startup+1801.6 s]
/proc/loadavg: 4.20 4.19 4.13 6/257 916279
/proc/meminfo: memFree=124725488/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=393220 memory=367532 CPUtime=1796.88 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102936 0 0 0 179669 19 0 0 20 0 1 0 174723871 402657280 91883 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 98305 91883 2826 2726 0 95053 0
Current children cumulated CPU time: 1796.88 s
Current children cumulated vsize: 393220 KiB
Current children cumulated memory: 367532 KiB

[startup+1802.4 s]
/proc/loadavg: 4.27 4.21 4.13 5/257 916280
/proc/meminfo: memFree=124725516/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=393220 memory=367532 CPUtime=1797.68 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102936 0 0 0 179749 19 0 0 20 0 1 0 174723871 402657280 91883 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 98305 91883 2826 2726 0 95053 0
Current children cumulated CPU time: 1797.68 s
Current children cumulated vsize: 393220 KiB
Current children cumulated memory: 367532 KiB

[startup+1802.6 s]
/proc/loadavg: 4.27 4.21 4.13 5/257 916280
/proc/meminfo: memFree=124725516/131524600 swapFree=131071996/131071996
[pid=915294] ppid=915291 vsize=393220 memory=367532 CPUtime=1797.88 cores=1,3
/proc/915294/stat : 915294 (CASHWMaxSAT-Dis) R 915291 915294 909617 0 -1 4194304 102936 0 0 0 179769 19 0 0 20 0 1 0 174723871 402657280 91883 134679101440 4194304 15356333 140721182650960 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 36171776 140721182655458 140721182655574 140721182655574 140721182662590 0
/proc/915294/statm: 98305 91883 2826 2726 0 95053 0
Current children cumulated CPU time: 1797.88 s
Current children cumulated vsize: 393220 KiB
Current children cumulated memory: 367532 KiB

Child status: 30

Real time (s): 1802.66
CPU time (s): 1797.95
CPU user time (s): 1797.75
CPU system time (s): 0.196442
CPU usage (%): 99.7387
Max. virtual memory (cumulated for all children) (KiB): 506948
Max. memory (cumulated for all children) (KiB): 472028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.75
system time used= 0.196442
maximum resident set size= 472028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102936
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= 24
involuntary context switches= 1049


# summary of solver processes directly reported to runsolver:
#   pid: 915294
#   total CPU time (s): 1797.95
#   total CPU user time (s): 1797.75
#   total CPU system time (s): 0.196442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70179 second user time and 8.39118 second system time

The end