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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439898-1721210124/watcher-4439898-1721210124 -o /tmp/evaluation-result-4439898-1721210124/solver-4439898-1721210124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721206118-898711 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439898-1721210124.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
solver pid=901374, runsolver pid=901371
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125151468/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=43044 memory=34164 CPUtime=0.09 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 6320 0 0 0 9 0 0 0 20 0 1 0 173181302 44077056 8541 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 10761 8541 2494 2417 0 7863 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43044 KiB
Current children cumulated memory: 34164 KiB

[startup+0.205772 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125148628/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=45216 memory=36312 CPUtime=0.2 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 6862 0 0 0 20 0 0 0 20 0 1 0 173181302 46301184 9078 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 11304 9078 2510 2417 0 8406 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45216 KiB
Current children cumulated memory: 36312 KiB

[startup+0.305692 s]*
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125148488/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=45216 memory=36312 CPUtime=0.3 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 6863 0 0 0 30 0 0 0 20 0 1 0 173181302 46301184 9078 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 11304 9078 2510 2417 0 8406 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45216 KiB
Current children cumulated memory: 36312 KiB

[startup+0.70023 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125144652/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=50308 memory=41088 CPUtime=0.69 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 8013 0 0 0 68 1 0 0 20 0 1 0 173181302 51515392 10272 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 12577 10272 2526 2417 0 9679 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 41088 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125143432/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=53008 memory=43200 CPUtime=1.49 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 8541 0 0 0 148 1 0 0 20 0 1 0 173181302 54280192 10800 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 13252 10800 2526 2417 0 10354 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53008 KiB
Current children cumulated memory: 43200 KiB

[startup+3.1056 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 901375
/proc/meminfo: memFree=125137904/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=66356 memory=55080 CPUtime=3.08 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 11546 0 0 0 307 1 0 0 20 0 1 0 173181302 67948544 13770 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 16589 13770 2526 2417 0 13691 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66356 KiB
Current children cumulated memory: 55080 KiB

[startup+6.30016 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 901378
/proc/meminfo: memFree=125085640/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=119296 memory=107088 CPUtime=6.27 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 24535 0 0 0 625 2 0 0 20 0 1 0 173181302 122159104 26772 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 29824 26772 2526 2417 0 26926 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119296 KiB
Current children cumulated memory: 107088 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126395444/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=138652 memory=123456 CPUtime=12.65 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 28642 0 0 0 1262 3 0 0 20 0 1 0 173181302 141979648 30864 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 34663 30864 2526 2417 0 31765 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 138652 KiB
Current children cumulated memory: 123456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 901811
/proc/meminfo: memFree=126353124/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=150204 memory=136128 CPUtime=25.42 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 31781 0 0 0 2538 4 0 0 20 0 1 0 173181302 153808896 34032 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 37551 34032 2526 2417 0 34653 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 150204 KiB
Current children cumulated memory: 136128 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 901814
/proc/meminfo: memFree=126236148/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=221512 memory=201568 CPUtime=50.94 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 48126 0 0 0 5086 8 0 0 20 0 1 0 173181302 226828288 50392 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 55378 50392 2526 2417 0 52480 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 221512 KiB
Current children cumulated memory: 201568 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 901823
/proc/meminfo: memFree=126110852/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=261476 memory=235620 CPUtime=101.97 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 56679 0 0 0 10183 14 0 0 20 0 1 0 173181302 267751424 58905 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 65369 58905 2526 2417 0 62471 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 261476 KiB
Current children cumulated memory: 235620 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 901834
/proc/meminfo: memFree=126054316/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=272172 memory=246708 CPUtime=161.78 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 59413 0 0 0 16158 20 0 0 20 0 1 0 173181302 278704128 61677 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 68043 61677 2526 2417 0 65145 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 272172 KiB
Current children cumulated memory: 246708 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 902014
/proc/meminfo: memFree=126007872/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=304536 memory=271476 CPUtime=221.6 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 66181 0 0 0 22137 23 0 0 20 0 1 0 173181302 311844864 67869 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 76134 67869 2526 2417 0 73236 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 304536 KiB
Current children cumulated memory: 271476 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 902024
/proc/meminfo: memFree=125977044/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=304536 memory=273032 CPUtime=281.43 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 66549 0 0 0 28119 24 0 0 20 0 1 0 173181302 311844864 68258 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 76134 68258 2526 2417 0 73236 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 304536 KiB
Current children cumulated memory: 273032 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 902050
/proc/meminfo: memFree=125894980/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=307464 memory=276252 CPUtime=341.24 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 66873 0 0 0 34100 24 0 0 20 0 1 0 173181302 314843136 69063 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 76866 69063 2526 2417 0 73968 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 307464 KiB
Current children cumulated memory: 276252 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 902060
/proc/meminfo: memFree=125868828/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=307464 memory=276252 CPUtime=401.07 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 66890 0 0 0 40082 25 0 0 20 0 1 0 173181302 314843136 69063 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 76866 69063 2526 2417 0 73968 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 307464 KiB
Current children cumulated memory: 276252 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 902071
/proc/meminfo: memFree=125865524/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=310156 memory=277792 CPUtime=460.88 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 67291 0 0 0 46063 25 0 0 20 0 1 0 173181302 317599744 69448 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 77539 69448 2526 2417 0 74641 0

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

Current children cumulated memory: 459200 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/257 903123
/proc/meminfo: memFree=125177708/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=467068 memory=459200 CPUtime=2855.04 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 104146 0 0 0 285472 32 0 0 20 0 1 0 173181302 478277632 114800 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 116767 114800 2526 2417 0 113869 0
Current children cumulated CPU time: 2855.04 s
Current children cumulated vsize: 467068 KiB
Current children cumulated memory: 459200 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/257 903133
/proc/meminfo: memFree=125182992/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=467068 memory=459200 CPUtime=2914.9 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 104343 0 0 0 291458 32 0 0 20 0 1 0 173181302 478277632 114800 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 116767 114800 2526 2417 0 113869 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 467068 KiB
Current children cumulated memory: 459200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/257 903143
/proc/meminfo: memFree=125055236/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=561024 CPUtime=2974.76 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 130026 0 0 0 297439 37 0 0 20 0 1 0 173181302 588177408 140256 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140256 2526 2417 0 140700 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 561024 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/255 903154
/proc/meminfo: memFree=125044252/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=561604 CPUtime=3034.61 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 130376 0 0 0 303424 37 0 0 20 0 1 0 173181302 588177408 140401 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140401 2526 2417 0 140700 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 561604 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/255 903164
/proc/meminfo: memFree=125035304/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=561776 CPUtime=3094.43 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 130557 0 0 0 309406 37 0 0 20 0 1 0 173181302 588177408 140444 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140444 2526 2417 0 140700 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 561776 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/254 903174
/proc/meminfo: memFree=125035936/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=561836 CPUtime=3154.26 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 130775 0 0 0 315389 37 0 0 20 0 1 0 173181302 588177408 140459 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140459 2526 2417 0 140700 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 561836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/254 903231
/proc/meminfo: memFree=125761200/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=561996 CPUtime=3214.08 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 131035 0 0 0 321371 37 0 0 20 0 1 0 173181302 588177408 140499 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140499 2526 2417 0 140700 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 561996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/255 903242
/proc/meminfo: memFree=125607568/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562104 CPUtime=3273.91 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 131270 0 0 0 327354 37 0 0 20 0 1 0 173181302 588177408 140526 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140526 2526 2417 0 140700 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/257 903303
/proc/meminfo: memFree=125848164/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562164 CPUtime=3333.73 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 131497 0 0 0 333336 37 0 0 20 0 1 0 173181302 588177408 140541 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140541 2526 2417 0 140700 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/257 903313
/proc/meminfo: memFree=125836488/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562356 CPUtime=3393.55 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 131766 0 0 0 339318 37 0 0 20 0 1 0 173181302 588177408 140589 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140589 2526 2417 0 140700 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.11 5/257 903325
/proc/meminfo: memFree=125835620/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562356 CPUtime=3453.38 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 131979 0 0 0 345301 37 0 0 20 0 1 0 173181302 588177408 140589 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140589 2526 2417 0 140700 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562356 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/257 903336
/proc/meminfo: memFree=125831672/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562816 CPUtime=3513.2 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 132308 0 0 0 351283 37 0 0 20 0 1 0 173181302 588177408 140704 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140704 2526 2417 0 140700 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 903349
/proc/meminfo: memFree=125802268/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=574392 memory=562876 CPUtime=3573.03 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 132532 0 0 0 357266 37 0 0 20 0 1 0 173181302 588177408 140719 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 143598 140719 2526 2417 0 140700 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 574392 KiB
Current children cumulated memory: 562876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.15 4.11 4.10 5/257 903353
/proc/meminfo: memFree=125904764/131524600 swapFree=131071996/131071996
[pid=901374] ppid=901371 vsize=508156 memory=499972 CPUtime=3600.04 cores=5,7
/proc/901374/stat : 901374 (CASHWMaxSAT-Dis) R 901371 901374 898698 0 -1 4194304 132645 0 0 0 359967 37 0 0 20 0 1 0 173181302 520351744 124993 134679101440 4194304 14093885 140721910164208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 25444352 140721910170596 140721910170711 140721910170711 140721910177727 0
/proc/901374/statm: 127039 124993 2526 2417 0 124141 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 508156 KiB
Current children cumulated memory: 499972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.68 s, system=0.382809 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.68
CPU system time (s): 0.382809
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 574392
Max. memory (cumulated for all children) (KiB): 562956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.382809
maximum resident set size= 562956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132648
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= 25
involuntary context switches= 1784


# summary of solver processes directly reported to runsolver:
#   pid: 901374
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 0.382809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29135 second user time and 16.3225 second system time

The end