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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439151-1721201130/watcher-4439151-1721201130 -o /tmp/evaluation-result-4439151-1721201130/solver-4439151-1721201130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888534 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439151-1721201130.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=892279, runsolver pid=892276

[startup+0.100397 s]*
/proc/loadavg: 4.22 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121683628/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=26756 memory=12240 CPUtime=0.09 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 2354 0 0 0 9 0 0 0 20 0 1 0 172271719 27398144 3060 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 6689 3060 878 2594 0 3582 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26756 KiB
Current children cumulated memory: 12240 KiB

[startup+0.213152 s]*
/proc/loadavg: 4.22 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121667892/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=41656 memory=27288 CPUtime=0.21 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 6083 0 0 0 20 1 0 0 20 0 1 0 172271719 42655744 6822 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 10414 6822 878 2594 0 7307 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41656 KiB
Current children cumulated memory: 27288 KiB

[startup+0.312843 s]*
/proc/loadavg: 4.22 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121659016/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=50520 memory=36000 CPUtime=0.31 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 8271 0 0 0 30 1 0 0 20 0 1 0 172271719 51732480 9000 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 12630 9000 878 2594 0 9523 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50520 KiB
Current children cumulated memory: 36000 KiB

[startup+0.700328 s]
/proc/loadavg: 4.22 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121641068/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=89764 memory=74780 CPUtime=0.68 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 18171 0 0 0 65 3 0 0 20 0 1 0 172271719 91918336 18695 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 22441 18695 926 2594 0 19334 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89764 KiB
Current children cumulated memory: 74780 KiB

[startup+1.50036 s]
/proc/loadavg: 4.22 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121504828/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=236752 memory=223740 CPUtime=1.48 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 60642 0 0 0 136 12 0 0 20 0 1 0 172271719 242434048 55935 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 59188 55935 2526 2594 0 56081 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236752 KiB
Current children cumulated memory: 223740 KiB

[startup+3.11306 s]
/proc/loadavg: 4.20 4.12 4.10 5/243 892280
/proc/meminfo: memFree=121208708/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=550772 memory=495000 CPUtime=3.09 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 94697 0 0 0 287 22 0 0 20 0 1 0 172271719 563990528 123750 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 137693 123750 2654 2594 0 134586 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 550772 KiB
Current children cumulated memory: 495000 KiB

[startup+6.30031 s]
/proc/loadavg: 4.20 4.12 4.10 5/243 892281
/proc/meminfo: memFree=121174456/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=595144 memory=521892 CPUtime=6.27 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 102857 0 0 0 604 23 0 0 20 0 1 0 172271719 609427456 130473 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 148786 130473 2670 2594 0 145679 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 595144 KiB
Current children cumulated memory: 521892 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.12 4.10 5/243 892283
/proc/meminfo: memFree=121172072/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=615332 memory=524508 CPUtime=12.64 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 103496 0 0 0 1241 23 0 0 20 0 1 0 172271719 630099968 131127 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 153833 131127 2670 2594 0 150726 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 615332 KiB
Current children cumulated memory: 524508 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.11 4.09 5/243 892284
/proc/meminfo: memFree=121157024/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=664340 memory=533372 CPUtime=25.4 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 105158 0 0 0 2516 24 0 0 20 0 1 0 172271719 680284160 133343 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 166085 133343 2670 2594 0 162978 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 664340 KiB
Current children cumulated memory: 533372 KiB

