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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459369-1721885100/watcher-4459369-1721885100 -o /tmp/evaluation-result-4459369-1721885100/solver-4459369-1721885100 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265222 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4459369-1721885100.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=270634, runsolver pid=270631

[startup+0.100929 s]*
/proc/loadavg: 4.12 4.29 4.21 5/254 270635
/proc/meminfo: memFree=110115920/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=40408 memory=21240 CPUtime=0.1 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 6303 0 0 0 9 1 0 0 20 0 1 0 25038310 41377792 5310 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 10102 5310 890 2550 0 7057 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 21240 KiB

[startup+0.205636 s]*
/proc/loadavg: 4.12 4.29 4.21 5/254 270635
/proc/meminfo: memFree=110099300/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=58244 memory=39104 CPUtime=0.19 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 10761 0 0 0 18 1 0 0 20 0 1 0 25038310 59641856 9776 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 14561 9776 938 2550 0 11516 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58244 KiB
Current children cumulated memory: 39104 KiB

[startup+0.305504 s]*
/proc/loadavg: 4.12 4.29 4.21 5/254 270635
/proc/meminfo: memFree=110071624/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=79256 memory=63168 CPUtime=0.3 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 16325 0 0 0 28 2 0 0 20 0 1 0 25038310 81158144 15792 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 19814 15792 970 2550 0 16769 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 63168 KiB

[startup+0.700243 s]
/proc/loadavg: 4.12 4.29 4.21 5/254 270635
/proc/meminfo: memFree=110062132/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=204748 memory=191596 CPUtime=0.69 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 47938 0 0 0 62 7 0 0 20 0 1 0 25038310 209661952 47899 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 51187 47899 2442 2550 0 48142 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 191596 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.29 4.21 5/254 270635
/proc/meminfo: memFree=109857488/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=310104 memory=296584 CPUtime=1.48 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 74128 0 0 0 138 10 0 0 20 0 1 0 25038310 317546496 74146 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 77526 74146 2490 2550 0 74481 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 310104 KiB
Current children cumulated memory: 296584 KiB

[startup+3.10552 s]
/proc/loadavg: 4.19 4.30 4.21 5/254 270635
/proc/meminfo: memFree=109375348/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=316524 memory=303028 CPUtime=3.08 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 75197 0 0 0 297 11 0 0 20 0 1 0 25038310 324120576 75757 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 79131 75757 2538 2550 0 76086 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 316524 KiB
Current children cumulated memory: 303028 KiB

[startup+6.3002 s]
/proc/loadavg: 4.19 4.30 4.21 5/255 270636
/proc/meminfo: memFree=109877960/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=321172 memory=306984 CPUtime=6.27 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 76218 0 0 0 615 12 0 0 20 0 1 0 25038310 328880128 76746 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 80293 76746 2538 2550 0 77248 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 321172 KiB
Current children cumulated memory: 306984 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.29 4.21 5/255 270637
/proc/meminfo: memFree=109349160/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=329564 memory=315420 CPUtime=12.65 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 78318 0 0 0 1252 13 0 0 20 0 1 0 25038310 337473536 78855 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 82391 78855 2538 2550 0 79346 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 329564 KiB
Current children cumulated memory: 315420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.28 4.21 5/255 270639
/proc/meminfo: memFree=109786852/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=371824 memory=357172 CPUtime=25.41 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 87247 0 0 0 2526 15 0 0 20 0 1 0 25038310 380747776 89293 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 92956 89293 2538 2550 0 89911 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 371824 KiB
Current children cumulated memory: 357172 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.27 4.20 5/257 271029
/proc/meminfo: memFree=109747704/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=379000 memory=364648 CPUtime=50.93 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 89106 0 0 0 5077 16 0 0 20 0 1 0 25038310 388096000 91162 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 94750 91162 2538 2550 0 91705 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 379000 KiB
Current children cumulated memory: 364648 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.24 4.19 5/255 271038
/proc/meminfo: memFree=109233196/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=389244 memory=374872 CPUtime=101.98 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 92147 0 0 0 10180 18 0 0 20 0 1 0 25038310 398585856 93718 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 97311 93718 2538 2550 0 94266 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 389244 KiB
Current children cumulated memory: 374872 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/255 271049
/proc/meminfo: memFree=109460324/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=618580 memory=582996 CPUtime=161.78 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 123548 0 0 0 16153 25 0 0 20 0 1 0 25038310 633425920 145749 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 154645 145749 2650 2550 0 151600 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 618580 KiB
Current children cumulated memory: 582996 KiB

