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-4457926-1721877863/watcher-4457926-1721877863 -o /tmp/evaluation-result-4457926-1721877863/solver-4457926-1721877863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721877863-276061 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4457926-1721877863.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=276122, runsolver pid=276108

[startup+0.100983 s]*
/proc/loadavg: 1.07 1.08 1.45 8/258 276124
/proc/meminfo: memFree=109837580/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=60928 memory=50892 CPUtime=0.09 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 10764 0 0 0 8 1 0 0 20 0 1 0 24315779 62390272 12723 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 15232 12723 2490 2550 0 12187 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60928 KiB
Current children cumulated memory: 50892 KiB

[startup+0.206981 s]*
/proc/loadavg: 1.07 1.08 1.45 8/258 276124
/proc/meminfo: memFree=109711492/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=74888 memory=64740 CPUtime=0.19 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 14159 0 0 0 18 1 0 0 20 0 1 0 24315779 76685312 16185 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 18722 16185 2522 2550 0 15677 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74888 KiB
Current children cumulated memory: 64740 KiB

[startup+0.305079 s]*
/proc/loadavg: 1.07 1.08 1.45 5/258 276124
/proc/meminfo: memFree=109625100/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=118884 memory=100792 CPUtime=0.29 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 17526 0 0 0 27 2 0 0 20 0 1 0 24315779 121737216 25198 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 29721 25198 2554 2550 0 26676 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118884 KiB
Current children cumulated memory: 100792 KiB

[startup+0.700177 s]
/proc/loadavg: 1.07 1.08 1.45 5/258 276124
/proc/meminfo: memFree=109483076/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=193756 memory=173776 CPUtime=0.68 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 33190 0 0 0 63 5 0 0 20 0 1 0 24315779 198406144 43444 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 48439 43444 2634 2550 0 45394 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193756 KiB
Current children cumulated memory: 173776 KiB

[startup+1.50022 s]
/proc/loadavg: 1.30 1.13 1.47 10/258 276124
/proc/meminfo: memFree=109245828/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=194176 memory=175932 CPUtime=1.47 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 33697 0 0 0 142 5 0 0 20 0 1 0 24315779 198836224 43983 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 48544 43983 2650 2550 0 45499 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 194176 KiB
Current children cumulated memory: 175932 KiB

[startup+3.10619 s]
/proc/loadavg: 1.30 1.13 1.47 9/258 276124
/proc/meminfo: memFree=109090448/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=201416 memory=178304 CPUtime=3.07 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 34305 0 0 0 302 5 0 0 20 0 1 0 24315779 206249984 44576 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 50354 44576 2650 2550 0 47309 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 201416 KiB
Current children cumulated memory: 178304 KiB

[startup+6.30019 s]
/proc/loadavg: 1.52 1.18 1.48 10/258 276124
/proc/meminfo: memFree=109068696/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=213148 memory=182792 CPUtime=6.27 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 35426 0 0 0 621 6 0 0 20 0 1 0 24315779 218263552 45698 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 53287 45698 2650 2550 0 50242 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 213148 KiB
Current children cumulated memory: 182792 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.23 1.50 8/258 276126
/proc/meminfo: memFree=109059140/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=213440 memory=183056 CPUtime=12.65 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 35502 0 0 0 1259 6 0 0 20 0 1 0 24315779 218562560 45764 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 53360 45764 2650 2550 0 50315 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 213440 KiB
Current children cumulated memory: 183056 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 1.32 1.52 9/258 276127
/proc/meminfo: memFree=108821144/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=274236 memory=242608 CPUtime=25.42 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 50352 0 0 0 2534 8 0 0 20 0 1 0 24315779 280817664 60652 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 68559 60652 2650 2550 0 65514 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 274236 KiB
Current children cumulated memory: 242608 KiB

