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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=891014, runsolver pid=891011
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.10 4.11 4.03 5/255 891015
/proc/meminfo: memFree=123536132/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=56248 memory=37468 CPUtime=0.1 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 8040 0 0 0 9 1 0 0 20 0 1 0 171989132 57597952 9301 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 14062 9367 954 2726 0 10810 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56248 KiB
Current children cumulated memory: 37468 KiB

[startup+0.205611 s]*
/proc/loadavg: 4.10 4.11 4.03 5/255 891015
/proc/meminfo: memFree=123525856/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=62264 memory=45124 CPUtime=0.2 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 9972 0 0 0 19 1 0 0 20 0 1 0 171989132 63758336 11281 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 15566 11281 954 2726 0 12314 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62264 KiB
Current children cumulated memory: 45124 KiB

[startup+0.305538 s]*
/proc/loadavg: 4.10 4.11 4.03 5/255 891015
/proc/meminfo: memFree=123529968/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=57196 memory=40296 CPUtime=0.3 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 9993 0 0 0 29 1 0 0 20 0 1 0 171989132 58568704 10074 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 14299 10074 1002 2726 0 11047 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57196 KiB
Current children cumulated memory: 40296 KiB

[startup+0.700189 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 891015
/proc/meminfo: memFree=123494616/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=189152 memory=176672 CPUtime=0.68 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 44683 0 0 0 63 5 0 0 20 0 1 0 171989132 193691648 44168 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 47288 44168 2538 2726 0 44036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189152 KiB
Current children cumulated memory: 176672 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 891015
/proc/meminfo: memFree=123331824/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=257536 memory=244292 CPUtime=1.48 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 61478 0 0 0 141 7 0 0 20 0 1 0 171989132 263716864 61073 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 64384 61073 2618 2726 0 61132 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 257536 KiB
Current children cumulated memory: 244292 KiB

[startup+3.1053 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 891061
/proc/meminfo: memFree=123903568/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=526600 memory=484572 CPUtime=3.08 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 85014 0 0 0 295 13 0 0 20 0 1 0 171989132 539238400 121143 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 131650 121143 2746 2726 0 128398 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 526600 KiB
Current children cumulated memory: 484572 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.11 4.03 5/255 891061
/proc/meminfo: memFree=123620236/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=561368 memory=508520 CPUtime=6.27 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 89995 0 0 0 613 14 0 0 20 0 1 0 171989132 574840832 127130 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 140342 127130 2762 2726 0 137090 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 561368 KiB
Current children cumulated memory: 508520 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.03 5/255 891062
/proc/meminfo: memFree=123562188/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=578356 memory=510324 CPUtime=12.65 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 90456 0 0 0 1250 15 0 0 20 0 1 0 171989132 592236544 127581 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 144589 127581 2762 2726 0 141337 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 578356 KiB
Current children cumulated memory: 510324 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.04 5/255 891064
/proc/meminfo: memFree=123535268/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=606888 memory=517612 CPUtime=25.41 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 91748 0 0 0 2526 15 0 0 20 0 1 0 171989132 621453312 129403 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 151722 129403 2762 2726 0 148470 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 606888 KiB
Current children cumulated memory: 517612 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.11 4.03 5/255 891068
/proc/meminfo: memFree=123369152/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=785336 memory=598208 CPUtime=50.92 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 116116 0 0 0 5073 19 0 0 20 0 1 0 171989132 804184064 149552 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 196334 149552 2762 2726 0 193082 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 785336 KiB
Current children cumulated memory: 598208 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/255 891077
/proc/meminfo: memFree=123185712/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=839480 memory=652336 CPUtime=101.92 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 129699 0 0 0 10171 21 0 0 20 0 1 0 171989132 859627520 163084 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 209870 163084 2778 2726 0 206618 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 839480 KiB
Current children cumulated memory: 652336 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/257 891136
/proc/meminfo: memFree=123220868/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=934300 memory=681560 CPUtime=161.7 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 142473 0 0 0 16146 24 0 0 20 0 1 0 171989132 956723200 170390 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 233575 170390 2778 2726 0 230323 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 934300 KiB
Current children cumulated memory: 681560 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/257 891147
/proc/meminfo: memFree=123094192/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1002772 memory=722820 CPUtime=221.48 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 157008 0 0 0 22122 26 0 0 20 0 1 0 171989132 1026838528 180705 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 250693 180705 2778 2726 0 247441 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1002772 KiB
Current children cumulated memory: 722820 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/257 891157
/proc/meminfo: memFree=123094848/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1071352 memory=790372 CPUtime=281.27 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 173937 0 0 0 28098 29 0 0 20 0 1 0 171989132 1097064448 197593 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 267838 197593 2778 2726 0 264586 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 1071352 KiB
Current children cumulated memory: 790372 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.13 4.05 5/256 891168
/proc/meminfo: memFree=123003040/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1138892 memory=848984 CPUtime=341.04 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 181467 0 0 0 34074 30 0 0 20 0 1 0 171989132 1166225408 212246 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 284723 212246 2778 2726 0 281471 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1138892 KiB
Current children cumulated memory: 848984 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/256 891179
/proc/meminfo: memFree=122959616/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1148792 memory=861304 CPUtime=400.83 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 188261 0 0 0 40052 31 0 0 20 0 1 0 171989132 1176363008 215326 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 287198 215326 3063 2726 0 283946 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1148792 KiB
Current children cumulated memory: 861304 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 891189
/proc/meminfo: memFree=122856604/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1241684 memory=950992 CPUtime=460.62 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 211164 0 0 0 46027 35 0 0 20 0 1 0 171989132 1271484416 237748 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 310421 237748 3063 2726 0 307169 0

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

Current children cumulated memory: 1049256 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/255 892679
/proc/meminfo: memFree=121411556/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=2912.29 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 356853 0 0 0 291163 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 2912.29 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 892689
/proc/meminfo: memFree=121406772/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=2972.09 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 356964 0 0 0 297143 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 2972.09 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/257 892870
/proc/meminfo: memFree=121406888/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3031.89 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357070 0 0 0 303123 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3031.89 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3102.3 s]
/proc/loadavg: 4.44 4.21 4.17 5/257 892880
/proc/meminfo: memFree=121437972/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3091.7 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357172 0 0 0 309104 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3091.7 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3162.3 s]
/proc/loadavg: 4.30 4.21 4.17 5/259 892949
/proc/meminfo: memFree=121412604/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3151.5 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357277 0 0 0 315084 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3151.5 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/259 892961
/proc/meminfo: memFree=121467856/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3211.3 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357396 0 0 0 321064 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3211.3 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/259 892971
/proc/meminfo: memFree=121390572/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3271.1 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357501 0 0 0 327044 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3271.1 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/259 892982
/proc/meminfo: memFree=121411096/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3330.9 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357611 0 0 0 333024 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3330.9 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/257 892993
/proc/meminfo: memFree=121384412/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3390.7 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357724 0 0 0 339004 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.17 4.16 5/254 893003
/proc/meminfo: memFree=121403300/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3450.5 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357826 0 0 0 344984 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/254 893013
/proc/meminfo: memFree=121377444/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3510.3 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 357944 0 0 0 350964 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3510.3 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/254 893023
/proc/meminfo: memFree=121381196/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3570.1 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 358043 0 0 0 356944 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/254 893075
/proc/meminfo: memFree=121997932/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3600 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 358107 0 0 0 359934 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.34 s, system=0.672533 s

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

