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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=923774, runsolver pid=923771

[startup+0.10029 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123826244/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=29776 memory=13824 CPUtime=0.09 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 2619 0 0 0 9 0 0 0 20 0 1 0 172896617 30490624 3456 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 7444 3456 922 2726 0 4192 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29776 KiB
Current children cumulated memory: 13824 KiB

[startup+0.204695 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123754924/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=77084 memory=56888 CPUtime=0.2 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 8482 0 0 0 18 2 0 0 20 0 1 0 172896617 78934016 14222 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 19271 14222 954 2726 0 16019 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 56888 KiB

[startup+0.305656 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123714804/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=77084 memory=57392 CPUtime=0.3 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 8504 0 0 0 28 2 0 0 20 0 1 0 172896617 78934016 14348 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 19271 14348 1018 2726 0 16019 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 57392 KiB

[startup+0.700209 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123564352/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=119540 memory=99692 CPUtime=0.68 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 19099 0 0 0 65 3 0 0 20 0 1 0 172896617 122408960 24923 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 29885 24923 1034 2726 0 26633 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119540 KiB
Current children cumulated memory: 99692 KiB

[startup+1.50023 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923775
/proc/meminfo: memFree=123289696/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=251772 memory=231784 CPUtime=1.48 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 28648 0 0 0 141 7 0 0 20 0 1 0 172896617 257814528 57946 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 62943 57946 1066 2726 0 59691 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 251772 KiB
Current children cumulated memory: 231784 KiB

[startup+3.1054 s]
/proc/loadavg: 1.11 1.10 1.42 4/252 923791
/proc/meminfo: memFree=122392352/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=757944 memory=718560 CPUtime=3.08 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 147352 0 0 0 282 26 0 0 20 0 1 0 172896617 776134656 179640 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 189486 179640 2618 2726 0 186234 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 757944 KiB
Current children cumulated memory: 718560 KiB

[startup+6.30022 s]
/proc/loadavg: 1.43 1.16 1.44 5/255 923823
/proc/meminfo: memFree=122161288/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=946212 memory=891100 CPUtime=6.27 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 179786 0 0 0 596 31 0 0 20 0 1 0 172896617 968921088 222775 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 236553 222775 2650 2726 0 233301 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 946212 KiB
Current children cumulated memory: 891100 KiB

[startup+12.7002 s]
/proc/loadavg: 1.63 1.21 1.45 5/255 923824
/proc/meminfo: memFree=121597264/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1509400 memory=1389820 CPUtime=12.65 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 241604 0 0 0 1221 44 0 0 20 0 1 0 172896617 1545625600 347455 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 377350 347455 2746 2726 0 374098 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1509400 KiB
Current children cumulated memory: 1389820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.16 1.35 1.49 5/255 923826
/proc/meminfo: memFree=121461248/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1511652 memory=1392784 CPUtime=25.41 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 242379 0 0 0 2496 45 0 0 20 0 1 0 172896617 1547931648 348196 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 377913 348196 2746 2726 0 374661 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1511652 KiB
Current children cumulated memory: 1392784 KiB

[startup+51.1056 s]
/proc/loadavg: 2.84 1.58 1.57 5/255 923829
/proc/meminfo: memFree=121290336/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1526240 memory=1406724 CPUtime=50.9 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 245415 0 0 0 5045 45 0 0 20 0 1 0 172896617 1562869760 351681 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 381560 351681 2746 2726 0 378308 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1526240 KiB
Current children cumulated memory: 1406724 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.99 1.71 5/258 923846
/proc/meminfo: memFree=121249328/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1527064 memory=1408544 CPUtime=101.92 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 245999 0 0 0 10145 47 0 0 20 0 1 0 172896617 1563713536 352136 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 381766 352136 2746 2726 0 378514 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1527064 KiB
Current children cumulated memory: 1408544 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 2.43 1.88 5/259 923861
/proc/meminfo: memFree=121100996/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1531996 memory=1413812 CPUtime=161.71 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 246825 0 0 0 16123 48 0 0 20 0 1 0 172896617 1568763904 353453 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 382999 353453 2746 2726 0 379747 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1531996 KiB
Current children cumulated memory: 1413812 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.75 2.03 5/259 923871
/proc/meminfo: memFree=120974172/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1534228 memory=1415576 CPUtime=221.48 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 247376 0 0 0 22099 49 0 0 20 0 1 0 172896617 1571049472 353894 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 383557 353894 2746 2726 0 380305 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1534228 KiB
Current children cumulated memory: 1415576 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.01 2.16 5/259 923882
/proc/meminfo: memFree=120812092/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1534228 memory=1415728 CPUtime=281.25 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 247409 0 0 0 28076 49 0 0 20 0 1 0 172896617 1571049472 353932 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 383557 353932 2746 2726 0 380305 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 1534228 KiB
Current children cumulated memory: 1415728 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.22 2.29 5/259 923893
/proc/meminfo: memFree=120731604/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1657444 memory=1480168 CPUtime=341.03 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 254168 0 0 0 34051 52 0 0 20 0 1 0 172896617 1697222656 370042 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 414361 370042 2762 2726 0 411109 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1657444 KiB
Current children cumulated memory: 1480168 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.38 2.41 5/259 923903
/proc/meminfo: memFree=120708288/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1753556 memory=1496724 CPUtime=400.8 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 258113 0 0 0 40027 53 0 0 20 0 1 0 172896617 1795641344 374181 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 438389 374181 2762 2726 0 435137 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 1753556 KiB
Current children cumulated memory: 1496724 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.53 2.52 5/255 923915
/proc/meminfo: memFree=120615376/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1938744 memory=1574660 CPUtime=460.55 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 276635 0 0 0 45999 56 0 0 20 0 1 0 172896617 1985273856 393665 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 484686 393665 2762 2726 0 481434 0

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

Current children cumulated memory: 1132340 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/258 925369
/proc/meminfo: memFree=120639712/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=2852.86 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 284848 0 0 0 285218 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 2852.86 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.03 5/258 925380
/proc/meminfo: memFree=120639048/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=2912.7 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 284975 0 0 0 291202 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 2912.7 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/260 925561
/proc/meminfo: memFree=120635768/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=2972.55 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285189 0 0 0 297187 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/260 925571
/proc/meminfo: memFree=120635640/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3032.39 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285321 0 0 0 303171 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3032.39 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/261 925586
/proc/meminfo: memFree=120634640/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3092.24 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285475 0 0 0 309156 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3092.24 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.04 5/258 925608
/proc/meminfo: memFree=120629440/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3152.08 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285609 0 0 0 315140 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/258 925618
/proc/meminfo: memFree=120628712/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3211.93 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285821 0 0 0 321125 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3211.93 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.18 4.07 5/258 925630
/proc/meminfo: memFree=120627728/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3271.77 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 285940 0 0 0 327109 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3271.77 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.20 4.09 5/256 925641
/proc/meminfo: memFree=120626876/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3331.61 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286058 0 0 0 333093 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/256 925652
/proc/meminfo: memFree=120626064/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3391.45 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286174 0 0 0 339077 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3391.45 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/255 925663
/proc/meminfo: memFree=120625520/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3451.3 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286339 0 0 0 345062 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/256 925674
/proc/meminfo: memFree=120618436/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3511.14 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286454 0 0 0 351046 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/256 925685
/proc/meminfo: memFree=120617948/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3570.98 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286566 0 0 0 357030 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925781
/proc/meminfo: memFree=122299952/131524600 swapFree=131071996/131071996
[pid=923774] ppid=923771 vsize=1161760 memory=1132340 CPUtime=3600 cores=5,7
/proc/923774/stat : 923774 (CASHWMaxSAT-Dis) R 923771 923774 923702 0 -1 4194304 286649 0 0 0 359932 68 0 0 20 0 1 0 172896617 1189642240 283085 134679101440 4194304 15356333 140732844021280 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50118656 140732844028898 140732844029014 140732844029014 140732844036030 0
/proc/923774/statm: 290440 283085 2826 2726 0 287188 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1161760 KiB
Current children cumulated memory: 1132340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.33 s, system=0.689868 s

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

Child status: 10

Real time (s): 3611.4
CPU time (s): 3600.02
CPU user time (s): 3599.33
CPU system time (s): 0.689868
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 2024072
Max. memory (cumulated for all children) (KiB): 1616696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.689868
maximum resident set size= 1616696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286653
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= 20
involuntary context switches= 2907


# summary of solver processes directly reported to runsolver:
#   pid: 923774
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.33
#   total CPU system time (s): 0.689868

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.24142 second user time and 14.6516 second system time

The end