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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457965-1721877863/watcher-4457965-1721877863 -o /tmp/evaluation-result-4457965-1721877863/solver-4457965-1721877863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721877863-276062 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4457965-1721877863.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=276114, runsolver pid=276106

[startup+0.100474 s]*
/proc/loadavg: 1.07 1.08 1.45 6/258 276124
/proc/meminfo: memFree=109838588/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=48940 memory=38936 CPUtime=0.09 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 8734 0 0 0 8 1 0 0 20 0 1 0 24315779 50114560 9734 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 12235 9734 2282 2550 0 9190 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48940 KiB
Current children cumulated memory: 38936 KiB

[startup+0.205825 s]*
/proc/loadavg: 1.07 1.08 1.45 5/258 276124
/proc/meminfo: memFree=109711828/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=96684 memory=85388 CPUtime=0.19 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 20148 0 0 0 17 2 0 0 20 0 1 0 24315779 99004416 21347 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 24171 21347 2490 2550 0 21126 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96684 KiB
Current children cumulated memory: 85388 KiB

[startup+0.306269 s]*
/proc/loadavg: 1.07 1.08 1.45 7/258 276124
/proc/meminfo: memFree=109625100/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=118168 memory=107036 CPUtime=0.3 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 25575 0 0 0 27 3 0 0 20 0 1 0 24315779 121004032 26759 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 29542 26759 2490 2550 0 26497 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118168 KiB
Current children cumulated memory: 107036 KiB

[startup+0.700226 s]
/proc/loadavg: 1.07 1.08 1.45 7/258 276124
/proc/meminfo: memFree=109483076/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=223528 memory=201124 CPUtime=0.69 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 33233 0 0 0 64 5 0 0 20 0 1 0 24315779 228892672 50281 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 55882 50281 2554 2550 0 52837 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 223528 KiB
Current children cumulated memory: 201124 KiB

[startup+1.50018 s]
/proc/loadavg: 1.30 1.13 1.47 6/258 276124
/proc/meminfo: memFree=109245828/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=332644 memory=307404 CPUtime=1.49 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 59202 0 0 0 141 8 0 0 20 0 1 0 24315779 340627456 76851 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 83161 76851 2650 2550 0 80116 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 332644 KiB
Current children cumulated memory: 307404 KiB

[startup+3.10624 s]
/proc/loadavg: 1.30 1.13 1.47 6/258 276124
/proc/meminfo: memFree=109090448/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=335992 memory=309516 CPUtime=3.09 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 59751 0 0 0 301 8 0 0 20 0 1 0 24315779 344055808 77379 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 83998 77379 2650 2550 0 80953 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 335992 KiB
Current children cumulated memory: 309516 KiB

[startup+6.30017 s]
/proc/loadavg: 1.52 1.18 1.48 6/258 276124
/proc/meminfo: memFree=109068696/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=336284 memory=311152 CPUtime=6.27 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 60168 0 0 0 619 8 0 0 20 0 1 0 24315779 344354816 77788 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 84071 77788 2650 2550 0 81026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 336284 KiB
Current children cumulated memory: 311152 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.23 1.50 6/258 276126
/proc/meminfo: memFree=109059140/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=339588 memory=311152 CPUtime=12.65 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 60194 0 0 0 1257 8 0 0 20 0 1 0 24315779 347738112 77788 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 84897 77788 2650 2550 0 81852 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 339588 KiB
Current children cumulated memory: 311152 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.32 1.52 6/258 276127
/proc/meminfo: memFree=108821144/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=443464 memory=405008 CPUtime=25.43 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 86751 0 0 0 2531 12 0 0 20 0 1 0 24315779 454107136 101252 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 110866 101252 2666 2550 0 107821 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 443464 KiB
Current children cumulated memory: 405008 KiB