[startup+51.1307 s]
/proc/loadavg: 2.89 1.59 1.61 8/258 276132
/proc/meminfo: memFree=108699736/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=350324 memory=320096 CPUtime=50.99 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 69311 0 0 0 5087 12 0 0 20 0 1 0 24315779 358731776 80024 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 87581 80024 2650 2550 0 84536 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 350324 KiB
Current children cumulated memory: 320096 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 1.98 1.74 9/258 276528
/proc/meminfo: memFree=108773828/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=350324 memory=324900 CPUtime=102.02 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 69705 0 0 0 10190 12 0 0 20 0 1 0 24315779 358731776 81225 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 87581 81225 2650 2550 0 84536 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 350324 KiB
Current children cumulated memory: 324900 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.38 1.90 9/258 276540
/proc/meminfo: memFree=108754060/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=346612 memory=331292 CPUtime=161.87 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 78178 0 0 0 16173 14 0 0 20 0 1 0 24315779 354930688 82823 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 86653 82823 2650 2550 0 83608 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 346612 KiB
Current children cumulated memory: 331292 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.04 9/258 276552
/proc/meminfo: memFree=108555932/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=403392 memory=382852 CPUtime=221.71 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 109345 0 0 0 22152 19 0 0 20 0 1 0 24315779 413073408 95713 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 100848 95713 2650 2550 0 97803 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 403392 KiB
Current children cumulated memory: 382852 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.17 8/260 276733
/proc/meminfo: memFree=108418880/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=426624 memory=406068 CPUtime=281.55 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 124385 0 0 0 28134 21 0 0 20 0 1 0 24315779 436862976 101517 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 106656 101517 2650 2550 0 103611 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 426624 KiB
Current children cumulated memory: 406068 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.17 2.29 9/258 276743
/proc/meminfo: memFree=108283296/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=426624 memory=406624 CPUtime=341.39 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 124623 0 0 0 34118 21 0 0 20 0 1 0 24315779 436862976 101656 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 106656 101656 2650 2550 0 103611 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 426624 KiB
Current children cumulated memory: 406624 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.34 2.41 9/258 276810
/proc/meminfo: memFree=108217700/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=456676 memory=440824 CPUtime=401.22 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 133407 0 0 0 40099 23 0 0 20 0 1 0 24315779 467636224 110206 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 114169 110206 2650 2550 0 111124 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 456676 KiB
Current children cumulated memory: 440824 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.48 2.52 10/258 276823
/proc/meminfo: memFree=108188748/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=456676 memory=441008 CPUtime=461.06 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 133543 0 0 0 46083 23 0 0 20 0 1 0 24315779 467636224 110252 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 114169 110252 2650 2550 0 111124 0

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

Current children cumulated memory: 664480 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.09 4.02 8/258 277838
/proc/meminfo: memFree=107532904/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=2854.83 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 230120 0 0 0 285398 85 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 2854.83 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.02 9/258 277848
/proc/meminfo: memFree=107576732/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=2914.68 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 230281 0 0 0 291383 85 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.02 11/258 277860
/proc/meminfo: memFree=107576088/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=2974.53 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 230433 0 0 0 297368 85 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.02 9/258 277871
/proc/meminfo: memFree=107522024/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3034.38 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 230611 0 0 0 303353 85 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 9/255 277881
/proc/meminfo: memFree=107525240/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3094.22 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 231027 0 0 0 309337 85 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.02 10/255 277891
/proc/meminfo: memFree=107530744/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3154.07 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 231478 0 0 0 315321 86 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.03 10/255 277901
/proc/meminfo: memFree=107527792/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3213.92 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 231624 0 0 0 321306 86 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 10/254 277912
/proc/meminfo: memFree=107463572/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3273.78 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 232348 0 0 0 327290 88 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.03 10/255 277923
/proc/meminfo: memFree=107536764/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3333.63 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 237953 0 0 0 333262 101 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 9/257 277937
/proc/meminfo: memFree=107570528/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3393.47 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 238407 0 0 0 339246 101 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.03 9/257 277949
/proc/meminfo: memFree=107531136/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3453.32 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 238562 0 0 0 345231 101 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3453.32 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 8/257 277959
/proc/meminfo: memFree=107534356/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3513.17 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 238709 0 0 0 351216 101 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 10/257 277970
/proc/meminfo: memFree=107529700/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3573.02 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 238888 0 0 0 357201 101 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.14 4.10 4.04 9/257 277975
/proc/meminfo: memFree=107524984/131524600 swapFree=131071728/131071996
[pid=276122] ppid=276108 vsize=671672 memory=664480 CPUtime=3600.06 cores=4,6
/proc/276122/stat : 276122 (CASHWMaxSAT-Dis) R 276108 276122 276050 0 -1 4194304 239494 0 0 0 359903 103 0 0 20 0 1 0 24315779 687792128 166120 134679101440 4194304 14636349 140731619402240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 47673344 140731619410915 140731619411031 140731619411031 140731619418046 0
/proc/276122/statm: 167918 166120 2650 2550 0 164873 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 671672 KiB
Current children cumulated memory: 664480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.0338 s

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

Child status: 10

Real time (s): 3609.4
CPU time (s): 3600.06
CPU user time (s): 3599.03
CPU system time (s): 1.0338
CPU usage (%): 99.7413
Max. virtual memory (cumulated for all children) (KiB): 720992
Max. memory (cumulated for all children) (KiB): 698280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.0338
maximum resident set size= 700328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239496
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= 70
involuntary context switches= 3264


# summary of solver processes directly reported to runsolver:
#   pid: 276122
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.0338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74707 second user time and 18.7016 second system time

The end