[startup+222.3 s]
/proc/loadavg: 4.51 4.29 4.21 5/255 271060
/proc/meminfo: memFree=109260716/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=897104 memory=742884 CPUtime=221.6 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 157775 0 0 0 22128 32 0 0 20 0 1 0 25038310 918634496 185721 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 224276 185721 2666 2550 0 221231 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 897104 KiB
Current children cumulated memory: 742884 KiB

[startup+282.3 s]
/proc/loadavg: 4.25 4.25 4.20 5/257 271240
/proc/meminfo: memFree=109247188/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=983532 memory=830056 CPUtime=281.41 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 179666 0 0 0 28105 36 0 0 20 0 1 0 25038310 1007136768 207514 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 245883 207514 2666 2550 0 242838 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 983532 KiB
Current children cumulated memory: 830056 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.23 4.19 5/256 271251
/proc/meminfo: memFree=109020660/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=1096856 memory=930556 CPUtime=341.23 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 204793 0 0 0 34083 40 0 0 20 0 1 0 25038310 1123180544 232639 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 274214 232639 2666 2550 0 271169 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1096856 KiB
Current children cumulated memory: 930556 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.23 4.19 5/256 271321
/proc/meminfo: memFree=109015608/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=1178344 memory=996056 CPUtime=401.02 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 227091 0 0 0 40058 44 0 0 20 0 1 0 25038310 1206624256 249014 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 294586 249014 2666 2550 0 291541 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1178344 KiB
Current children cumulated memory: 996056 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/256 271334
/proc/meminfo: memFree=108888404/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=1255100 memory=1069964 CPUtime=460.83 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 267872 0 0 0 46031 52 0 0 20 0 1 0 25038310 1285222400 267491 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 313775 267491 2666 2550 0 310730 0

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

Current children cumulated memory: 2038516 KiB

[startup+2862.3 s]
/proc/loadavg: 2.13 2.15 2.64 3/241 272408
/proc/meminfo: memFree=109209136/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2040564 CPUtime=2853.05 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 552053 0 0 0 284974 331 0 0 20 0 1 0 25038310 2456559616 510141 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 510141 2936 2550 0 596701 0
Current children cumulated CPU time: 2853.05 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2040564 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.13 2.60 3/241 272418
/proc/meminfo: memFree=109190888/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2052852 CPUtime=2912.84 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 552628 0 0 0 290943 341 0 0 20 0 1 0 25038310 2456559616 513213 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 513213 2936 2550 0 596701 0
Current children cumulated CPU time: 2912.84 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2052852 KiB

[startup+2982.3 s]
/proc/loadavg: 2.15 2.14 2.57 3/241 272428
/proc/meminfo: memFree=109223964/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2034572 CPUtime=2972.65 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 553240 0 0 0 296913 352 0 0 20 0 1 0 25038310 2456559616 508643 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 508643 2936 2550 0 596701 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2034572 KiB

[startup+3042.3 s]
/proc/loadavg: 2.12 2.13 2.54 3/241 272441
/proc/meminfo: memFree=109262096/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2055724 CPUtime=3032.44 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 553790 0 0 0 302886 358 0 0 20 0 1 0 25038310 2456559616 513931 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 513931 2936 2550 0 596701 0
Current children cumulated CPU time: 3032.44 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2055724 KiB

[startup+3102.3 s]
/proc/loadavg: 1.48 1.95 2.45 2/232 272481
/proc/meminfo: memFree=118472452/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2057972 CPUtime=3092.27 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 554407 0 0 0 308859 368 0 0 20 0 1 0 25038310 2456559616 514493 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 514493 2936 2550 0 596701 0
Current children cumulated CPU time: 3092.27 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2057972 KiB

