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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458200-1721879547/watcher-4458200-1721879547 -o /tmp/evaluation-result-4458200-1721879547/solver-4458200-1721879547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721875936-269731 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458200-1721879547.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=271723, runsolver pid=271720
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.14 4.10 4.09 5/258 271724
/proc/meminfo: memFree=114901760/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=56400 memory=46784 CPUtime=0.09 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 10102 0 0 0 8 1 0 0 20 0 1 0 24477241 57753600 11696 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 14100 11696 2350 2417 0 11202 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 46784 KiB

[startup+0.205672 s]*
/proc/loadavg: 4.14 4.10 4.09 5/258 271724
/proc/meminfo: memFree=114884980/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=72836 memory=63296 CPUtime=0.2 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 14118 0 0 0 18 2 0 0 20 0 1 0 24477241 74584064 15824 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 18209 15824 2494 2417 0 15311 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72836 KiB
Current children cumulated memory: 63296 KiB

[startup+0.305615 s]*
/proc/loadavg: 4.14 4.10 4.09 5/258 271724
/proc/meminfo: memFree=114883488/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=73472 memory=64084 CPUtime=0.29 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 14337 0 0 0 27 2 0 0 20 0 1 0 24477241 75235328 16021 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 18368 16021 2494 2417 0 15470 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73472 KiB
Current children cumulated memory: 64084 KiB

[startup+0.700151 s]
/proc/loadavg: 4.14 4.10 4.09 4/256 271724
/proc/meminfo: memFree=115939996/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=74000 memory=64348 CPUtime=0.68 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 14430 0 0 0 66 2 0 0 20 0 1 0 24477241 75776000 16087 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 18500 16087 2494 2417 0 15602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74000 KiB
Current children cumulated memory: 64348 KiB

[startup+1.50016 s]
/proc/loadavg: 4.14 4.10 4.09 5/258 271770
/proc/meminfo: memFree=115938504/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=95712 memory=84000 CPUtime=1.49 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 19300 0 0 0 146 3 0 0 20 0 1 0 24477241 98009088 21000 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 23928 21000 2526 2417 0 21030 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 95712 KiB
Current children cumulated memory: 84000 KiB