[startup+51.1312 s]
/proc/loadavg: 2.89 1.59 1.61 6/258 276132
/proc/meminfo: memFree=108699736/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=437608 memory=409352 CPUtime=50.99 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 90117 0 0 0 5087 12 0 0 20 0 1 0 24315779 448110592 102338 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 109402 102338 2666 2550 0 106357 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 437608 KiB
Current children cumulated memory: 409352 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 1.98 1.74 6/258 276528
/proc/meminfo: memFree=108773828/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=437608 memory=409612 CPUtime=102.02 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 90169 0 0 0 10189 13 0 0 20 0 1 0 24315779 448110592 102403 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 109402 102403 2666 2550 0 106357 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 437608 KiB
Current children cumulated memory: 409612 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.38 1.90 6/258 276540
/proc/meminfo: memFree=108754060/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=437608 memory=409612 CPUtime=161.85 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 90170 0 0 0 16172 13 0 0 20 0 1 0 24315779 448110592 102403 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 109402 102403 2666 2550 0 106357 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 437608 KiB
Current children cumulated memory: 409612 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.04 6/258 276552
/proc/meminfo: memFree=108555932/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=575656 memory=538260 CPUtime=221.67 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 126710 0 0 0 22148 19 0 0 20 0 1 0 24315779 589471744 134565 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 143914 134565 2666 2550 0 140869 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 575656 KiB
Current children cumulated memory: 538260 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.17 6/260 276733
/proc/meminfo: memFree=108418880/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=585212 memory=560076 CPUtime=281.48 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 144403 0 0 0 28126 22 0 0 20 0 1 0 24315779 599257088 140019 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 146303 140019 2666 2550 0 143258 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 585212 KiB
Current children cumulated memory: 560076 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.17 2.29 6/258 276743
/proc/meminfo: memFree=108283296/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=627272 memory=601152 CPUtime=341.3 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 160023 0 0 0 34106 24 0 0 20 0 1 0 24315779 642326528 150288 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 156818 150288 2666 2550 0 153773 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 627272 KiB
Current children cumulated memory: 601152 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.34 2.41 6/258 276810
/proc/meminfo: memFree=108217700/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=656920 memory=628156 CPUtime=401.15 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 172741 0 0 0 40088 27 0 0 20 0 1 0 24315779 672686080 157039 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 164230 157039 2666 2550 0 161185 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 656920 KiB
Current children cumulated memory: 628156 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.48 2.52 6/258 276823
/proc/meminfo: memFree=108188748/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=642728 memory=619792 CPUtime=460.98 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 172986 0 0 0 46071 27 0 0 20 0 1 0 24315779 658153472 154948 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 160682 154948 2666 2550 0 157637 0

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

Current children cumulated memory: 759580 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.02 6/258 277848
/proc/meminfo: memFree=107576732/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=2913.85 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 624079 0 0 0 290757 628 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/258 277860
/proc/meminfo: memFree=107576088/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=2973.71 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 632832 0 0 0 296728 643 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/258 277871
/proc/meminfo: memFree=107522024/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=791880 CPUtime=3033.58 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 676069 0 0 0 302658 700 0 0 20 0 1 0 24315779 838373376 197970 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 197970 2666 2550 0 201636 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 791880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/255 277881
/proc/meminfo: memFree=107525240/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3093.44 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 694939 0 0 0 308622 722 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.02 6/255 277891
/proc/meminfo: memFree=107530744/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=806216 CPUtime=3153.3 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 723427 0 0 0 314569 761 0 0 20 0 1 0 24315779 838373376 201554 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 201554 2666 2550 0 201636 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 806216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/255 277901
/proc/meminfo: memFree=107527792/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3213.17 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 755723 0 0 0 320516 801 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/254 277912
/proc/meminfo: memFree=107463572/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3273.03 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 764154 0 0 0 326485 818 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.03 6/255 277923
/proc/meminfo: memFree=107536764/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=800072 CPUtime=3332.89 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 789783 0 0 0 332420 869 0 0 20 0 1 0 24315779 838373376 200018 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 200018 2666 2550 0 201636 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 800072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/257 277937
/proc/meminfo: memFree=107570528/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3392.75 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 791485 0 0 0 338403 872 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/257 277949
/proc/meminfo: memFree=107531136/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3452.62 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 817872 0 0 0 344343 919 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/257 277959
/proc/meminfo: memFree=107534356/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=769404 memory=759580 CPUtime=3512.48 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 828459 0 0 0 350311 937 0 0 20 0 1 0 24315779 787869696 189895 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 192351 189895 2666 2550 0 189306 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 769404 KiB
Current children cumulated memory: 759580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/257 277970
/proc/meminfo: memFree=107529700/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=806216 CPUtime=3572.34 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 849468 0 0 0 356266 968 0 0 20 0 1 0 24315779 838373376 201554 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 201554 2666 2550 0 201636 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 806216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.04 5/257 278067
/proc/meminfo: memFree=108878584/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=802120 CPUtime=3600.09 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 867502 0 0 0 359016 993 0 0 20 0 1 0 24315779 838373376 200530 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 200530 2666 2550 0 201636 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 802120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.16 s, system=9.93742 s

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

[startup+3610.11 s]
/proc/loadavg: 4.14 4.10 4.04 5/257 278067
/proc/meminfo: memFree=108878584/131524600 swapFree=131071728/131071996
[pid=276114] ppid=276106 vsize=818724 memory=802120 CPUtime=3600.09 cores=1,3
/proc/276114/stat : 276114 (CASHWMaxSAT-Dis) R 276106 276114 276050 0 -1 4194304 867502 0 0 0 359016 993 0 0 20 0 1 0 24315779 838373376 200530 134679101440 4194304 14636349 140735035579568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 26095616 140735035581411 140735035581527 140735035581527 140735035588542 0
/proc/276114/statm: 204681 200530 2666 2550 0 201636 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 818724 KiB
Current children cumulated memory: 802120 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3590.16
CPU system time (s): 9.93742
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 899632
Max. memory (cumulated for all children) (KiB): 842504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.16
system time used= 9.93742
maximum resident set size= 873912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 867506
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= 95
involuntary context switches= 2454


# summary of solver processes directly reported to runsolver:
#   pid: 276114
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3590.16
#   total CPU system time (s): 9.93742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12632 second user time and 19.7362 second system time

The end