[startup+3612.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/254 893075
/proc/meminfo: memFree=121997932/131524600 swapFree=131071996/131071996
[pid=891014] ppid=891011 vsize=1215196 memory=1049256 CPUtime=3600 cores=0,2
/proc/891014/stat : 891014 (CASHWMaxSAT-Dis) R 891011 891014 888921 0 -1 4194304 358107 0 0 0 359934 66 0 0 20 0 1 0 171989132 1244360704 262314 134679101440 4194304 15356333 140733046399328 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 35106816 140733046408162 140733046408278 140733046408278 140733046415294 0
/proc/891014/statm: 303799 262314 3111 2726 0 300547 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1215196 KiB
Current children cumulated memory: 1049256 KiB

Child status: 10

Real time (s): 3612.3
CPU time (s): 3600.02
CPU user time (s): 3599.34
CPU system time (s): 0.672533
CPU usage (%): 99.6598
Max. virtual memory (cumulated for all children) (KiB): 1781868
Max. memory (cumulated for all children) (KiB): 1519244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 0.672533
maximum resident set size= 1519244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358108
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= 105
involuntary context switches= 24666


# summary of solver processes directly reported to runsolver:
#   pid: 891014
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.34
#   total CPU system time (s): 0.672533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38636 second user time and 15.6568 second system time

The end