[startup+51.1131 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 892289
/proc/meminfo: memFree=120994596/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=879380 memory=646544 CPUtime=50.92 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 139341 0 0 0 5062 30 0 0 20 0 1 0 172271719 900485120 161636 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 219845 161636 2670 2594 0 216738 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 879380 KiB
Current children cumulated memory: 646544 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/243 892297
/proc/meminfo: memFree=121034616/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=925492 memory=649060 CPUtime=101.93 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 140068 0 0 0 10163 30 0 0 20 0 1 0 172271719 947703808 162265 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 231373 162265 2670 2594 0 228266 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 925492 KiB
Current children cumulated memory: 649060 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 892307
/proc/meminfo: memFree=120922788/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1085540 memory=780828 CPUtime=161.7 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 172128 0 0 0 16135 35 0 0 20 0 1 0 172271719 1111592960 195207 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 271385 195207 2670 2594 0 268278 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1085540 KiB
Current children cumulated memory: 780828 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/245 892489
/proc/meminfo: memFree=120804024/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1076132 memory=773548 CPUtime=221.47 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 177547 0 0 0 22111 36 0 0 20 0 1 0 172271719 1101959168 193387 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 269033 193387 2938 2594 0 265926 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1076132 KiB
Current children cumulated memory: 773548 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 892501
/proc/meminfo: memFree=120832276/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1115512 memory=812380 CPUtime=281.24 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 196012 0 0 0 28085 39 0 0 20 0 1 0 172271719 1142284288 203095 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 278878 203095 2938 2594 0 275771 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1115512 KiB
Current children cumulated memory: 812380 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/244 892568
/proc/meminfo: memFree=120762240/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1154584 memory=852128 CPUtime=341.01 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 211630 0 0 0 34058 43 0 0 20 0 1 0 172271719 1182294016 213032 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 288646 213032 2938 2594 0 285539 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1154584 KiB
Current children cumulated memory: 852128 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 892579
/proc/meminfo: memFree=120699892/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1190600 memory=887712 CPUtime=400.72 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 226267 0 0 0 40027 45 0 0 20 0 1 0 172271719 1219174400 221928 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 297650 221928 2938 2594 0 294543 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 1190600 KiB
Current children cumulated memory: 887712 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/244 892591
/proc/meminfo: memFree=120555832/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=1195392 memory=891244 CPUtime=460.45 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 227176 0 0 0 46000 45 0 0 20 0 1 0 172271719 1224081408 222811 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 298848 222811 2938 2594 0 295741 0

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

Current children cumulated memory: 2375936 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 893738
/proc/meminfo: memFree=117951912/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2659960 memory=2383160 CPUtime=2850.71 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 673694 0 0 0 284917 154 0 0 20 0 1 0 172271719 2723799040 595790 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 664990 595790 2938 2594 0 661883 0
Current children cumulated CPU time: 2850.71 s
Current children cumulated vsize: 2659960 KiB
Current children cumulated memory: 2383160 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 893748
/proc/meminfo: memFree=117924816/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2667620 memory=2393632 CPUtime=2910.49 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 718411 0 0 0 290887 162 0 0 20 0 1 0 172271719 2731642880 598408 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 666905 598408 2938 2594 0 663798 0
Current children cumulated CPU time: 2910.49 s
Current children cumulated vsize: 2667620 KiB
Current children cumulated memory: 2393632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 893804
/proc/meminfo: memFree=118164624/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2669096 memory=2397072 CPUtime=2970.29 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 719375 0 0 0 296866 163 0 0 20 0 1 0 172271719 2733154304 599268 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 667274 599268 2938 2594 0 664167 0
Current children cumulated CPU time: 2970.29 s
Current children cumulated vsize: 2669096 KiB
Current children cumulated memory: 2397072 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/241 893815
/proc/meminfo: memFree=118598668/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939788 CPUtime=3030.09 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722009 0 0 0 302844 165 0 0 20 0 1 0 172271719 2212442112 484947 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484947 2986 2594 0 537040 0
Current children cumulated CPU time: 3030.09 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939788 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/243 893829
/proc/meminfo: memFree=118506588/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939820 CPUtime=3089.88 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722092 0 0 0 308823 165 0 0 20 0 1 0 172271719 2212442112 484955 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484955 2986 2594 0 537040 0
Current children cumulated CPU time: 3089.88 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/243 893839
/proc/meminfo: memFree=119077644/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939820 CPUtime=3149.67 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722181 0 0 0 314802 165 0 0 20 0 1 0 172271719 2212442112 484955 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484955 2986 2594 0 537040 0
Current children cumulated CPU time: 3149.67 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/243 893850
/proc/meminfo: memFree=119036620/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939908 CPUtime=3209.47 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722307 0 0 0 320781 166 0 0 20 0 1 0 172271719 2212442112 484977 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484977 2986 2594 0 537040 0
Current children cumulated CPU time: 3209.47 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/243 893860
/proc/meminfo: memFree=119365324/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3269.25 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722345 0 0 0 326759 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3269.25 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/244 893873
/proc/meminfo: memFree=119239672/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3329.04 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722428 0 0 0 332738 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3329.04 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/243 893883
/proc/meminfo: memFree=119228196/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3388.83 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722495 0 0 0 338717 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3388.83 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 893894
/proc/meminfo: memFree=119224412/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3448.63 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722568 0 0 0 344697 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3448.63 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/243 893904
/proc/meminfo: memFree=119224088/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3508.42 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722647 0 0 0 350676 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3508.42 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 893915
/proc/meminfo: memFree=119223612/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3568.21 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722728 0 0 0 356655 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3568.21 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.2 s]
/proc/loadavg: 4.47 4.20 4.12 5/242 894304
/proc/meminfo: memFree=119222400/131655788 swapFree=131071996/131071996
[pid=892279] ppid=892276 vsize=2160588 memory=1939972 CPUtime=3600 cores=0,2
/proc/892279/stat : 892279 (CASHWMaxSAT-Dis) R 892276 892279 888524 0 -1 4194304 722765 0 0 0 359834 166 0 0 20 0 1 0 172271719 2212442112 484993 134679101440 4194304 14817773 140726255750016 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 44244992 140726255756260 140726255756375 140726255756375 140726255763391 0
/proc/892279/statm: 540147 484993 2986 2594 0 537040 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2160588 KiB
Current children cumulated memory: 1939972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.35 s, system=1.67642 s

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

Child status: 10

Real time (s): 3614.21
CPU time (s): 3600.02
CPU user time (s): 3598.35
CPU system time (s): 1.67642
CPU usage (%): 99.6073
Max. virtual memory (cumulated for all children) (KiB): 2739368
Max. memory (cumulated for all children) (KiB): 2460820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.35
system time used= 1.67642
maximum resident set size= 2460820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 722767
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= 90
involuntary context switches= 24666


# summary of solver processes directly reported to runsolver:
#   pid: 892279
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.35
#   total CPU system time (s): 1.67642

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8899 second user time and 34.6985 second system time

The end