[startup+3162.3 s]
/proc/loadavg: 1.28 1.80 2.37 2/232 272491
/proc/meminfo: memFree=118484372/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2045848 CPUtime=3152.12 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 555299 0 0 0 314835 377 0 0 20 0 1 0 25038310 2456559616 511462 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 511462 2936 2550 0 596701 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2045848 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.67 2.28 2/232 272502
/proc/meminfo: memFree=118472672/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2057212 CPUtime=3211.96 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 555939 0 0 0 320810 386 0 0 20 0 1 0 25038310 2456559616 514303 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 514303 2936 2550 0 596701 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2057212 KiB

[startup+3282.3 s]
/proc/loadavg: 1.21 1.59 2.22 2/232 272513
/proc/meminfo: memFree=118479180/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2050396 CPUtime=3271.8 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 556830 0 0 0 326784 396 0 0 20 0 1 0 25038310 2456559616 512599 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 512599 2936 2550 0 596701 0
Current children cumulated CPU time: 3271.8 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2050396 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.50 2.14 2/231 272525
/proc/meminfo: memFree=118447656/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2081488 CPUtime=3331.64 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 557324 0 0 0 332762 402 0 0 20 0 1 0 25038310 2456559616 520372 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 520372 2936 2550 0 596701 0
Current children cumulated CPU time: 3331.64 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2081488 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.42 2.07 2/233 272540
/proc/meminfo: memFree=118461132/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2069824 CPUtime=3391.49 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 557961 0 0 0 338738 411 0 0 20 0 1 0 25038310 2456559616 517456 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 517456 2936 2550 0 596701 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2069824 KiB

[startup+3462.3 s]
/proc/loadavg: 1.21 1.39 2.02 2/233 272551
/proc/meminfo: memFree=118451124/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2077372 CPUtime=3451.33 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 559198 0 0 0 344714 419 0 0 20 0 1 0 25038310 2456559616 519343 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 519343 2936 2550 0 596701 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2077372 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.33 1.96 2/233 272562
/proc/meminfo: memFree=118423212/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2106820 CPUtime=3511.18 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 559864 0 0 0 350690 428 0 0 20 0 1 0 25038310 2456559616 526705 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 526705 2936 2550 0 596701 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2106820 KiB

[startup+3582.3 s]
/proc/loadavg: 1.16 1.30 1.91 2/233 272572
/proc/meminfo: memFree=118387752/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2082708 CPUtime=3571.01 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 560948 0 0 0 356663 438 0 0 20 0 1 0 25038310 2456559616 520677 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 520677 2936 2550 0 596701 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2082708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 1.17 1.29 1.88 2/233 272578
/proc/meminfo: memFree=118399692/131524600 swapFree=131068900/131071996
[pid=270634] ppid=270631 vsize=2398984 memory=2129812 CPUtime=3600.04 cores=5,7
/proc/270634/stat : 270634 (CASHWMaxSAT-Dis) R 270631 270634 265209 0 -1 4194304 561069 0 0 0 359565 439 0 0 20 0 1 0 25038310 2456559616 532453 134679101440 4194304 14636349 140726977264000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 22822912 140726977266663 140726977266779 140726977266779 140726977273790 0
/proc/270634/statm: 599746 532453 2936 2550 0 596701 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2398984 KiB
Current children cumulated memory: 2129812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.65 s, system=4.44083 s

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

Child status: 10

Real time (s): 3611.44
CPU time (s): 3600.09
CPU user time (s): 3595.65
CPU system time (s): 4.44083
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 2742860
Max. memory (cumulated for all children) (KiB): 2277780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.65
system time used= 4.44083
maximum resident set size= 2301076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561071
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= 65
involuntary context switches= 4477


# summary of solver processes directly reported to runsolver:
#   pid: 270634
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.65
#   total CPU system time (s): 4.44083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50915 second user time and 15.908 second system time

The end