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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458316-1721879555/watcher-4458316-1721879555 -o /tmp/evaluation-result-4458316-1721879555/solver-4458316-1721879555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721875930-265220 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4458316-1721879555.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100092 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 267406
/proc/meminfo: memFree=120224980/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=52692 memory=42672 CPUtime=0.1 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 9203 0 0 0 9 1 0 0 20 0 1 0 24483762 53956608 10668 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 13173 10668 2490 2550 0 10128 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52692 KiB
Current children cumulated memory: 42672 KiB

[startup+0.205594 s]*
/proc/loadavg: 4.07 4.11 4.09 5/255 267406
/proc/meminfo: memFree=120209824/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=67692 memory=57524 CPUtime=0.19 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 12833 0 0 0 18 1 0 0 20 0 1 0 24483762 69316608 14381 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 16923 14381 2618 2550 0 13878 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 57524 KiB

[startup+0.305432 s]*
/proc/loadavg: 4.07 4.11 4.09 6/255 267406
/proc/meminfo: memFree=120209376/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=68156 memory=58048 CPUtime=0.29 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 12926 0 0 0 28 1 0 0 20 0 1 0 24483762 69791744 14512 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 17039 14512 2618 2550 0 13994 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68156 KiB
Current children cumulated memory: 58048 KiB

