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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439958-1721200486/watcher-4439958-1721200486 -o /tmp/evaluation-result-4439958-1721200486/solver-4439958-1721200486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721194641-889391 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439958-1721200486.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=892539, runsolver pid=892536

[startup+0.100694 s]*
/proc/loadavg: 4.11 4.15 4.11 5/257 892540
/proc/meminfo: memFree=123851600/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=41236 memory=22648 CPUtime=0.09 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 5055 0 0 0 9 0 0 0 20 0 1 0 172212121 42225664 5662 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 10309 5662 750 2417 0 7411 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41236 KiB
Current children cumulated memory: 22648 KiB

[startup+0.205783 s]*
/proc/loadavg: 4.11 4.15 4.11 5/257 892540
/proc/meminfo: memFree=123832784/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=60808 memory=42372 CPUtime=0.2 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 9958 0 0 0 19 1 0 0 20 0 1 0 172212121 62267392 10593 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 15202 10593 750 2417 0 12304 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60808 KiB
Current children cumulated memory: 42372 KiB

[startup+0.305761 s]*
/proc/loadavg: 4.11 4.15 4.11 5/257 892540
/proc/meminfo: memFree=123813968/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=79256 memory=60852 CPUtime=0.29 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 14606 0 0 0 28 1 0 0 20 0 1 0 172212121 81158144 15213 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 19814 15213 750 2417 0 16916 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 60852 KiB