[startup+3.10488 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271770
/proc/meminfo: memFree=115859060/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=95712 memory=84192 CPUtime=3.09 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 19320 0 0 0 306 3 0 0 20 0 1 0 24477241 98009088 21048 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 23928 21048 2526 2417 0 21030 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 95712 KiB
Current children cumulated memory: 84192 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271818
/proc/meminfo: memFree=117131232/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=126836 memory=111648 CPUtime=6.27 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 26221 0 0 0 623 4 0 0 20 0 1 0 24477241 129880064 27912 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 31709 27912 2526 2417 0 28811 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126836 KiB
Current children cumulated memory: 111648 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 271819
/proc/meminfo: memFree=117067596/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=136852 memory=114288 CPUtime=12.66 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 26850 0 0 0 1262 4 0 0 20 0 1 0 24477241 140136448 28572 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 34213 28572 2526 2417 0 31315 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 136852 KiB
Current children cumulated memory: 114288 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 271822
/proc/meminfo: memFree=117003184/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=142876 memory=120156 CPUtime=25.42 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 28337 0 0 0 2538 4 0 0 20 0 1 0 24477241 146305024 30039 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 35719 30039 2542 2417 0 32821 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 142876 KiB
Current children cumulated memory: 120156 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 271826
/proc/meminfo: memFree=116955644/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=162756 memory=141796 CPUtime=50.97 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 33372 0 0 0 5092 5 0 0 20 0 1 0 24477241 166662144 35449 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 40689 35449 2542 2417 0 37791 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 162756 KiB
Current children cumulated memory: 141796 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 271834
/proc/meminfo: memFree=116863436/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=172812 memory=165804 CPUtime=102.04 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 36126 0 0 0 10199 5 0 0 20 0 1 0 24477241 176959488 41451 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 43203 41451 2542 2417 0 40305 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 172812 KiB
Current children cumulated memory: 165804 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 271845
/proc/meminfo: memFree=116796308/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=191948 memory=185024 CPUtime=161.89 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 41060 0 0 0 16183 6 0 0 20 0 1 0 24477241 196554752 46256 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 47987 46256 2542 2417 0 45089 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 191948 KiB
Current children cumulated memory: 185024 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 272238
/proc/meminfo: memFree=116737080/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=214644 memory=207816 CPUtime=221.74 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 46878 0 0 0 22167 7 0 0 20 0 1 0 24477241 219795456 51954 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 53661 51954 2542 2417 0 50763 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 214644 KiB
Current children cumulated memory: 207816 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 272249
/proc/meminfo: memFree=116696508/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=257180 memory=217136 CPUtime=281.59 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 49271 0 0 0 28151 8 0 0 20 0 1 0 24477241 263352320 54284 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 64295 54284 2542 2417 0 61397 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 257180 KiB
Current children cumulated memory: 217136 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 272260
/proc/meminfo: memFree=116584296/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=313360 memory=270752 CPUtime=341.44 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 60398 0 0 0 34135 9 0 0 20 0 1 0 24477241 320880640 67688 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 78340 67688 2542 2417 0 75442 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 313360 KiB
Current children cumulated memory: 270752 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/258 272440
/proc/meminfo: memFree=116548940/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=339244 memory=296408 CPUtime=401.29 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 65628 0 0 0 40119 10 0 0 20 0 1 0 24477241 347385856 74102 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 84811 74102 2794 2417 0 81913 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 339244 KiB
Current children cumulated memory: 296408 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/259 272452
/proc/meminfo: memFree=116538452/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=343460 memory=300340 CPUtime=461.13 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 66158 0 0 0 46103 10 0 0 20 0 1 0 24477241 351703040 75085 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 85865 75085 2794 2417 0 82967 0

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

Current children cumulated memory: 406120 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/256 273572
/proc/meminfo: memFree=115938100/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=2914.88 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 107624 0 0 0 291471 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/256 273583
/proc/meminfo: memFree=115895312/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=2974.72 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 107739 0 0 0 297455 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/256 273594
/proc/meminfo: memFree=115883344/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3034.56 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 107854 0 0 0 303439 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3034.56 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/257 273606
/proc/meminfo: memFree=115851932/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3094.4 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 107969 0 0 0 309423 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/257 273616
/proc/meminfo: memFree=115843444/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3154.24 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108093 0 0 0 315407 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/255 273626
/proc/meminfo: memFree=115828708/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3214.09 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108216 0 0 0 321392 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/255 273638
/proc/meminfo: memFree=115791500/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3273.93 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108342 0 0 0 327376 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/255 273648
/proc/meminfo: memFree=115765304/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3333.77 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108462 0 0 0 333360 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/254 273658
/proc/meminfo: memFree=115755776/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3393.61 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108582 0 0 0 339344 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/255 273670
/proc/meminfo: memFree=115719540/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3453.45 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108702 0 0 0 345328 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 273684
/proc/meminfo: memFree=115718552/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3513.3 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108822 0 0 0 351313 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/260 273699
/proc/meminfo: memFree=115698780/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3573.14 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 108943 0 0 0 357297 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 273706
/proc/meminfo: memFree=115681316/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3600.06 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 109026 0 0 0 359989 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.9 s, system=0.181504 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 273706
/proc/meminfo: memFree=115681316/131524600 swapFree=131071216/131071996
[pid=271723] ppid=271720 vsize=411916 memory=406120 CPUtime=3600.06 cores=1,3
/proc/271723/stat : 271723 (CASHWMaxSAT-Dis) R 271720 271723 269719 0 -1 4194304 109026 0 0 0 359989 17 0 0 20 0 1 0 24477241 421801984 101530 134679101440 4194304 14093885 140728039901312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48619520 140728039908325 140728039908440 140728039908440 140728039915455 0
/proc/271723/statm: 102979 101530 2794 2417 0 100081 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 411916 KiB
Current children cumulated memory: 406120 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.08
CPU user time (s): 3599.9
CPU system time (s): 0.181504
CPU usage (%): 99.7445
Max. virtual memory (cumulated for all children) (KiB): 523372
Max. memory (cumulated for all children) (KiB): 508588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.9
system time used= 0.181504
maximum resident set size= 508588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109031
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= 39
involuntary context switches= 1611


# summary of solver processes directly reported to runsolver:
#   pid: 271723
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.9
#   total CPU system time (s): 0.181504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77798 second user time and 15.2755 second system time

The end