[startup+0.700152 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 267406
/proc/meminfo: memFree=120208900/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=68540 memory=58312 CPUtime=0.68 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 12990 0 0 0 67 1 0 0 20 0 1 0 24483762 70184960 14578 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 17135 14578 2618 2550 0 14090 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68540 KiB
Current children cumulated memory: 58312 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 267406
/proc/meminfo: memFree=120188196/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=89972 memory=77920 CPUtime=1.49 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 17896 0 0 0 146 3 0 0 20 0 1 0 24483762 92131328 19480 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 22493 19480 2650 2550 0 19448 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 89972 KiB
Current children cumulated memory: 77920 KiB

[startup+3.10535 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 267408
/proc/meminfo: memFree=120182428/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=89972 memory=77920 CPUtime=3.09 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 17902 0 0 0 306 3 0 0 20 0 1 0 24483762 92131328 19480 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 22493 19480 2650 2550 0 19448 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89972 KiB
Current children cumulated memory: 77920 KiB

[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 267408
/proc/meminfo: memFree=120156096/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=122960 memory=107208 CPUtime=6.27 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 25242 0 0 0 623 4 0 0 20 0 1 0 24483762 125911040 26802 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 30740 26802 2650 2550 0 27695 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122960 KiB
Current children cumulated memory: 107208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 267408
/proc/meminfo: memFree=120132336/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=132296 memory=111168 CPUtime=12.66 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 26190 0 0 0 1262 4 0 0 20 0 1 0 24483762 135471104 27792 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 33074 27792 2650 2550 0 30029 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 132296 KiB
Current children cumulated memory: 111168 KiB

[startup+25.5001 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 267411
/proc/meminfo: memFree=120088660/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=152032 memory=129360 CPUtime=25.43 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 30769 0 0 0 2538 5 0 0 20 0 1 0 24483762 155680768 32340 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 38008 32340 2650 2550 0 34963 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 152032 KiB
Current children cumulated memory: 129360 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 267415
/proc/meminfo: memFree=120052176/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=152920 memory=131204 CPUtime=50.98 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 31247 0 0 0 5090 8 0 0 20 0 1 0 24483762 156590080 32801 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 38230 32801 2650 2550 0 35185 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 152920 KiB
Current children cumulated memory: 131204 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 267423
/proc/meminfo: memFree=120007548/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=159008 memory=138068 CPUtime=102.06 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 32920 0 0 0 10193 13 0 0 20 0 1 0 24483762 162824192 34517 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 39752 34517 2650 2550 0 36707 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 159008 KiB
Current children cumulated memory: 138068 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 267433
/proc/meminfo: memFree=119950292/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=187200 memory=165524 CPUtime=161.91 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 39793 0 0 0 16171 20 0 0 20 0 1 0 24483762 191692800 41381 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 46800 41381 2650 2550 0 43755 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 187200 KiB
Current children cumulated memory: 165524 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/253 267825
/proc/meminfo: memFree=119926860/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=215852 memory=182320 CPUtime=221.76 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 43895 0 0 0 22154 22 0 0 20 0 1 0 24483762 221032448 45580 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 53963 45580 2650 2550 0 50918 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 215852 KiB
Current children cumulated memory: 182320 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/253 267837
/proc/meminfo: memFree=119868572/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=241688 memory=215000 CPUtime=281.6 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 49383 0 0 0 28137 23 0 0 20 0 1 0 24483762 247488512 53750 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 60422 53750 2650 2550 0 57377 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 241688 KiB
Current children cumulated memory: 215000 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/253 267848
/proc/meminfo: memFree=119787824/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=255364 memory=246224 CPUtime=341.45 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 52298 0 0 0 34121 24 0 0 20 0 1 0 24483762 261492736 61556 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 63841 61556 2650 2550 0 60796 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 255364 KiB
Current children cumulated memory: 246224 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 268027
/proc/meminfo: memFree=119770972/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=277456 memory=249960 CPUtime=401.31 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 53339 0 0 0 40107 24 0 0 20 0 1 0 24483762 284114944 62490 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 69364 62490 2666 2550 0 66319 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 277456 KiB
Current children cumulated memory: 249960 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 268037
/proc/meminfo: memFree=119738512/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=304792 memory=273500 CPUtime=461.16 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 58971 0 0 0 46091 25 0 0 20 0 1 0 24483762 312107008 68375 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 76198 68375 2666 2550 0 73153 0

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

Current children cumulated memory: 506460 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 269096
/proc/meminfo: memFree=119291944/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=2855.18 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 131731 0 0 0 285475 43 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 269111
/proc/meminfo: memFree=119291540/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=2915.02 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 131851 0 0 0 291459 43 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 269123
/proc/meminfo: memFree=119291156/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=2974.86 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 131971 0 0 0 297443 43 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 2974.86 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 269134
/proc/meminfo: memFree=119284056/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3034.71 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132093 0 0 0 303427 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/254 269144
/proc/meminfo: memFree=119283812/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3094.55 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132214 0 0 0 309411 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/254 269154
/proc/meminfo: memFree=119283500/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3154.39 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132335 0 0 0 315395 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3154.39 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 269164
/proc/meminfo: memFree=119281076/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3214.23 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132456 0 0 0 321379 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/252 269176
/proc/meminfo: memFree=119276864/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3274.07 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132589 0 0 0 327363 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.12 4.10 5/252 269186
/proc/meminfo: memFree=119255736/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3333.9 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132714 0 0 0 333346 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.17 4.12 5/252 269196
/proc/meminfo: memFree=119282324/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3393.74 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132839 0 0 0 339330 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/252 269207
/proc/meminfo: memFree=119256952/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3453.58 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 132964 0 0 0 345314 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/254 269221
/proc/meminfo: memFree=119221664/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3513.42 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 133089 0 0 0 351298 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 269233
/proc/meminfo: memFree=119250512/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3573.26 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 133214 0 0 0 357282 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.05 4.11 4.10 5/254 269513
/proc/meminfo: memFree=116908740/131524600 swapFree=131068900/131071996
[pid=267405] ppid=267402 vsize=513788 memory=506460 CPUtime=3600.09 cores=4,6
/proc/267405/stat : 267405 (CASHWMaxSAT-Dis) R 267402 267405 265209 0 -1 4194304 133313 0 0 0 359965 44 0 0 20 0 1 0 24483762 526118912 126615 134679101440 4194304 14636349 140729945010880 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 32780288 140729945015271 140729945015387 140729945015387 140729945022398 0
/proc/267405/statm: 128447 126615 2666 2550 0 125402 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 513788 KiB
Current children cumulated memory: 506460 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.65 s, system=0.448423 s

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

Child status: 10

Real time (s): 3609.2
CPU time (s): 3600.1
CPU user time (s): 3599.65
CPU system time (s): 0.448423
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 647524
Max. memory (cumulated for all children) (KiB): 616160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.448423
maximum resident set size= 627760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133317
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= 68
involuntary context switches= 5041


# summary of solver processes directly reported to runsolver:
#   pid: 267405
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.65
#   total CPU system time (s): 0.448423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95186 second user time and 17.1713 second system time

The end