[startup+0.70023 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 892540
/proc/meminfo: memFree=123780384/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=226000 memory=215604 CPUtime=0.69 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 52488 0 0 0 61 8 0 0 20 0 1 0 172212121 231424000 53901 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 56500 53901 2302 2417 0 53602 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 215604 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 892540
/proc/meminfo: memFree=123539096/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=335968 memory=324552 CPUtime=1.48 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 79673 0 0 0 136 12 0 0 20 0 1 0 172212121 344031232 81138 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 83992 81138 2350 2417 0 81094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 335968 KiB
Current children cumulated memory: 324552 KiB

[startup+3.10552 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 892541
/proc/meminfo: memFree=123257148/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=667048 memory=608616 CPUtime=3.09 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 107871 0 0 0 290 19 0 0 20 0 1 0 172212121 683057152 152154 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 166762 152154 2494 2417 0 163864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 667048 KiB
Current children cumulated memory: 608616 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 892541
/proc/meminfo: memFree=123214184/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=711852 memory=642384 CPUtime=6.27 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 115907 0 0 0 607 20 0 0 20 0 1 0 172212121 728936448 160596 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 177963 160596 2526 2417 0 175065 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 711852 KiB
Current children cumulated memory: 642384 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 892543
/proc/meminfo: memFree=123198720/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=749148 memory=659056 CPUtime=12.66 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 117873 0 0 0 1245 21 0 0 20 0 1 0 172212121 767127552 164764 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 187287 164764 2526 2417 0 184389 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 749148 KiB
Current children cumulated memory: 659056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.14 4.11 5/257 892544
/proc/meminfo: memFree=123194776/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=772804 memory=661104 CPUtime=25.42 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 117902 0 0 0 2521 21 0 0 20 0 1 0 172212121 791351296 165276 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 193201 165276 2526 2417 0 190303 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 772804 KiB
Current children cumulated memory: 661104 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 4.12 4.10 5/257 892547
/proc/meminfo: memFree=123123664/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=824076 memory=670116 CPUtime=50.95 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 118860 0 0 0 5073 22 0 0 20 0 1 0 172212121 843853824 167529 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 206019 167529 2526 2417 0 203121 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 824076 KiB
Current children cumulated memory: 670116 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/254 892558
/proc/meminfo: memFree=122893400/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1128256 memory=836916 CPUtime=101.99 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 159641 0 0 0 10171 28 0 0 20 0 1 0 172212121 1155334144 209229 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 282064 209229 2526 2417 0 279166 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1128256 KiB
Current children cumulated memory: 836916 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/254 892569
/proc/meminfo: memFree=123726008/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1296100 memory=958924 CPUtime=161.81 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 188613 0 0 0 16149 32 0 0 20 0 1 0 172212121 1327206400 239731 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 324025 239731 2542 2417 0 321127 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1296100 KiB
Current children cumulated memory: 958924 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 892580
/proc/meminfo: memFree=123671220/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1339500 memory=979228 CPUtime=221.62 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 210214 0 0 0 22127 35 0 0 20 0 1 0 172212121 1371648000 244807 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 334875 244807 2542 2417 0 331977 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1339500 KiB
Current children cumulated memory: 979228 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/255 892590
/proc/meminfo: memFree=123572848/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1486852 memory=1070680 CPUtime=281.42 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 241880 0 0 0 28103 39 0 0 20 0 1 0 172212121 1522536448 267670 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 371713 267670 2542 2417 0 368815 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1486852 KiB
Current children cumulated memory: 1070680 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 892600
/proc/meminfo: memFree=123516404/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1564432 memory=1105740 CPUtime=341.23 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 250697 0 0 0 34082 41 0 0 20 0 1 0 172212121 1601978368 276435 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 391108 276435 2542 2417 0 388210 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1564432 KiB
Current children cumulated memory: 1105740 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 892616
/proc/meminfo: memFree=123427588/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1634364 memory=1164208 CPUtime=401.06 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 260798 0 0 0 40063 43 0 0 20 0 1 0 172212121 1673588736 291052 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 408591 291052 2542 2417 0 405693 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1634364 KiB
Current children cumulated memory: 1164208 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/258 892626
/proc/meminfo: memFree=123380084/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1729840 memory=1200152 CPUtime=460.89 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 261176 0 0 0 46045 44 0 0 20 0 1 0 172212121 1771356160 300038 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 432460 300038 2542 2417 0 429562 0

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

Current children cumulated memory: 1459404 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 894337
/proc/meminfo: memFree=123013688/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459404 CPUtime=2854.34 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481470 0 0 0 285349 85 0 0 20 0 1 0 172212121 2027958272 364851 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364851 2542 2417 0 492209 0
Current children cumulated CPU time: 2854.34 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459404 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 894348
/proc/meminfo: memFree=122962444/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=2914.18 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481543 0 0 0 291333 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 894361
/proc/meminfo: memFree=122992240/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=2974.02 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481654 0 0 0 297317 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 894371
/proc/meminfo: memFree=122952864/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3033.87 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481741 0 0 0 303302 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/255 894381
/proc/meminfo: memFree=122927672/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3093.71 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481852 0 0 0 309286 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 894392
/proc/meminfo: memFree=122971764/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3153.55 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 481927 0 0 0 315270 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 894402
/proc/meminfo: memFree=122975348/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3213.39 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482041 0 0 0 321254 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/254 894458
/proc/meminfo: memFree=118630108/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3273.2 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482110 0 0 0 327235 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/254 894468
/proc/meminfo: memFree=119107920/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3333 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482208 0 0 0 333215 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 894483
/proc/meminfo: memFree=119133832/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3392.8 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482283 0 0 0 339195 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 894493
/proc/meminfo: memFree=119118068/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3452.6 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482366 0 0 0 345175 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 894503
/proc/meminfo: memFree=119149188/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3512.4 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482452 0 0 0 351155 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/256 894515
/proc/meminfo: memFree=119065224/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3572.19 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482551 0 0 0 357134 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.09 4.08 4.09 5/256 894519
/proc/meminfo: memFree=119096544/131524600 swapFree=131071996/131071996
[pid=892539] ppid=892536 vsize=1980428 memory=1459408 CPUtime=3600 cores=5,7
/proc/892539/stat : 892539 (CASHWMaxSAT-Dis) R 892536 892539 889378 0 -1 4194304 482568 0 0 0 359915 85 0 0 20 0 1 0 172212121 2027958272 364852 134679101440 4194304 14093885 140736606010480 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49102848 140736606016484 140736606016599 140736606016599 140736606023615 0
/proc/892539/statm: 495107 364852 2542 2417 0 492209 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1980428 KiB
Current children cumulated memory: 1459408 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.15 s, system=0.863689 s

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

Child status: 10

Real time (s): 3610.21
CPU time (s): 3600.02
CPU user time (s): 3599.15
CPU system time (s): 0.863689
CPU usage (%): 99.7177
Max. virtual memory (cumulated for all children) (KiB): 2595260
Max. memory (cumulated for all children) (KiB): 1990512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.863689
maximum resident set size= 1990512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482571
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= 97
involuntary context switches= 1594


# summary of solver processes directly reported to runsolver:
#   pid: 892539
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.15
#   total CPU system time (s): 0.863689

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26551 second user time and 15.9878 second system time

The end